Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(Static analysis). Showing records 1 – 30 of 666 total matches.

[1] [2] [3] [4] [5] … [23]

Search Limiters

Last 2 Years | English Only

Degrees

Levels

Languages

Country

▼ Search Limiters


Penn State University

1. Muthukumaran, Divya. Automating The Placement Of Authorization Hooks in Programs.

Degree: PhD, Computer Science and Engineering, 2013, Penn State University

 When servers manage resources on behalf of multiple, mutually-distrusting clients, they must interface with an authorization policy that determines whether a client request to access… (more)

Subjects/Keywords: Static Analysis; Authorization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Muthukumaran, D. (2013). Automating The Placement Of Authorization Hooks in Programs. (Doctoral Dissertation). Penn State University. Retrieved from https://etda.libraries.psu.edu/catalog/19846

Chicago Manual of Style (16th Edition):

Muthukumaran, Divya. “Automating The Placement Of Authorization Hooks in Programs.” 2013. Doctoral Dissertation, Penn State University. Accessed April 03, 2020. https://etda.libraries.psu.edu/catalog/19846.

MLA Handbook (7th Edition):

Muthukumaran, Divya. “Automating The Placement Of Authorization Hooks in Programs.” 2013. Web. 03 Apr 2020.

Vancouver:

Muthukumaran D. Automating The Placement Of Authorization Hooks in Programs. [Internet] [Doctoral dissertation]. Penn State University; 2013. [cited 2020 Apr 03]. Available from: https://etda.libraries.psu.edu/catalog/19846.

Council of Science Editors:

Muthukumaran D. Automating The Placement Of Authorization Hooks in Programs. [Doctoral Dissertation]. Penn State University; 2013. Available from: https://etda.libraries.psu.edu/catalog/19846


Rice University

2. Song, Daniel Wonjoon. Finding Tizen security bugs through whole-system static analysis.

Degree: MS, Engineering, 2016, Rice University

 Tizen is a new Linux-based open source platform for consumer devices including smartphones, televisions, vehicles, wearables, and eventually other IoT devices. While Tizen provides kernel-… (more)

Subjects/Keywords: Security; Static Analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Song, D. W. (2016). Finding Tizen security bugs through whole-system static analysis. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/108001

Chicago Manual of Style (16th Edition):

Song, Daniel Wonjoon. “Finding Tizen security bugs through whole-system static analysis.” 2016. Masters Thesis, Rice University. Accessed April 03, 2020. http://hdl.handle.net/1911/108001.

MLA Handbook (7th Edition):

Song, Daniel Wonjoon. “Finding Tizen security bugs through whole-system static analysis.” 2016. Web. 03 Apr 2020.

Vancouver:

Song DW. Finding Tizen security bugs through whole-system static analysis. [Internet] [Masters thesis]. Rice University; 2016. [cited 2020 Apr 03]. Available from: http://hdl.handle.net/1911/108001.

Council of Science Editors:

Song DW. Finding Tizen security bugs through whole-system static analysis. [Masters Thesis]. Rice University; 2016. Available from: http://hdl.handle.net/1911/108001


University of Nairobi

3. Nyakundi, Kevin A. Static analysis of android libraries: data leakage .

Degree: 2016, University of Nairobi

 The possibility of android applications to spy on the users is real either intended or unintended. Considering that Java programs are based on large java… (more)

Subjects/Keywords: Static analysis of android libraries

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Nyakundi, K. A. (2016). Static analysis of android libraries: data leakage . (Thesis). University of Nairobi. Retrieved from http://hdl.handle.net/11295/99528

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Nyakundi, Kevin A. “Static analysis of android libraries: data leakage .” 2016. Thesis, University of Nairobi. Accessed April 03, 2020. http://hdl.handle.net/11295/99528.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Nyakundi, Kevin A. “Static analysis of android libraries: data leakage .” 2016. Web. 03 Apr 2020.

Vancouver:

Nyakundi KA. Static analysis of android libraries: data leakage . [Internet] [Thesis]. University of Nairobi; 2016. [cited 2020 Apr 03]. Available from: http://hdl.handle.net/11295/99528.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Nyakundi KA. Static analysis of android libraries: data leakage . [Thesis]. University of Nairobi; 2016. Available from: http://hdl.handle.net/11295/99528

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Rochester

4. Chen, Dong. Program locality analysis based on reuse intervals.

Degree: PhD, 2019, University of Rochester

 Locality analysis is important since the speed of accessing memory is slower than the speed of computing. In addition, the emerging persistent memory brings speed… (more)

Subjects/Keywords: Locality; Reuse interval; Static analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Chen, D. (2019). Program locality analysis based on reuse intervals. (Doctoral Dissertation). University of Rochester. Retrieved from http://hdl.handle.net/1802/35043

Chicago Manual of Style (16th Edition):

Chen, Dong. “Program locality analysis based on reuse intervals.” 2019. Doctoral Dissertation, University of Rochester. Accessed April 03, 2020. http://hdl.handle.net/1802/35043.

MLA Handbook (7th Edition):

Chen, Dong. “Program locality analysis based on reuse intervals.” 2019. Web. 03 Apr 2020.

Vancouver:

Chen D. Program locality analysis based on reuse intervals. [Internet] [Doctoral dissertation]. University of Rochester; 2019. [cited 2020 Apr 03]. Available from: http://hdl.handle.net/1802/35043.

Council of Science Editors:

