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 639 total matches.

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

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 July 22, 2019. https://etda.libraries.psu.edu/catalog/19846.

MLA Handbook (7th Edition):

Muthukumaran, Divya. “Automating The Placement Of Authorization Hooks in Programs.” 2013. Web. 22 Jul 2019.

Vancouver:

Muthukumaran D. Automating The Placement Of Authorization Hooks in Programs. [Internet] [Doctoral dissertation]. Penn State University; 2013. [cited 2019 Jul 22]. 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


University of Waterloo

2. Eyolfson, Jonathan. Enforcing Abstract Immutability.

Degree: 2018, University of Waterloo

 Researchers have recently proposed a number of systems for expressing, verifying, and inferring immutability declarations. These systems are often rigid, and do not support "abstract… (more)

Subjects/Keywords: immutability; static analysis; dynamic analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Eyolfson, J. (2018). Enforcing Abstract Immutability. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/13507

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):

Eyolfson, Jonathan. “Enforcing Abstract Immutability.” 2018. Thesis, University of Waterloo. Accessed July 22, 2019. http://hdl.handle.net/10012/13507.

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

MLA Handbook (7th Edition):

Eyolfson, Jonathan. “Enforcing Abstract Immutability.” 2018. Web. 22 Jul 2019.

Vancouver:

Eyolfson J. Enforcing Abstract Immutability. [Internet] [Thesis]. University of Waterloo; 2018. [cited 2019 Jul 22]. Available from: http://hdl.handle.net/10012/13507.

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

Council of Science Editors:

Eyolfson J. Enforcing Abstract Immutability. [Thesis]. University of Waterloo; 2018. Available from: http://hdl.handle.net/10012/13507

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


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 July 22, 2019. 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. 22 Jul 2019.

Vancouver:

Nyakundi KA. Static analysis of android libraries: data leakage . [Internet] [Thesis]. University of Nairobi; 2016. [cited 2019 Jul 22]. 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 Texas – Austin

4. -4071-6439. Automatic generation of coverage directives targeting signal relationships by statically analyzing RTL.

Degree: Electrical and Computer Engineering, 2017, University of Texas – Austin

 The coverage problem has been a long standing issue in simulation- based veri cation. Coverage metrics are required to track the progress and justify completeness… (more)

Subjects/Keywords: Coverage; Verification; Static analysis; RTL

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

-4071-6439. (2017). Automatic generation of coverage directives targeting signal relationships by statically analyzing RTL. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/62907

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

Chicago Manual of Style (16th Edition):

-4071-6439. “Automatic generation of coverage directives targeting signal relationships by statically analyzing RTL.” 2017. Thesis, University of Texas – Austin. Accessed July 22, 2019. http://hdl.handle.net/2152/62907.

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

MLA Handbook (7th Edition):

-4071-6439. “Automatic generation of coverage directives targeting signal relationships by statically analyzing RTL.” 2017. Web. 22 Jul 2019.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Vancouver:

-4071-6439. Automatic generation of coverage directives targeting signal relationships by statically analyzing RTL. [Internet] [Thesis]. University of Texas – Austin; 2017. [cited 2019 Jul 22]. Available from: http://hdl.handle.net/2152/62907.

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

Council of Science Editors:

-4071-6439. Automatic generation of coverage directives targeting signal relationships by statically analyzing RTL. [Thesis]. University of Texas – Austin; 2017. Available from: http://hdl.handle.net/2152/62907

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


University of Rochester

5. 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 July 22, 2019. http://hdl.handle.net/1802/35043.

MLA Handbook (7th Edition):

Chen, Dong. “Program locality analysis based on reuse intervals.” 2019. Web. 22 Jul 2019.

Vancouver:

Chen D. Program locality analysis based on reuse intervals. [Internet] [Doctoral dissertation]. University of Rochester; 2019. [cited 2019 Jul 22]. 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

6. 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 July 22, 2019. 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. 22 Jul 2019.

Vancouver:

Liu Z. Analysis and Optimization of TrueType Font Bytecode. [Internet] [Thesis]. University of Waterloo; 2018. [cited 2019 Jul 22]. 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

7. 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 July 22, 2019. 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. 22 Jul 2019.

Vancouver:

Chu H. Collection Disjointness Analysis in Java. [Internet] [Thesis]. University of Waterloo; 2011. [cited 2019 Jul 22]. 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


Virginia Tech

8. Agrawal, Akash. Static Analysis to improve RTL Verification.

Degree: MS, Electrical and Computer Engineering, 2017, Virginia Tech

 Integrated circuits have traveled a long way from being a general purpose microprocessor to an application specific circuit. It has become an integral part of… (more)

Subjects/Keywords: Static Analysis; ATPG; Verification; Reachability Analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Agrawal, A. (2017). Static Analysis to improve RTL Verification. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/75293

Chicago Manual of Style (16th Edition):

Agrawal, Akash. “Static Analysis to improve RTL Verification.” 2017. Masters Thesis, Virginia Tech. Accessed July 22, 2019. http://hdl.handle.net/10919/75293.

MLA Handbook (7th Edition):

