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 688 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 August 08, 2020. https://etda.libraries.psu.edu/catalog/19846.

MLA Handbook (7th Edition):

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

Vancouver:

Muthukumaran D. Automating The Placement Of Authorization Hooks in Programs. [Internet] [Doctoral dissertation]. Penn State University; 2013. [cited 2020 Aug 08]. 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 August 08, 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. 08 Aug 2020.

Vancouver:

Song DW. Finding Tizen security bugs through whole-system static analysis. [Internet] [Masters thesis]. Rice University; 2016. [cited 2020 Aug 08]. 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


Delft University of Technology

3. Schipper, Daan (author). A large-scale evaluation of tracing back log data to its origin with static analysis.

Degree: 2018, Delft University of Technology

Logs are widely used as source of information to understand the activity of computer systems and to monitor their health and stability. As large-scale systems… (more)

Subjects/Keywords: Static Analysis; Log Analysis; Adyen

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Schipper, D. (. (2018). A large-scale evaluation of tracing back log data to its origin with static analysis. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:eef41125-fd1f-484e-8f30-ffb0186711a1

Chicago Manual of Style (16th Edition):

Schipper, Daan (author). “A large-scale evaluation of tracing back log data to its origin with static analysis.” 2018. Masters Thesis, Delft University of Technology. Accessed August 08, 2020. http://resolver.tudelft.nl/uuid:eef41125-fd1f-484e-8f30-ffb0186711a1.

MLA Handbook (7th Edition):

Schipper, Daan (author). “A large-scale evaluation of tracing back log data to its origin with static analysis.” 2018. Web. 08 Aug 2020.

Vancouver:

Schipper D(. A large-scale evaluation of tracing back log data to its origin with static analysis. [Internet] [Masters thesis]. Delft University of Technology; 2018. [cited 2020 Aug 08]. Available from: http://resolver.tudelft.nl/uuid:eef41125-fd1f-484e-8f30-ffb0186711a1.

Council of Science Editors:

Schipper D(. A large-scale evaluation of tracing back log data to its origin with static analysis. [Masters Thesis]. Delft University of Technology; 2018. Available from: http://resolver.tudelft.nl/uuid:eef41125-fd1f-484e-8f30-ffb0186711a1


University of Nairobi

4. 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 August 08, 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. 08 Aug 2020.

Vancouver:

Nyakundi KA. Static analysis of android libraries: data leakage . [Internet] [Thesis]. University of Nairobi; 2016. [cited 2020 Aug 08]. 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

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 August 08, 2020. http://hdl.handle.net/1802/35043.

MLA Handbook (7th Edition):

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

Vancouver:

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

Vancouver:

Liu Z. Analysis and Optimization of TrueType Font Bytecode. [Internet] [Thesis]. University of Waterloo; 2018. [cited 2020 Aug 08]. 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 August 08, 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. 08 Aug 2020.

Vancouver:

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


Delft University of Technology

8. Bosma, Sander (author). Incremental Type Checking in IncA.

Degree: 2018, Delft University of Technology

When using an integrated development environment, it is desirable to get real-time feedback on the correctness of the program. That is, we want to see… (more)

Subjects/Keywords: type checking; incremental; Static Analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bosma, S. (. (2018). Incremental Type Checking in IncA. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:95fd2998-1b39-4dd1-aba4-b2f73b443828

Chicago Manual of Style (16th Edition):

Bosma, Sander (author). “Incremental Type Checking in IncA.” 2018. Masters Thesis, Delft University of Technology. Accessed August 08, 2020. http://resolver.tudelft.nl/uuid:95fd2998-1b39-4dd1-aba4-b2f73b443828.

MLA Handbook (7th Edition):

Bosma, Sander (author). “Incremental Type Checking in IncA.” 2018. Web. 08 Aug 2020.

Vancouver:

Bosma S(. Incremental Type Checking in IncA. [Internet] [Masters thesis]. Delft University of Technology; 2018. [cited 2020 Aug 08]. Available from: http://resolver.tudelft.nl/uuid:95fd2998-1b39-4dd1-aba4-b2f73b443828.

Council of Science Editors:

Bosma S(. Incremental Type Checking in IncA. [Masters Thesis]. Delft University of Technology; 2018. Available from: http://resolver.tudelft.nl/uuid:95fd2998-1b39-4dd1-aba4-b2f73b443828


University of New South Wales

9. 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 August 08, 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. 08 Aug 2020.

Vancouver:

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

10. 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 August 08, 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. 08 Aug 2020.

Vancouver:

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

11. 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: 005.13; 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 August 08, 2020. http://hdl.handle.net/2436/322681.

MLA Handbook (7th Edition):

Mount, Sarah. “A language-independent static checking system for coding conventions.” 2013. Web. 08 Aug 2020.

Vancouver:

Mount S. A language-independent static checking system for coding conventions. [Internet] [Doctoral dissertation]. University of Wolverhampton; 2013. [cited 2020 Aug 08]. 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

12. Bholanath, R.M.R. (author). 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 (author). “Analyzing the State of Static Analysis: A Large-Scale Evaluation in Open Source Software.” 2015. Masters Thesis, Delft University of Technology. Accessed August 08, 2020. http://resolver.tudelft.nl/uuid:3d834130-8dd7-420a-9af9-6e77761cdad6.

MLA Handbook (7th Edition):

Bholanath, R M R (author). “Analyzing the State of Static Analysis: A Large-Scale Evaluation in Open Source Software.” 2015. Web. 08 Aug 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 Aug 08]. 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 Sydney

13. 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 August 08, 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. 08 Aug 2020.

Vancouver:

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


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 August 08, 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. 08 Aug 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 Aug 08]. 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

15. 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 August 08, 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. 08 Aug 2020.

Vancouver:

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

16. 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 August 08, 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. 08 Aug 2020.

Vancouver:

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

17. 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 August 08, 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. 08 Aug 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 Aug 08]. 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


Virginia Tech

18. 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 August 08, 2020. http://hdl.handle.net/10919/84399.

MLA Handbook (7th Edition):

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

Vancouver:

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


University of Waterloo

19. 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 August 08, 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. 08 Aug 2020.

Vancouver:

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

20. 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 August 08, 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. 08 Aug 2020.

Vancouver:

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

21. 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 August 08, 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. 08 Aug 2020.

Vancouver:

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

22. 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 August 08, 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. 08 Aug 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 Aug 08]. 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


Delft University of Technology

23. den Braber, Tom (author). Modeling the Exception Flow in PHP Systems.

Degree: 2017, Delft University of Technology

 The goal of this thesis is to learn how exception handling constructs are used by PHP developers. We present an approach for detecting the exception… (more)

Subjects/Keywords: PHP; Static Analysis; Exception Flow; Software Quality

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

den Braber, T. (. (2017). Modeling the Exception Flow in PHP Systems. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:eb589b41-1bd6-4e87-8ccd-5288ffc4a011

Chicago Manual of Style (16th Edition):

den Braber, Tom (author). “Modeling the Exception Flow in PHP Systems.” 2017. Masters Thesis, Delft University of Technology. Accessed August 08, 2020. http://resolver.tudelft.nl/uuid:eb589b41-1bd6-4e87-8ccd-5288ffc4a011.

MLA Handbook (7th Edition):

den Braber, Tom (author). “Modeling the Exception Flow in PHP Systems.” 2017. Web. 08 Aug 2020.

Vancouver:

den Braber T(. Modeling the Exception Flow in PHP Systems. [Internet] [Masters thesis]. Delft University of Technology; 2017. [cited 2020 Aug 08]. Available from: http://resolver.tudelft.nl/uuid:eb589b41-1bd6-4e87-8ccd-5288ffc4a011.

Council of Science Editors:

den Braber T(. Modeling the Exception Flow in PHP Systems. [Masters Thesis]. Delft University of Technology; 2017. Available from: http://resolver.tudelft.nl/uuid:eb589b41-1bd6-4e87-8ccd-5288ffc4a011


Delft University of Technology

24. Tómasdóttir, Kristín (author). Why and How JavaScript Developers Use Linters.

Degree: 2017, Delft University of Technology

A linter is a type of static analysis tool that warns software developers about pos- sible errors in code or violations to coding standards. By… (more)

Subjects/Keywords: JavaScript; Linters; Static Analysis Tools; Software Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tómasdóttir, K. (. (2017). Why and How JavaScript Developers Use Linters. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:73783036-0241-4dff-bae8-e56ad155ce00

Chicago Manual of Style (16th Edition):

Tómasdóttir, Kristín (author). “Why and How JavaScript Developers Use Linters.” 2017. Masters Thesis, Delft University of Technology. Accessed August 08, 2020. http://resolver.tudelft.nl/uuid:73783036-0241-4dff-bae8-e56ad155ce00.

MLA Handbook (7th Edition):

Tómasdóttir, Kristín (author). “Why and How JavaScript Developers Use Linters.” 2017. Web. 08 Aug 2020.

Vancouver:

Tómasdóttir K(. Why and How JavaScript Developers Use Linters. [Internet] [Masters thesis]. Delft University of Technology; 2017. [cited 2020 Aug 08]. Available from: http://resolver.tudelft.nl/uuid:73783036-0241-4dff-bae8-e56ad155ce00.

Council of Science Editors:

Tómasdóttir K(. Why and How JavaScript Developers Use Linters. [Masters Thesis]. Delft University of Technology; 2017. Available from: http://resolver.tudelft.nl/uuid:73783036-0241-4dff-bae8-e56ad155ce00


Delft University of Technology

25. Saboerali, Raies (author). Gamification of a Static Analysis Tool: A brief look into developer motivation.

Degree: 2019, Delft University of Technology

Software development is more than only implementing the functional code. A developer is also responsible for writing code measuring up to certain standards and conventions.… (more)

Subjects/Keywords: Automated Static Analysis Tools; Gamification; Software development

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Saboerali, R. (. (2019). Gamification of a Static Analysis Tool: A brief look into developer motivation. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:53b9a88a-c848-462f-8514-ea2a4aefd7ff

Chicago Manual of Style (16th Edition):

Saboerali, Raies (author). “Gamification of a Static Analysis Tool: A brief look into developer motivation.” 2019. Masters Thesis, Delft University of Technology. Accessed August 08, 2020. http://resolver.tudelft.nl/uuid:53b9a88a-c848-462f-8514-ea2a4aefd7ff.

MLA Handbook (7th Edition):

Saboerali, Raies (author). “Gamification of a Static Analysis Tool: A brief look into developer motivation.” 2019. Web. 08 Aug 2020.

Vancouver:

Saboerali R(. Gamification of a Static Analysis Tool: A brief look into developer motivation. [Internet] [Masters thesis]. Delft University of Technology; 2019. [cited 2020 Aug 08]. Available from: http://resolver.tudelft.nl/uuid:53b9a88a-c848-462f-8514-ea2a4aefd7ff.

Council of Science Editors:

Saboerali R(. Gamification of a Static Analysis Tool: A brief look into developer motivation. [Masters Thesis]. Delft University of Technology; 2019. Available from: http://resolver.tudelft.nl/uuid:53b9a88a-c848-462f-8514-ea2a4aefd7ff


Rochester Institute of Technology

26. 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 August 08, 2020. https://scholarworks.rit.edu/theses/9992.

MLA Handbook (7th Edition):

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

Vancouver:

Logan T. A Mechanized Theory of Communication Analysis in CML. [Internet] [Masters thesis]. Rochester Institute of Technology; 2019. [cited 2020 Aug 08]. 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


Delft University of Technology

27. Kraaijeveld, Michel (author). Detecting Breaking Changes in JavaScript APIs.

Degree: 2017, Delft University of Technology

The goal of this thesis is to explore the current possibilities for detecting breaking changes in JavaScript. For this, we propose an approach and show… (more)

Subjects/Keywords: JavaScript; API; Breaking Changes; Static Analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kraaijeveld, M. (. (2017). Detecting Breaking Changes in JavaScript APIs. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:56e646dc-d5c7-482b-8326-90e0de4ea419

Chicago Manual of Style (16th Edition):

Kraaijeveld, Michel (author). “Detecting Breaking Changes in JavaScript APIs.” 2017. Masters Thesis, Delft University of Technology. Accessed August 08, 2020. http://resolver.tudelft.nl/uuid:56e646dc-d5c7-482b-8326-90e0de4ea419.

MLA Handbook (7th Edition):

Kraaijeveld, Michel (author). “Detecting Breaking Changes in JavaScript APIs.” 2017. Web. 08 Aug 2020.

Vancouver:

Kraaijeveld M(. Detecting Breaking Changes in JavaScript APIs. [Internet] [Masters thesis]. Delft University of Technology; 2017. [cited 2020 Aug 08]. Available from: http://resolver.tudelft.nl/uuid:56e646dc-d5c7-482b-8326-90e0de4ea419.

Council of Science Editors:

Kraaijeveld M(. Detecting Breaking Changes in JavaScript APIs. [Masters Thesis]. Delft University of Technology; 2017. Available from: http://resolver.tudelft.nl/uuid:56e646dc-d5c7-482b-8326-90e0de4ea419


University of Illinois – Urbana-Champaign

28. 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 August 08, 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. 08 Aug 2020.

Vancouver:

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

29. 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 August 08, 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. 08 Aug 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 Aug 08]. 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

30. 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 August 08, 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. 08 Aug 2020.

Vancouver:

Kuderski J. Scalable Context-Sensitive Pointer Analysis for LLVM. [Internet] [Thesis]. University of Waterloo; 2019. [cited 2020 Aug 08]. 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

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

.