Chen D. Program locality analysis based on reuse intervals. [Doctoral Dissertation]. University of Rochester; 2019. Available from: http://hdl.handle.net/1802/35043


University of Waterloo

5. Liu, Zeming. Analysis and Optimization of TrueType Font Bytecode.

Degree: 2018, University of Waterloo

 TrueType is one of the most widely used vectorized font formats. It can be optimally rendered on screens with different resolutions and different font sizes… (more)

Subjects/Keywords: static analysis; TrueType font

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Liu, Z. (2018). Analysis and Optimization of TrueType Font Bytecode. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/14262

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Liu, Zeming. “Analysis and Optimization of TrueType Font Bytecode.” 2018. Thesis, University of Waterloo. Accessed April 03, 2020. http://hdl.handle.net/10012/14262.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Liu, Zeming. “Analysis and Optimization of TrueType Font Bytecode.” 2018. Web. 03 Apr 2020.

Vancouver:

Liu Z. Analysis and Optimization of TrueType Font Bytecode. [Internet] [Thesis]. University of Waterloo; 2018. [cited 2020 Apr 03]. Available from: http://hdl.handle.net/10012/14262.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Liu Z. Analysis and Optimization of TrueType Font Bytecode. [Thesis]. University of Waterloo; 2018. Available from: http://hdl.handle.net/10012/14262

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Waterloo

6. Chu, Hang. Collection Disjointness Analysis in Java.

Degree: 2011, University of Waterloo

 This thesis presents a collection disjointness analysis to find disjointness relations between collections in Java. We define the three types of disjointness relations between collections:… (more)

Subjects/Keywords: Collection Disjointness; Static Analysis; Java

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Chu, H. (2011). Collection Disjointness Analysis in Java. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/5729

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Chu, Hang. “Collection Disjointness Analysis in Java.” 2011. Thesis, University of Waterloo. Accessed April 03, 2020. http://hdl.handle.net/10012/5729.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Chu, Hang. “Collection Disjointness Analysis in Java.” 2011. Web. 03 Apr 2020.

Vancouver:

Chu H. Collection Disjointness Analysis in Java. [Internet] [Thesis]. University of Waterloo; 2011. [cited 2020 Apr 03]. Available from: http://hdl.handle.net/10012/5729.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Chu H. Collection Disjointness Analysis in Java. [Thesis]. University of Waterloo; 2011. Available from: http://hdl.handle.net/10012/5729

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of New South Wales

7. Sui, Yulei. Developing practical pointer analysis for large-scale software.

Degree: Computer Science & Engineering, 2014, University of New South Wales

 Pointer analysis, as a fundamental research, is to identify the possible runtime values of a pointer during compile-time. It paves the way for a wide… (more)

Subjects/Keywords: Value Flow; Pointer Analysis; Static Analysis; Software

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Sui, Y. (2014). Developing practical pointer analysis for large-scale software. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/53655 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:12350/SOURCE02?view=true

Chicago Manual of Style (16th Edition):

Sui, Yulei. “Developing practical pointer analysis for large-scale software.” 2014. Doctoral Dissertation, University of New South Wales. Accessed April 03, 2020. http://handle.unsw.edu.au/1959.4/53655 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:12350/SOURCE02?view=true.

MLA Handbook (7th Edition):

Sui, Yulei. “Developing practical pointer analysis for large-scale software.” 2014. Web. 03 Apr 2020.

Vancouver:

Sui Y. Developing practical pointer analysis for large-scale software. [Internet] [Doctoral dissertation]. University of New South Wales; 2014. [cited 2020 Apr 03]. Available from: http://handle.unsw.edu.au/1959.4/53655 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:12350/SOURCE02?view=true.

Council of Science Editors:

Sui Y. Developing practical pointer analysis for large-scale software. [Doctoral Dissertation]. University of New South Wales; 2014. Available from: http://handle.unsw.edu.au/1959.4/53655 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:12350/SOURCE02?view=true


University of New South Wales

8. Li, Yue. Understanding and analyzing Java reflection.

Degree: Computer Science & Engineering, 2016, University of New South Wales

 Java reflection is increasingly used in a range of software and framework architectures.It allows a software system to examine itself and make changes that affect… (more)

Subjects/Keywords: Pointer analysis; Java reflection; Static analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Li, Y. (2016). Understanding and analyzing Java reflection. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/56847 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:41639/SOURCE02?view=true

Chicago Manual of Style (16th Edition):

Li, Yue. “Understanding and analyzing Java reflection.” 2016. Doctoral Dissertation, University of New South Wales. Accessed April 03, 2020. http://handle.unsw.edu.au/1959.4/56847 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:41639/SOURCE02?view=true.

MLA Handbook (7th Edition):

Li, Yue. “Understanding and analyzing Java reflection.” 2016. Web. 03 Apr 2020.

Vancouver:

Li Y. Understanding and analyzing Java reflection. [Internet] [Doctoral dissertation]. University of New South Wales; 2016. [cited 2020 Apr 03]. Available from: http://handle.unsw.edu.au/1959.4/56847 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:41639/SOURCE02?view=true.

Council of Science Editors:

Li Y. Understanding and analyzing Java reflection. [Doctoral Dissertation]. University of New South Wales; 2016. Available from: http://handle.unsw.edu.au/1959.4/56847 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:41639/SOURCE02?view=true


University of Wolverhampton

9. Mount, Sarah. A Language-Independent Static Checking System for Coding Conventions.