Agrawal, Akash. “Static Analysis to improve RTL Verification.” 2017. Web. 22 Jul 2019.

Vancouver:

Agrawal A. Static Analysis to improve RTL Verification. [Internet] [Masters thesis]. Virginia Tech; 2017. [cited 2019 Jul 22]. Available from: http://hdl.handle.net/10919/75293.

Council of Science Editors:

Agrawal A. Static Analysis to improve RTL Verification. [Masters Thesis]. Virginia Tech; 2017. Available from: http://hdl.handle.net/10919/75293


University of Waterloo

9. Thiessen, Rei. Efficient Pointer Analysis of Java in Logic.

Degree: 2017, University of Waterloo

 Points-to analysis for Java benefits greatly from context sensitivity. CFL-reachability and k-limited context strings are two approaches to obtaining context sensitivity with different advantages: CFL-reachability… (more)

Subjects/Keywords: Pointer analysis; Static analysis; Programming languages

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Thiessen, R. (2017). Efficient Pointer Analysis of Java in Logic. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/11904

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):

Thiessen, Rei. “Efficient Pointer Analysis of Java in Logic.” 2017. Thesis, University of Waterloo. Accessed July 22, 2019. http://hdl.handle.net/10012/11904.

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

MLA Handbook (7th Edition):

Thiessen, Rei. “Efficient Pointer Analysis of Java in Logic.” 2017. Web. 22 Jul 2019.

Vancouver:

Thiessen R. Efficient Pointer Analysis of Java in Logic. [Internet] [Thesis]. University of Waterloo; 2017. [cited 2019 Jul 22]. Available from: http://hdl.handle.net/10012/11904.

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

Council of Science Editors:

Thiessen R. Efficient Pointer Analysis of Java in Logic. [Thesis]. University of Waterloo; 2017. Available from: http://hdl.handle.net/10012/11904

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


University of New South Wales

10. 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 July 22, 2019. 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. 22 Jul 2019.

Vancouver:

Sui Y. Developing practical pointer analysis for large-scale software. [Internet] [Doctoral dissertation]. University of New South Wales; 2014. [cited 2019 Jul 22]. 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

11. 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 July 22, 2019. 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. 22 Jul 2019.

Vancouver:

Li Y. Understanding and analyzing Java reflection. [Internet] [Doctoral dissertation]. University of New South Wales; 2016. [cited 2019 Jul 22]. 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

12. 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 July 22, 2019. 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. 22 Jul 2019.

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 2019 Jul 22]. 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


University of Wolverhampton

13. 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 July 22, 2019. http://hdl.handle.net/2436/322681.

MLA Handbook (7th Edition):

Mount, Sarah. “A Language-Independent Static Checking System for Coding Conventions.” 2013. Web. 22 Jul 2019.

Vancouver:

Mount S. A Language-Independent Static Checking System for Coding Conventions. [Internet] [Doctoral dissertation]. University of Wolverhampton; 2013. [cited 2019 Jul 22]. 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


Texas A&M University

14. 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 July 22, 2019. 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. 22 Jul 2019.

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 2019 Jul 22]. 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


University of Toledo

15. 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 July 22, 2019. 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. 22 Jul 2019.

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 2019 Jul 22]. 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

16. 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 July 22, 2019. 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. 22 Jul 2019.

Vancouver:

Subotic P. Applying Elimination-Based Algorithms to Abstract Interpretation . [Internet] [Thesis]. University of Sydney; 2014. [cited 2019 Jul 22]. 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

17. 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 July 22, 2019. http://hdl.handle.net/10919/84399.

MLA Handbook (7th Edition):

Kusano, Markus Jan Urban. “Constraint-Based Thread-Modular Abstract Interpretation.” 2018. Web. 22 Jul 2019.

Vancouver:

Kusano MJU. Constraint-Based Thread-Modular Abstract Interpretation. [Internet] [Doctoral dissertation]. Virginia Tech; 2018. [cited 2019 Jul 22]. 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

18. 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 July 22, 2019. https://scholarworks.rit.edu/theses/9992.

MLA Handbook (7th Edition):

Logan, Thomas. “A Mechanized Theory of Communication Analysis in CML.” 2019. Web. 22 Jul 2019.

Vancouver:

Logan T. A Mechanized Theory of Communication Analysis in CML. [Internet] [Masters thesis]. Rochester Institute of Technology; 2019. [cited 2019 Jul 22]. 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 Texas – Austin

19. Srivastava, Varun. Static analysis for finding security inconsistencies between similar implementations.

Degree: Computer Sciences, 2010, University of Texas – Austin

 The proliferation of distributed, multilayer software services is encouraging a separation of Application Programming Interfaces (APIs) and their implementation, and thus multiple implementations of the… (more)

Subjects/Keywords: Security semantics; Static analysis; Software differences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Srivastava, V. (2010). Static analysis for finding security inconsistencies between similar implementations. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/38234

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):

Srivastava, Varun. “Static analysis for finding security inconsistencies between similar implementations.” 2010. Thesis, University of Texas – Austin. Accessed July 22, 2019. http://hdl.handle.net/2152/38234.

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