Degree: PhD, 2013, University of Wolverhampton

 Despite decades of research aiming to ameliorate the difficulties of creating software, programming still remains an error-prone task. Much work in Computer Science deals with… (more)

Subjects/Keywords: Static analysis; static checker; coding conventions; intermediate language; intermediate format

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Mount, S. (2013). A Language-Independent Static Checking System for Coding Conventions. (Doctoral Dissertation). University of Wolverhampton. Retrieved from http://hdl.handle.net/2436/322681

Chicago Manual of Style (16th Edition):

Mount, Sarah. “A Language-Independent Static Checking System for Coding Conventions.” 2013. Doctoral Dissertation, University of Wolverhampton. Accessed April 03, 2020. http://hdl.handle.net/2436/322681.

MLA Handbook (7th Edition):

Mount, Sarah. “A Language-Independent Static Checking System for Coding Conventions.” 2013. Web. 03 Apr 2020.

Vancouver:

Mount S. A Language-Independent Static Checking System for Coding Conventions. [Internet] [Doctoral dissertation]. University of Wolverhampton; 2013. [cited 2020 Apr 03]. Available from: http://hdl.handle.net/2436/322681.

Council of Science Editors:

Mount S. A Language-Independent Static Checking System for Coding Conventions. [Doctoral Dissertation]. University of Wolverhampton; 2013. Available from: http://hdl.handle.net/2436/322681

10. Bholanath, R.M.R. Analyzing the State of Static Analysis: A Large-Scale Evaluation in Open Source Software:.

Degree: 2015, Delft University of Technology

Static analysis is an important part of today's quality assurance process. It can be performed manually, by means of code reviews, or automatically, by automated… (more)

Subjects/Keywords: static analysis; code review; static analyzer; open source

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bholanath, R. M. R. (2015). Analyzing the State of Static Analysis: A Large-Scale Evaluation in Open Source Software:. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:3d834130-8dd7-420a-9af9-6e77761cdad6

Chicago Manual of Style (16th Edition):

Bholanath, R M R. “Analyzing the State of Static Analysis: A Large-Scale Evaluation in Open Source Software:.” 2015. Masters Thesis, Delft University of Technology. Accessed April 03, 2020. http://resolver.tudelft.nl/uuid:3d834130-8dd7-420a-9af9-6e77761cdad6.

MLA Handbook (7th Edition):

Bholanath, R M R. “Analyzing the State of Static Analysis: A Large-Scale Evaluation in Open Source Software:.” 2015. Web. 03 Apr 2020.

Vancouver:

Bholanath RMR. Analyzing the State of Static Analysis: A Large-Scale Evaluation in Open Source Software:. [Internet] [Masters thesis]. Delft University of Technology; 2015. [cited 2020 Apr 03]. Available from: http://resolver.tudelft.nl/uuid:3d834130-8dd7-420a-9af9-6e77761cdad6.

Council of Science Editors:

Bholanath RMR. Analyzing the State of Static Analysis: A Large-Scale Evaluation in Open Source Software:. [Masters Thesis]. Delft University of Technology; 2015. Available from: http://resolver.tudelft.nl/uuid:3d834130-8dd7-420a-9af9-6e77761cdad6


Texas A&M University

11. Kim, Hyun Sung. Statistical static timing analysis considering the impact of power supply noise in VLSI circuits.

Degree: 2009, Texas A&M University

 As semiconductor technology is scaled and voltage level is reduced, the impact of the variation in power supply has become very significant in predicting the… (more)

Subjects/Keywords: Statistical Static Timing Analysis; power supply noise

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Kim, H. S. (2009). Statistical static timing analysis considering the impact of power supply noise in VLSI circuits. (Thesis). Texas A&M University. Retrieved from http://hdl.handle.net/1969.1/ETD-TAMU-1902

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Kim, Hyun Sung. “Statistical static timing analysis considering the impact of power supply noise in VLSI circuits.” 2009. Thesis, Texas A&M University. Accessed April 03, 2020. http://hdl.handle.net/1969.1/ETD-TAMU-1902.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Kim, Hyun Sung. “Statistical static timing analysis considering the impact of power supply noise in VLSI circuits.” 2009. Web. 03 Apr 2020.

Vancouver:

Kim HS. Statistical static timing analysis considering the impact of power supply noise in VLSI circuits. [Internet] [Thesis]. Texas A&M University; 2009. [cited 2020 Apr 03]. Available from: http://hdl.handle.net/1969.1/ETD-TAMU-1902.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Kim HS. Statistical static timing analysis considering the impact of power supply noise in VLSI circuits. [Thesis]. Texas A&M University; 2009. Available from: http://hdl.handle.net/1969.1/ETD-TAMU-1902

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


North Carolina State University

12. Acharya, Mithun Puthige. Mining API Specifications from Source Code for Improving Software Reliability.

Degree: PhD, Computer Science, 2009, North Carolina State University

 A software system interacts with third-party libraries through various Application Program Interfaces (APIs). Using these APIs correctly often needs to follow certain programming rules, i.e.,… (more)

Subjects/Keywords: Reliability; Static Analysis; Mining API Specifications

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Acharya, M. P. (2009). Mining API Specifications from Source Code for Improving Software Reliability. (Doctoral Dissertation). North Carolina State University. Retrieved from http://www.lib.ncsu.edu/resolver/1840.16/3834

Chicago Manual of Style (16th Edition):

Acharya, Mithun Puthige. “Mining API Specifications from Source Code for Improving Software Reliability.” 2009. Doctoral Dissertation, North Carolina State University. Accessed April 03, 2020. http://www.lib.ncsu.edu/resolver/1840.16/3834.

MLA Handbook (7th Edition):

Acharya, Mithun Puthige. “Mining API Specifications from Source Code for Improving Software Reliability.” 2009. Web. 03 Apr 2020.

Vancouver:

Acharya MP. Mining API Specifications from Source Code for Improving Software Reliability. [Internet] [Doctoral dissertation]. North Carolina State University; 2009. [cited 2020 Apr 03]. Available from: http://www.lib.ncsu.edu/resolver/1840.16/3834.

Council of Science Editors:

Acharya MP. Mining API Specifications from Source Code for Improving Software Reliability. [Doctoral Dissertation]. North Carolina State University; 2009. Available from: http://www.lib.ncsu.edu/resolver/1840.16/3834


Penn State University

13. Talele, Nirupama. Vulnerability Detection using Static Taint Analysis.

Degree: 2017, Penn State University

 Increase in internet of things has consequently made ubiquitous the embedded devices that deal with securitycritical data. The embedded devices generally have proprietary firmware with… (more)

Subjects/Keywords: Static Taint Analysis; Authentication bypass; security vulnerabilities

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Talele, N. (2017). Vulnerability Detection using Static Taint Analysis. (Thesis). Penn State University. Retrieved from https://etda.libraries.psu.edu/catalog/14850nrt123

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Talele, Nirupama. “Vulnerability Detection using Static Taint Analysis.” 2017. Thesis, Penn State University. Accessed April 03, 2020. https://etda.libraries.psu.edu/catalog/14850nrt123.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Talele, Nirupama. “Vulnerability Detection using Static Taint Analysis.” 2017. Web. 03 Apr 2020.

Vancouver:

Talele N. Vulnerability Detection using Static Taint Analysis. [Internet] [Thesis]. Penn State University; 2017. [cited 2020 Apr 03]. Available from: https://etda.libraries.psu.edu/catalog/14850nrt123.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Talele N. Vulnerability Detection using Static Taint Analysis. [Thesis]. Penn State University; 2017. Available from: https://etda.libraries.psu.edu/catalog/14850nrt123

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Toledo

14. Schilling, Walter William, Jr. A Cost Effective Methodology for Quantitative Evaluation of Software Reliability using Static Analysis.

Degree: PhD, Electrical Engineering, 2007, University of Toledo

 Software reliability represents an increasing risk to overall system reliability. As systems have become larger and more complex, mission critical and safety critical systems have… (more)

Subjects/Keywords: Software Reliability; Static Analysis; Reliability; Software Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Schilling, Walter William, J. (2007). A Cost Effective Methodology for Quantitative Evaluation of Software Reliability using Static Analysis. (Doctoral Dissertation). University of Toledo. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=toledo1189820658

Chicago Manual of Style (16th Edition):

Schilling, Walter William, Jr. “A Cost Effective Methodology for Quantitative Evaluation of Software Reliability using Static Analysis.” 2007. Doctoral Dissertation, University of Toledo. Accessed April 03, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=toledo1189820658.

MLA Handbook (7th Edition):

Schilling, Walter William, Jr. “A Cost Effective Methodology for Quantitative Evaluation of Software Reliability using Static Analysis.” 2007. Web. 03 Apr 2020.

Vancouver:

Schilling, Walter William J. A Cost Effective Methodology for Quantitative Evaluation of Software Reliability using Static Analysis. [Internet] [Doctoral dissertation]. University of Toledo; 2007. [cited 2020 Apr 03]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=toledo1189820658.

Council of Science Editors:

Schilling, Walter William J. A Cost Effective Methodology for Quantitative Evaluation of Software Reliability using Static Analysis. [Doctoral Dissertation]. University of Toledo; 2007. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=toledo1189820658


University of Sydney

15. Subotic, Pavle. Applying Elimination-Based Algorithms to Abstract Interpretation .

Degree: 2014, University of Sydney

 Unbounded abstract domains are used in static program analysis frameworks for representing ranges of variables, and their applications include elimination of assertions in programs, automatically… (more)

Subjects/Keywords: Static Analysis; Abstract Interpretation; Formal Verification; LLVM

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Subotic, P. (2014). Applying Elimination-Based Algorithms to Abstract Interpretation . (Thesis). University of Sydney. Retrieved from http://hdl.handle.net/2123/12052

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Subotic, Pavle. “Applying Elimination-Based Algorithms to Abstract Interpretation .” 2014. Thesis, University of Sydney. Accessed April 03, 2020. http://hdl.handle.net/2123/12052.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Subotic, Pavle. “Applying Elimination-Based Algorithms to Abstract Interpretation .” 2014. Web. 03 Apr 2020.

Vancouver:

Subotic P. Applying Elimination-Based Algorithms to Abstract Interpretation . [Internet] [Thesis]. University of Sydney; 2014. [cited 2020 Apr 03]. Available from: http://hdl.handle.net/2123/12052.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Subotic P. Applying Elimination-Based Algorithms to Abstract Interpretation . [Thesis]. University of Sydney; 2014. Available from: http://hdl.handle.net/2123/12052

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Virginia Tech

16. Kusano, Markus Jan Urban. Constraint-Based Thread-Modular Abstract Interpretation.