MLA Handbook (7th Edition):

Srivastava, Varun. “Static analysis for finding security inconsistencies between similar implementations.” 2010. Web. 22 Jul 2019.

Vancouver:

Srivastava V. Static analysis for finding security inconsistencies between similar implementations. [Internet] [Thesis]. University of Texas – Austin; 2010. [cited 2019 Jul 22]. Available from: http://hdl.handle.net/2152/38234.

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

Council of Science Editors:

Srivastava V. Static analysis for finding security inconsistencies between similar implementations. [Thesis]. University of Texas – Austin; 2010. Available from: http://hdl.handle.net/2152/38234

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


University of Waterloo

20. 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 July 22, 2019. 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. 22 Jul 2019.

Vancouver:

Muscedere BJ. Detecting Feature-Interaction Hotspots in Automotive Software using Relational Algebra. [Internet] [Thesis]. University of Waterloo; 2018. [cited 2019 Jul 22]. 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

21. 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 July 22, 2019. 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. 22 Jul 2019.

Vancouver:

Beck J. TransLucid: From theory to implementation. [Internet] [Doctoral dissertation]. University of New South Wales; 2015. [cited 2019 Jul 22]. 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

22. 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 July 22, 2019. 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. 22 Jul 2019.

Vancouver:

Nair A. Object Histories in Java. [Internet] [Thesis]. University of Waterloo; 2010. [cited 2019 Jul 22]. 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


University of Illinois – Urbana-Champaign

23. 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 July 22, 2019. 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. 22 Jul 2019.

Vancouver:

Hadzi-Tanovic M. Reflection-aware static regression test selection. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2018. [cited 2019 Jul 22]. 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


North Carolina State University

24. 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 July 22, 2019. 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. 22 Jul 2019.

Vancouver:

Acharya MP. Mining API Specifications from Source Code for Improving Software Reliability. [Internet] [Doctoral dissertation]. North Carolina State University; 2009. [cited 2019 Jul 22]. 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

25. 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 July 22, 2019. 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. 22 Jul 2019.

Vancouver:

Talele N. Vulnerability Detection using Static Taint Analysis. [Internet] [Thesis]. Penn State University; 2017. [cited 2019 Jul 22]. 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

26. 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 July 22, 2019. 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. 22 Jul 2019.

Vancouver:

Kashyap V. Configurable and Sound Static Analysis of JavaScript: Techniques and Applications. [Internet] [Thesis]. University of California – eScholarship, University of California; 2014. [cited 2019 Jul 22]. 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


McMaster University

27. 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 July 22, 2019. 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. 22 Jul 2019.

Vancouver:

Chen W. A Hybrid Software Change Impact Analysis for Large-scale Enterprise Systems. [Internet] [Doctoral dissertation]. McMaster University; 2015. [cited 2019 Jul 22]. 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

28. 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 July 22, 2019. 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. 22 Jul 2019.

Vancouver:

Hirvisalo V. Using Static Program Analysis to Compile Fast Cache Simulators. [Internet] [Thesis]. Helsinki University of Technology; 2004. [cited 2019 Jul 22]. 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


ETH Zürich

29. Bühlmann, Marius. Statistical Methods for Dam Behaviour Analysis.

Degree: 2018, ETH Zürich

 Concrete dams can be affected by long-term processes such as alkali aggregate reaction, concrete ageing and irreversible rock mass deformation, from which they can suffer… (more)

Subjects/Keywords: Dams; Dams and reservoirs; Dam Behaviour Analysis; Statistical analysis; Static analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bühlmann, M. (2018). Statistical Methods for Dam Behaviour Analysis. (Doctoral Dissertation). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/267936

Chicago Manual of Style (16th Edition):

Bühlmann, Marius. “Statistical Methods for Dam Behaviour Analysis.” 2018. Doctoral Dissertation, ETH Zürich. Accessed July 22, 2019. http://hdl.handle.net/20.500.11850/267936.

MLA Handbook (7th Edition):

Bühlmann, Marius. “Statistical Methods for Dam Behaviour Analysis.” 2018. Web. 22 Jul 2019.

Vancouver:

Bühlmann M. Statistical Methods for Dam Behaviour Analysis. [Internet] [Doctoral dissertation]. ETH Zürich; 2018. [cited 2019 Jul 22]. Available from: http://hdl.handle.net/20.500.11850/267936.

Council of Science Editors:

Bühlmann M. Statistical Methods for Dam Behaviour Analysis. [Doctoral Dissertation]. ETH Zürich; 2018. Available from: http://hdl.handle.net/20.500.11850/267936


University of Toronto

30. 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 July 22, 2019. http://hdl.handle.net/1807/69183.

MLA Handbook (7th Edition):

Wong, Michelle Yan Yi. “Targeted Dynamic Analysis for Android Malware.” 2015. Web. 22 Jul 2019.

Vancouver:

Wong MYY. Targeted Dynamic Analysis for Android Malware. [Internet] [Masters thesis]. University of Toronto; 2015. [cited 2019 Jul 22]. 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

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

.