Degree: PhD, Electrical and Computer Engineering, 2018, Virginia Tech

 In this dissertation, I present a set of novel constraint-based thread-modular abstract-interpretation techniques for static analysis of concurrent programs. Specifically, I integrate a lightweight constraint… (more)

Subjects/Keywords: abstract interpretation; concurrency; verification; static analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Kusano, M. J. U. (2018). Constraint-Based Thread-Modular Abstract Interpretation. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/84399

Chicago Manual of Style (16th Edition):

Kusano, Markus Jan Urban. “Constraint-Based Thread-Modular Abstract Interpretation.” 2018. Doctoral Dissertation, Virginia Tech. Accessed April 03, 2020. http://hdl.handle.net/10919/84399.

MLA Handbook (7th Edition):

Kusano, Markus Jan Urban. “Constraint-Based Thread-Modular Abstract Interpretation.” 2018. Web. 03 Apr 2020.

Vancouver:

Kusano MJU. Constraint-Based Thread-Modular Abstract Interpretation. [Internet] [Doctoral dissertation]. Virginia Tech; 2018. [cited 2020 Apr 03]. Available from: http://hdl.handle.net/10919/84399.

Council of Science Editors:

Kusano MJU. Constraint-Based Thread-Modular Abstract Interpretation. [Doctoral Dissertation]. Virginia Tech; 2018. Available from: http://hdl.handle.net/10919/84399


Rochester Institute of Technology

17. Logan, Thomas. A Mechanized Theory of Communication Analysis in CML.

Degree: MS, Computer Science (GCCIS), 2019, Rochester Institute of Technology

  For this master's thesis, I have developed a formal semantics of a language with concurrent processes (or threads), an initial formal analysis, along with… (more)

Subjects/Keywords: Concurrent ML; Mechanized meta-theory; Static analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Logan, T. (2019). A Mechanized Theory of Communication Analysis in CML. (Masters Thesis). Rochester Institute of Technology. Retrieved from https://scholarworks.rit.edu/theses/9992

Chicago Manual of Style (16th Edition):

Logan, Thomas. “A Mechanized Theory of Communication Analysis in CML.” 2019. Masters Thesis, Rochester Institute of Technology. Accessed April 03, 2020. https://scholarworks.rit.edu/theses/9992.

MLA Handbook (7th Edition):

Logan, Thomas. “A Mechanized Theory of Communication Analysis in CML.” 2019. Web. 03 Apr 2020.

Vancouver:

Logan T. A Mechanized Theory of Communication Analysis in CML. [Internet] [Masters thesis]. Rochester Institute of Technology; 2019. [cited 2020 Apr 03]. Available from: https://scholarworks.rit.edu/theses/9992.

Council of Science Editors:

Logan T. A Mechanized Theory of Communication Analysis in CML. [Masters Thesis]. Rochester Institute of Technology; 2019. Available from: https://scholarworks.rit.edu/theses/9992


University of Waterloo

18. Muscedere, Bryan James. Detecting Feature-Interaction Hotspots in Automotive Software using Relational Algebra.

Degree: 2018, University of Waterloo

 Modern software projects are programmed by multiple teams, consist of millions of lines of code, and are split into separate components that, during runtime, may… (more)

Subjects/Keywords: hotspot; Autonomoose; feature interaction; static analysis; automotive

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Muscedere, B. J. (2018). Detecting Feature-Interaction Hotspots in Automotive Software using Relational Algebra. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/13289

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Muscedere, Bryan James. “Detecting Feature-Interaction Hotspots in Automotive Software using Relational Algebra.” 2018. Thesis, University of Waterloo. Accessed April 03, 2020. http://hdl.handle.net/10012/13289.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Muscedere, Bryan James. “Detecting Feature-Interaction Hotspots in Automotive Software using Relational Algebra.” 2018. Web. 03 Apr 2020.

Vancouver:

Muscedere BJ. Detecting Feature-Interaction Hotspots in Automotive Software using Relational Algebra. [Internet] [Thesis]. University of Waterloo; 2018. [cited 2020 Apr 03]. Available from: http://hdl.handle.net/10012/13289.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Muscedere BJ. Detecting Feature-Interaction Hotspots in Automotive Software using Relational Algebra. [Thesis]. University of Waterloo; 2018. Available from: http://hdl.handle.net/10012/13289

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of New South Wales

19. Beck, Jarryd. TransLucid: From theory to implementation.

Degree: Computer Science & Engineering, 2015, University of New South Wales

 This thesis presents the programming language TransLucid, from itsdenotational semantics to its concrete implementation. In TransLucid, avariable denotes an intension, which is an array of… (more)

Subjects/Keywords: Static Analysis; TransLucid; Cartesian Programming; Parallel Computation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Beck, J. (2015). TransLucid: From theory to implementation. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/54286 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:34653/SOURCE02?view=true

Chicago Manual of Style (16th Edition):

Beck, Jarryd. “TransLucid: From theory to implementation.” 2015. Doctoral Dissertation, University of New South Wales. Accessed April 03, 2020. http://handle.unsw.edu.au/1959.4/54286 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:34653/SOURCE02?view=true.

MLA Handbook (7th Edition):

Beck, Jarryd. “TransLucid: From theory to implementation.” 2015. Web. 03 Apr 2020.

Vancouver:

Beck J. TransLucid: From theory to implementation. [Internet] [Doctoral dissertation]. University of New South Wales; 2015. [cited 2020 Apr 03]. Available from: http://handle.unsw.edu.au/1959.4/54286 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:34653/SOURCE02?view=true.

Council of Science Editors:

Beck J. TransLucid: From theory to implementation. [Doctoral Dissertation]. University of New South Wales; 2015. Available from: http://handle.unsw.edu.au/1959.4/54286 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:34653/SOURCE02?view=true


University of Waterloo

20. Nair, Aakarsh. Object Histories in Java.

Degree: 2010, University of Waterloo

 Developers are often faced with the task of implementing new features or diagnosing problems in large software systems. Convoluted control and data flows in large… (more)

Subjects/Keywords: Object histories; Java; Program understanding; static analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Nair, A. (2010). Object Histories in Java. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/5144

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Nair, Aakarsh. “Object Histories in Java.” 2010. Thesis, University of Waterloo. Accessed April 03, 2020. http://hdl.handle.net/10012/5144.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Nair, Aakarsh. “Object Histories in Java.” 2010. Web. 03 Apr 2020.

Vancouver:

Nair A. Object Histories in Java. [Internet] [Thesis]. University of Waterloo; 2010. [cited 2020 Apr 03]. Available from: http://hdl.handle.net/10012/5144.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Nair A. Object Histories in Java. [Thesis]. University of Waterloo; 2010. Available from: http://hdl.handle.net/10012/5144

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

21. Kashyap, Vineeth. Configurable and Sound Static Analysis of JavaScript: Techniques and Applications.

Degree: 2014, University of California – eScholarship, University of California

 JavaScript is widespread. Web developers use JavaScript to enrich user experience via dynamic content ranging from scripts to enhance a web page's appearance, to full-blown… (more)

Subjects/Keywords: Computer science; JavaScript; Security; Static Analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Kashyap, V. (2014). Configurable and Sound Static Analysis of JavaScript: Techniques and Applications. (Thesis). University of California – eScholarship, University of California. Retrieved from http://www.escholarship.org/uc/item/8xm5m45s

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Kashyap, Vineeth. “Configurable and Sound Static Analysis of JavaScript: Techniques and Applications.” 2014. Thesis, University of California – eScholarship, University of California. Accessed April 03, 2020. http://www.escholarship.org/uc/item/8xm5m45s.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Kashyap, Vineeth. “Configurable and Sound Static Analysis of JavaScript: Techniques and Applications.” 2014. Web. 03 Apr 2020.

Vancouver:

Kashyap V. Configurable and Sound Static Analysis of JavaScript: Techniques and Applications. [Internet] [Thesis]. University of California – eScholarship, University of California; 2014. [cited 2020 Apr 03]. Available from: http://www.escholarship.org/uc/item/8xm5m45s.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Kashyap V. Configurable and Sound Static Analysis of JavaScript: Techniques and Applications. [Thesis]. University of California – eScholarship, University of California; 2014. Available from: http://www.escholarship.org/uc/item/8xm5m45s

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Illinois – Urbana-Champaign

22. Hadzi-Tanovic, Milica. Reflection-aware static regression test selection.

Degree: MS, Computer Science, 2018, University of Illinois – Urbana-Champaign

 Regression test selection (RTS) aims to speed up regression testing by rerunning only tests that are affected by code changes. RTS can be performed using… (more)

Subjects/Keywords: regression test selection; reflection; static analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Hadzi-Tanovic, M. (2018). Reflection-aware static regression test selection. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/101065

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Hadzi-Tanovic, Milica. “Reflection-aware static regression test selection.” 2018. Thesis, University of Illinois – Urbana-Champaign. Accessed April 03, 2020. http://hdl.handle.net/2142/101065.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Hadzi-Tanovic, Milica. “Reflection-aware static regression test selection.” 2018. Web. 03 Apr 2020.

Vancouver:

Hadzi-Tanovic M. Reflection-aware static regression test selection. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2018. [cited 2020 Apr 03]. Available from: http://hdl.handle.net/2142/101065.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Hadzi-Tanovic M. Reflection-aware static regression test selection. [Thesis]. University of Illinois – Urbana-Champaign; 2018. Available from: http://hdl.handle.net/2142/101065

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Minnesota

23. Shriram, Vignesh. Early Estimation Of The Impact Of Delay Due To Coupling Capacitance In VSLI Circuits.

Degree: M.S.E.E., Electrical/Computer Engineering, 2019, University of Minnesota

 Coupling capacitance is becoming increasingly problematic at the more advanced technology nodes and affects the timing and sign-off timeline of integrated circuits (ICs). As the… (more)

Subjects/Keywords: coupling capacitance; static timing analysis; VLSI

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Shriram, V. (2019). Early Estimation Of The Impact Of Delay Due To Coupling Capacitance In VSLI Circuits. (Masters Thesis). University of Minnesota. Retrieved from http://hdl.handle.net/11299/206136

Chicago Manual of Style (16th Edition):

Shriram, Vignesh. “Early Estimation Of The Impact Of Delay Due To Coupling Capacitance In VSLI Circuits.” 2019. Masters Thesis, University of Minnesota. Accessed April 03, 2020. http://hdl.handle.net/11299/206136.

MLA Handbook (7th Edition):

Shriram, Vignesh. “Early Estimation Of The Impact Of Delay Due To Coupling Capacitance In VSLI Circuits.” 2019. Web. 03 Apr 2020.

Vancouver:

Shriram V. Early Estimation Of The Impact Of Delay Due To Coupling Capacitance In VSLI Circuits. [Internet] [Masters thesis]. University of Minnesota; 2019. [cited 2020 Apr 03]. Available from: http://hdl.handle.net/11299/206136.

Council of Science Editors:

Shriram V. Early Estimation Of The Impact Of Delay Due To Coupling Capacitance In VSLI Circuits. [Masters Thesis]. University of Minnesota; 2019. Available from: http://hdl.handle.net/11299/206136


University of Waterloo

24. Kuderski, Jakub. Scalable Context-Sensitive Pointer Analysis for LLVM.

Degree: 2019, University of Waterloo

 Pointer analysis is indispensable for effectively verifying heap-manipulating programs. Even though it has been studied extensively, there are no publicly available pointer analyses for low-level… (more)

Subjects/Keywords: pointer analysis; alias analysis; LLVM; program analysis; program verification; static analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Kuderski, J. (2019). Scalable Context-Sensitive Pointer Analysis for LLVM. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/14875

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Kuderski, Jakub. “Scalable Context-Sensitive Pointer Analysis for LLVM.” 2019. Thesis, University of Waterloo. Accessed April 03, 2020. http://hdl.handle.net/10012/14875.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Kuderski, Jakub. “Scalable Context-Sensitive Pointer Analysis for LLVM.” 2019. Web. 03 Apr 2020.

Vancouver:

Kuderski J. Scalable Context-Sensitive Pointer Analysis for LLVM. [Internet] [Thesis]. University of Waterloo; 2019. [cited 2020 Apr 03]. Available from: http://hdl.handle.net/10012/14875.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Kuderski J. Scalable Context-Sensitive Pointer Analysis for LLVM. [Thesis]. University of Waterloo; 2019. Available from: http://hdl.handle.net/10012/14875

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


McMaster University

25. Chen, Wen. A Hybrid Software Change Impact Analysis for Large-scale Enterprise Systems.

Degree: PhD, 2015, McMaster University

 This work is concerned with analysing the potential impact of direct changes to large- scale enterprise systems, and, in particular, how to minimise testing efforts… (more)

Subjects/Keywords: software impact analysis; static analysis; dynamic analysis; reachability analysis; alias analysis; program analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Chen, W. (2015). A Hybrid Software Change Impact Analysis for Large-scale Enterprise Systems. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/18275

Chicago Manual of Style (16th Edition):

Chen, Wen. “A Hybrid Software Change Impact Analysis for Large-scale Enterprise Systems.” 2015. Doctoral Dissertation, McMaster University. Accessed April 03, 2020. http://hdl.handle.net/11375/18275.

MLA Handbook (7th Edition):

Chen, Wen. “A Hybrid Software Change Impact Analysis for Large-scale Enterprise Systems.” 2015. Web. 03 Apr 2020.

Vancouver:

Chen W. A Hybrid Software Change Impact Analysis for Large-scale Enterprise Systems. [Internet] [Doctoral dissertation]. McMaster University; 2015. [cited 2020 Apr 03]. Available from: http://hdl.handle.net/11375/18275.

Council of Science Editors:

Chen W. A Hybrid Software Change Impact Analysis for Large-scale Enterprise Systems. [Doctoral Dissertation]. McMaster University; 2015. Available from: http://hdl.handle.net/11375/18275

26. Hirvisalo, Vesa. Using Static Program Analysis to Compile Fast Cache Simulators.

Degree: 2004, Helsinki University of Technology

This thesis presents a generic approach towards compiling fast execution-driven simulators, and applies this to cache simulation of programs. The resulting cache simulation method reduces… (more)

Subjects/Keywords: static analysis; program analysis; performance analysis; cache simulation; program slicing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Hirvisalo, V. (2004). Using Static Program Analysis to Compile Fast Cache Simulators. (Thesis). Helsinki University of Technology. Retrieved from http://lib.tkk.fi/Diss/2004/isbn9512270137/

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Hirvisalo, Vesa. “Using Static Program Analysis to Compile Fast Cache Simulators.” 2004. Thesis, Helsinki University of Technology. Accessed April 03, 2020. http://lib.tkk.fi/Diss/2004/isbn9512270137/.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Hirvisalo, Vesa. “Using Static Program Analysis to Compile Fast Cache Simulators.” 2004. Web. 03 Apr 2020.

Vancouver:

Hirvisalo V. Using Static Program Analysis to Compile Fast Cache Simulators. [Internet] [Thesis]. Helsinki University of Technology; 2004. [cited 2020 Apr 03]. Available from: http://lib.tkk.fi/Diss/2004/isbn9512270137/.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Hirvisalo V. Using Static Program Analysis to Compile Fast Cache Simulators. [Thesis]. Helsinki University of Technology; 2004. Available from: http://lib.tkk.fi/Diss/2004/isbn9512270137/

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Toronto

27. Wong, Michelle Yan Yi. Targeted Dynamic Analysis for Android Malware.

Degree: 2015, University of Toronto

The identification and analysis of Android malware involves either static or dynamic program analysis of the malware binary. While static analysis has good code coverage,… (more)

Subjects/Keywords: android; constraint solving; dynamic analysis; malware; program analysis; static analysis; 0464

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Wong, M. Y. Y. (2015). Targeted Dynamic Analysis for Android Malware. (Masters Thesis). University of Toronto. Retrieved from http://hdl.handle.net/1807/69183

Chicago Manual of Style (16th Edition):

Wong, Michelle Yan Yi. “Targeted Dynamic Analysis for Android Malware.” 2015. Masters Thesis, University of Toronto. Accessed April 03, 2020. http://hdl.handle.net/1807/69183.

MLA Handbook (7th Edition):

Wong, Michelle Yan Yi. “Targeted Dynamic Analysis for Android Malware.” 2015. Web. 03 Apr 2020.

Vancouver:

Wong MYY. Targeted Dynamic Analysis for Android Malware. [Internet] [Masters thesis]. University of Toronto; 2015. [cited 2020 Apr 03]. Available from: http://hdl.handle.net/1807/69183.

Council of Science Editors:

Wong MYY. Targeted Dynamic Analysis for Android Malware. [Masters Thesis]. University of Toronto; 2015. Available from: http://hdl.handle.net/1807/69183


Rochester Institute of Technology

28. Dominguez, Danilo. Analyzing Android applications for specifications and bugs.

Degree: Computer Science (GCCIS), 2013, Rochester Institute of Technology

 Android has become one of the leader operating systems for smartphones. Moreover, Android has a big community of developers with over 696500 applications on its… (more)

Subjects/Keywords: Android; Control flow; Program analysis; Specification mining; Static analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Dominguez, D. (2013). Analyzing Android applications for specifications and bugs. (Thesis). Rochester Institute of Technology. Retrieved from https://scholarworks.rit.edu/theses/5521

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Dominguez, Danilo. “Analyzing Android applications for specifications and bugs.” 2013. Thesis, Rochester Institute of Technology. Accessed April 03, 2020. https://scholarworks.rit.edu/theses/5521.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Dominguez, Danilo. “Analyzing Android applications for specifications and bugs.” 2013. Web. 03 Apr 2020.

Vancouver:

Dominguez D. Analyzing Android applications for specifications and bugs. [Internet] [Thesis]. Rochester Institute of Technology; 2013. [cited 2020 Apr 03]. Available from: https://scholarworks.rit.edu/theses/5521.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Dominguez D. Analyzing Android applications for specifications and bugs. [Thesis]. Rochester Institute of Technology; 2013. Available from: https://scholarworks.rit.edu/theses/5521

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Western Australia

29. Wu, Jing. Static modelling and stability analysis of non-slewing articulated mobile cranes.

Degree: M. Eng.Sc., 2012, University of Western Australia

Non-slewing articulated mobile (NSAM) cranes are widely used in construction, manufacturing, and mining industries in Australia. However, the occurrence of several tipping accidents in Australia… (more)

Subjects/Keywords: Stability analysis; Mobile crane; Articulated vehicle; Static analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Wu, J. (2012). Static modelling and stability analysis of non-slewing articulated mobile cranes. (Masters Thesis). University of Western Australia. Retrieved from http://repository.uwa.edu.au:80/R/?func=dbin-jump-full&object_id=34763&local_base=GEN01-INS01

Chicago Manual of Style (16th Edition):

Wu, Jing. “Static modelling and stability analysis of non-slewing articulated mobile cranes.” 2012. Masters Thesis, University of Western Australia. Accessed April 03, 2020. http://repository.uwa.edu.au:80/R/?func=dbin-jump-full&object_id=34763&local_base=GEN01-INS01.

MLA Handbook (7th Edition):

Wu, Jing. “Static modelling and stability analysis of non-slewing articulated mobile cranes.” 2012. Web. 03 Apr 2020.

Vancouver:

Wu J. Static modelling and stability analysis of non-slewing articulated mobile cranes. [Internet] [Masters thesis]. University of Western Australia; 2012. [cited 2020 Apr 03]. Available from: http://repository.uwa.edu.au:80/R/?func=dbin-jump-full&object_id=34763&local_base=GEN01-INS01.

Council of Science Editors:

Wu J. Static modelling and stability analysis of non-slewing articulated mobile cranes. [Masters Thesis]. University of Western Australia; 2012. Available from: http://repository.uwa.edu.au:80/R/?func=dbin-jump-full&object_id=34763&local_base=GEN01-INS01


University of Victoria

30. Shortt, Caleb James. Hermes: A Targeted Fuzz Testing Framework.

Degree: Department of Computer Science, 2015, University of Victoria

 The use of security assurance cases (security cases) to provide evidence-based assurance of security properties in software is a young field in Software Engineering. A… (more)

Subjects/Keywords: security; fuzz testing; genetic algorithm; static analysis; dynamic analysis; hermes; assurance

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Shortt, C. J. (2015). Hermes: A Targeted Fuzz Testing Framework. (Masters Thesis). University of Victoria. Retrieved from http://hdl.handle.net/1828/5907

Chicago Manual of Style (16th Edition):

Shortt, Caleb James. “Hermes: A Targeted Fuzz Testing Framework.” 2015. Masters Thesis, University of Victoria. Accessed April 03, 2020. http://hdl.handle.net/1828/5907.

MLA Handbook (7th Edition):

Shortt, Caleb James. “Hermes: A Targeted Fuzz Testing Framework.” 2015. Web. 03 Apr 2020.

Vancouver:

Shortt CJ. Hermes: A Targeted Fuzz Testing Framework. [Internet] [Masters thesis]. University of Victoria; 2015. [cited 2020 Apr 03]. Available from: http://hdl.handle.net/1828/5907.

Council of Science Editors:

Shortt CJ. Hermes: A Targeted Fuzz Testing Framework. [Masters Thesis]. University of Victoria; 2015. Available from: http://hdl.handle.net/1828/5907

[1] [2] [3] [4] [5] … [23]

.