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:(Program repair). Showing records 1 – 30 of 42 total matches.

[1] [2]

Search Limiters

Last 2 Years | English Only

▼ Search Limiters


University of Texas – Austin

1. Malik, Muhammad Zubair. Combining data structure repair and program repair.

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

 Bugs in code continue to pose a fundamental problem for software reliability and cause expensive failures. The process of removing known bugs is termed debugging,… (more)

Subjects/Keywords: Program repair; Data Structure repair; Graph spectra

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Malik, M. Z. (2014). Combining data structure repair and program repair. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/26034

Chicago Manual of Style (16th Edition):

Malik, Muhammad Zubair. “Combining data structure repair and program repair.” 2014. Doctoral Dissertation, University of Texas – Austin. Accessed January 22, 2021. http://hdl.handle.net/2152/26034.

MLA Handbook (7th Edition):

Malik, Muhammad Zubair. “Combining data structure repair and program repair.” 2014. Web. 22 Jan 2021.

Vancouver:

Malik MZ. Combining data structure repair and program repair. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2014. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/2152/26034.

Council of Science Editors:

Malik MZ. Combining data structure repair and program repair. [Doctoral Dissertation]. University of Texas – Austin; 2014. Available from: http://hdl.handle.net/2152/26034


University of Waterloo

2. Zhikhartsev, Alexey. Filtering overfitted automatically-generated patches by using automated test generation.

Degree: 2018, University of Waterloo

 "Generate-and-Validate'' (G&V) approaches to automatic program repair first generate candidate patches and then validate the patches against a test suite. Current G&V tools accept the… (more)

Subjects/Keywords: Software engineering; Automated program repair; Software testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhikhartsev, A. (2018). Filtering overfitted automatically-generated patches by using automated test generation. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/12874

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

Zhikhartsev, Alexey. “Filtering overfitted automatically-generated patches by using automated test generation.” 2018. Thesis, University of Waterloo. Accessed January 22, 2021. http://hdl.handle.net/10012/12874.

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

MLA Handbook (7th Edition):

Zhikhartsev, Alexey. “Filtering overfitted automatically-generated patches by using automated test generation.” 2018. Web. 22 Jan 2021.

Vancouver:

Zhikhartsev A. Filtering overfitted automatically-generated patches by using automated test generation. [Internet] [Thesis]. University of Waterloo; 2018. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/10012/12874.

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

Council of Science Editors:

Zhikhartsev A. Filtering overfitted automatically-generated patches by using automated test generation. [Thesis]. University of Waterloo; 2018. Available from: http://hdl.handle.net/10012/12874

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


Indian Institute of Science

3. Kaleeswaran, Shalini. Program Repair by Automated Generation of Hints.

Degree: PhD, Engineering, 2018, Indian Institute of Science

 Programming has become an important skill in today's technology-driven world. It is a complex activity because of which programmers make mistakes in their software. Student… (more)

Subjects/Keywords: Debugging; CodeChef; Microtribomoter; Programmers Repair; Repair Specification; Repair Hints; Program Repair; MintHint; Semi-automated Program Repair; Semi-supervised Feedback Generation Methodology; CoderAssist; Computer Science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kaleeswaran, S. (2018). Program Repair by Automated Generation of Hints. (Doctoral Dissertation). Indian Institute of Science. Retrieved from http://etd.iisc.ac.in/handle/2005/4048

Chicago Manual of Style (16th Edition):

Kaleeswaran, Shalini. “Program Repair by Automated Generation of Hints.” 2018. Doctoral Dissertation, Indian Institute of Science. Accessed January 22, 2021. http://etd.iisc.ac.in/handle/2005/4048.

MLA Handbook (7th Edition):

Kaleeswaran, Shalini. “Program Repair by Automated Generation of Hints.” 2018. Web. 22 Jan 2021.

Vancouver:

Kaleeswaran S. Program Repair by Automated Generation of Hints. [Internet] [Doctoral dissertation]. Indian Institute of Science; 2018. [cited 2021 Jan 22]. Available from: http://etd.iisc.ac.in/handle/2005/4048.

Council of Science Editors:

Kaleeswaran S. Program Repair by Automated Generation of Hints. [Doctoral Dissertation]. Indian Institute of Science; 2018. Available from: http://etd.iisc.ac.in/handle/2005/4048


Rice University

4. Surendran, Rishi. Debugging, Repair, and Synthesis of Task-Parallel Programs.

Degree: PhD, Engineering, 2017, Rice University

 Parallelizing sequential programs to effectively utilize modern multicore architectures is a key challenge facing application developers and domain experts. Therefore, it is a need of… (more)

Subjects/Keywords: Debugging; Program repair; Program synthesis; Futures; Async; Finish; Task Parallelism

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Surendran, R. (2017). Debugging, Repair, and Synthesis of Task-Parallel Programs. (Doctoral Dissertation). Rice University. Retrieved from http://hdl.handle.net/1911/96003

Chicago Manual of Style (16th Edition):

Surendran, Rishi. “Debugging, Repair, and Synthesis of Task-Parallel Programs.” 2017. Doctoral Dissertation, Rice University. Accessed January 22, 2021. http://hdl.handle.net/1911/96003.

MLA Handbook (7th Edition):

Surendran, Rishi. “Debugging, Repair, and Synthesis of Task-Parallel Programs.” 2017. Web. 22 Jan 2021.

Vancouver:

Surendran R. Debugging, Repair, and Synthesis of Task-Parallel Programs. [Internet] [Doctoral dissertation]. Rice University; 2017. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/1911/96003.

Council of Science Editors:

Surendran R. Debugging, Repair, and Synthesis of Task-Parallel Programs. [Doctoral Dissertation]. Rice University; 2017. Available from: http://hdl.handle.net/1911/96003


University of Minnesota

5. Sharma, Vaibhav. Adapter Synthesis: Synthesizing And Repairing Programs Using Scalable Symbolic Execution.

Degree: PhD, Computer Science, 2020, University of Minnesota

 Independently developed codebases typically contain many segments of code that perform the same or closely related operations (semantic clones). Finding functionally equivalent segments enables applications… (more)

Subjects/Keywords: adapter synthesis; binary analysis; cegis; program repair; program synthesis; symbolic execution

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sharma, V. (2020). Adapter Synthesis: Synthesizing And Repairing Programs Using Scalable Symbolic Execution. (Doctoral Dissertation). University of Minnesota. Retrieved from http://hdl.handle.net/11299/213126

Chicago Manual of Style (16th Edition):

Sharma, Vaibhav. “Adapter Synthesis: Synthesizing And Repairing Programs Using Scalable Symbolic Execution.” 2020. Doctoral Dissertation, University of Minnesota. Accessed January 22, 2021. http://hdl.handle.net/11299/213126.

MLA Handbook (7th Edition):

Sharma, Vaibhav. “Adapter Synthesis: Synthesizing And Repairing Programs Using Scalable Symbolic Execution.” 2020. Web. 22 Jan 2021.

Vancouver:

Sharma V. Adapter Synthesis: Synthesizing And Repairing Programs Using Scalable Symbolic Execution. [Internet] [Doctoral dissertation]. University of Minnesota; 2020. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/11299/213126.

Council of Science Editors:

Sharma V. Adapter Synthesis: Synthesizing And Repairing Programs Using Scalable Symbolic Execution. [Doctoral Dissertation]. University of Minnesota; 2020. Available from: http://hdl.handle.net/11299/213126


University of Texas – Austin

6. -4094-6303. Unifying program repair and program synthesis.

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

 The last few years have seen much progress in two related but traditionally disjoint areas of research: program repair and program synthesis. Program repair is… (more)

Subjects/Keywords: Program repair; Program synthesis; Execution-driven; On-demand candidate generation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

-4094-6303. (2018). Unifying program repair and program synthesis. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/68477

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

Chicago Manual of Style (16th Edition):

-4094-6303. “Unifying program repair and program synthesis.” 2018. Doctoral Dissertation, University of Texas – Austin. Accessed January 22, 2021. http://hdl.handle.net/2152/68477.

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

MLA Handbook (7th Edition):

-4094-6303. “Unifying program repair and program synthesis.” 2018. Web. 22 Jan 2021.

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

Vancouver:

-4094-6303. Unifying program repair and program synthesis. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2018. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/2152/68477.

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

Council of Science Editors:

-4094-6303. Unifying program repair and program synthesis. [Doctoral Dissertation]. University of Texas – Austin; 2018. Available from: http://hdl.handle.net/2152/68477

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

7. -5365-808X. An experimental evaluation and possible extensions of SyPet.

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

Program synthesis is an automated programming technique that automatically constructs a program which satisfies given specifications. SyPet is a recently published novel component-based synthesis tool… (more)

Subjects/Keywords: Program synthesis; Program repair

…18 Figure 16: Test file for program repair experiment… …program repair [8, 9, 10]. We show that SyPet can be used to fix errors in a program… …can reduce the program repair problem into a component-based synthesis problem, where n is… …applications like non-straight line synthesis and program repair (Chapter 3). Finally, we… …algorithms. II. PROGRAM REPAIR Program repair is another important research area in Software… 

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7 Sample image

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

-5365-808X. (2017). An experimental evaluation and possible extensions of SyPet. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/62665

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

Chicago Manual of Style (16th Edition):

-5365-808X. “An experimental evaluation and possible extensions of SyPet.” 2017. Masters Thesis, University of Texas – Austin. Accessed January 22, 2021. http://hdl.handle.net/2152/62665.

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

MLA Handbook (7th Edition):

-5365-808X. “An experimental evaluation and possible extensions of SyPet.” 2017. Web. 22 Jan 2021.

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

Vancouver:

-5365-808X. An experimental evaluation and possible extensions of SyPet. [Internet] [Masters thesis]. University of Texas – Austin; 2017. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/2152/62665.

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

Council of Science Editors:

-5365-808X. An experimental evaluation and possible extensions of SyPet. [Masters Thesis]. University of Texas – Austin; 2017. Available from: http://hdl.handle.net/2152/62665

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


University of Waterloo

8. Liu, Taiyue. Anti-Patterns for Automatic Program Repairs.

Degree: 2016, University of Waterloo

 Automated program repair has been a heated topic in software engineering. In recent years, we have witnessed many successful applications such as Genprog, SPR, RSRepair,… (more)

Subjects/Keywords: Automated Program Repair; Anti-Patterns; Staged Program Repair; Machine Learning; Software Engineering; Overfitted Patches; Generate-and-Validate

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Liu, T. (2016). Anti-Patterns for Automatic Program Repairs. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/10893

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, Taiyue. “Anti-Patterns for Automatic Program Repairs.” 2016. Thesis, University of Waterloo. Accessed January 22, 2021. http://hdl.handle.net/10012/10893.

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

MLA Handbook (7th Edition):

Liu, Taiyue. “Anti-Patterns for Automatic Program Repairs.” 2016. Web. 22 Jan 2021.

Vancouver:

Liu T. Anti-Patterns for Automatic Program Repairs. [Internet] [Thesis]. University of Waterloo; 2016. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/10012/10893.

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

Council of Science Editors:

Liu T. Anti-Patterns for Automatic Program Repairs. [Thesis]. University of Waterloo; 2016. Available from: http://hdl.handle.net/10012/10893

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


University of Waterloo

9. Wei, Moshi. Abstraction Mechanism on Neural Machine Translation Models for Automated Program Repair.

Degree: 2019, University of Waterloo

 Bug fixing is a time-consuming task in software development. Automated bug repair tools are created to fix programs with little or no human effort. There… (more)

Subjects/Keywords: deep learning; automated program repair; neural machine translation; seq2seq model

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wei, M. (2019). Abstraction Mechanism on Neural Machine Translation Models for Automated Program Repair. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/15119

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

Wei, Moshi. “Abstraction Mechanism on Neural Machine Translation Models for Automated Program Repair.” 2019. Thesis, University of Waterloo. Accessed January 22, 2021. http://hdl.handle.net/10012/15119.

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

MLA Handbook (7th Edition):

Wei, Moshi. “Abstraction Mechanism on Neural Machine Translation Models for Automated Program Repair.” 2019. Web. 22 Jan 2021.

Vancouver:

Wei M. Abstraction Mechanism on Neural Machine Translation Models for Automated Program Repair. [Internet] [Thesis]. University of Waterloo; 2019. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/10012/15119.

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

Council of Science Editors:

Wei M. Abstraction Mechanism on Neural Machine Translation Models for Automated Program Repair. [Thesis]. University of Waterloo; 2019. Available from: http://hdl.handle.net/10012/15119

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


Iowa State University

10. Ke, Yalin. An automated approach to program repair with semantic code search.

Degree: 2015, Iowa State University

 Every year software companies dedicate numerous developer hours to debugging and fixing defects. Automated program repair has the potential to greatly decrease the costs of… (more)

Subjects/Keywords: Computer Science; automated; program repair; semantic code search; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ke, Y. (2015). An automated approach to program repair with semantic code search. (Thesis). Iowa State University. Retrieved from https://lib.dr.iastate.edu/etd/14813

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

Ke, Yalin. “An automated approach to program repair with semantic code search.” 2015. Thesis, Iowa State University. Accessed January 22, 2021. https://lib.dr.iastate.edu/etd/14813.

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

MLA Handbook (7th Edition):

Ke, Yalin. “An automated approach to program repair with semantic code search.” 2015. Web. 22 Jan 2021.

Vancouver:

Ke Y. An automated approach to program repair with semantic code search. [Internet] [Thesis]. Iowa State University; 2015. [cited 2021 Jan 22]. Available from: https://lib.dr.iastate.edu/etd/14813.

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

Council of Science Editors:

Ke Y. An automated approach to program repair with semantic code search. [Thesis]. Iowa State University; 2015. Available from: https://lib.dr.iastate.edu/etd/14813

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


University of Waterloo

11. Lutellier, Thibaud. Machine Learning for Software Dependability.

Degree: 2020, University of Waterloo

 Dependability is an important quality of modern software but is challenging to achieve. Many software dependability techniques have been proposed to help developers improve software… (more)

Subjects/Keywords: software dependability; program repair; bug detection; software architecture recovery; machine learning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lutellier, T. (2020). Machine Learning for Software Dependability. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/16501

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

Lutellier, Thibaud. “Machine Learning for Software Dependability.” 2020. Thesis, University of Waterloo. Accessed January 22, 2021. http://hdl.handle.net/10012/16501.

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

MLA Handbook (7th Edition):

Lutellier, Thibaud. “Machine Learning for Software Dependability.” 2020. Web. 22 Jan 2021.

Vancouver:

Lutellier T. Machine Learning for Software Dependability. [Internet] [Thesis]. University of Waterloo; 2020. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/10012/16501.

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

Council of Science Editors:

Lutellier T. Machine Learning for Software Dependability. [Thesis]. University of Waterloo; 2020. Available from: http://hdl.handle.net/10012/16501

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


University of Texas – Austin

12. -1790-0721. Automated synthesis and debugging of declarative models in alloy.

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

 In theory, formal specifications offer numerous benefits in developing more reliable software. In practice however, the use of specifications is rather limited, and practitioners often… (more)

Subjects/Keywords: Expression generation; Sketching; Fault localization; Automated program repair; Alloy

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

-1790-0721. (2018). Automated synthesis and debugging of declarative models in alloy. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/71511

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

Chicago Manual of Style (16th Edition):

-1790-0721. “Automated synthesis and debugging of declarative models in alloy.” 2018. Doctoral Dissertation, University of Texas – Austin. Accessed January 22, 2021. http://hdl.handle.net/2152/71511.

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

MLA Handbook (7th Edition):

-1790-0721. “Automated synthesis and debugging of declarative models in alloy.” 2018. Web. 22 Jan 2021.

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

Vancouver:

-1790-0721. Automated synthesis and debugging of declarative models in alloy. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2018. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/2152/71511.

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

Council of Science Editors:

-1790-0721. Automated synthesis and debugging of declarative models in alloy. [Doctoral Dissertation]. University of Texas – Austin; 2018. Available from: http://hdl.handle.net/2152/71511

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


University of Texas – Austin

13. Gopinath, Divya. Systematic techniques for more effective fault localization and program repair.

Degree: PhD, Electrical and Computer engineering, 2015, University of Texas – Austin

 Debugging faulty code is a tedious process that is often quite expensive and can require much manual effort. Developers typically perform debugging in two key… (more)

Subjects/Keywords: Software debugging; Program repair; Fault localization; SAT; Correctness specifications; Classifier learning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gopinath, D. (2015). Systematic techniques for more effective fault localization and program repair. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/33386

Chicago Manual of Style (16th Edition):

Gopinath, Divya. “Systematic techniques for more effective fault localization and program repair.” 2015. Doctoral Dissertation, University of Texas – Austin. Accessed January 22, 2021. http://hdl.handle.net/2152/33386.

MLA Handbook (7th Edition):

Gopinath, Divya. “Systematic techniques for more effective fault localization and program repair.” 2015. Web. 22 Jan 2021.

Vancouver:

Gopinath D. Systematic techniques for more effective fault localization and program repair. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2015. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/2152/33386.

Council of Science Editors:

Gopinath D. Systematic techniques for more effective fault localization and program repair. [Doctoral Dissertation]. University of Texas – Austin; 2015. Available from: http://hdl.handle.net/2152/33386


Université de Grenoble

14. Von Essen, Christian. Quantitative Verification and Synthesis : Vérification et synthèse quantitative.

Degree: Docteur es, Informatique, 2014, Université de Grenoble

Cette thèse contribue à l'étude théorique et a l'application de la vérification et de la synthèse quantitative. Nous étudions les stratégies qui optimisent la fraction… (more)

Subjects/Keywords: Vérification quantitative; Synthèse quantitative; Systèmes adaptatifs; Quantitative Verification; Quantitative Synthesis; Adaptive Systems; Program Repair; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Von Essen, C. (2014). Quantitative Verification and Synthesis : Vérification et synthèse quantitative. (Doctoral Dissertation). Université de Grenoble. Retrieved from http://www.theses.fr/2014GRENM090

Chicago Manual of Style (16th Edition):

Von Essen, Christian. “Quantitative Verification and Synthesis : Vérification et synthèse quantitative.” 2014. Doctoral Dissertation, Université de Grenoble. Accessed January 22, 2021. http://www.theses.fr/2014GRENM090.

MLA Handbook (7th Edition):

Von Essen, Christian. “Quantitative Verification and Synthesis : Vérification et synthèse quantitative.” 2014. Web. 22 Jan 2021.

Vancouver:

Von Essen C. Quantitative Verification and Synthesis : Vérification et synthèse quantitative. [Internet] [Doctoral dissertation]. Université de Grenoble; 2014. [cited 2021 Jan 22]. Available from: http://www.theses.fr/2014GRENM090.

Council of Science Editors:

Von Essen C. Quantitative Verification and Synthesis : Vérification et synthèse quantitative. [Doctoral Dissertation]. Université de Grenoble; 2014. Available from: http://www.theses.fr/2014GRENM090


University of Victoria

15. Murguia, Giovanni. Autonomic test case generation of failing code using AOP.

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

 As software systems have grown in size and complexity, the costs of maintaining such systems increases steadily. In the early 2000's, IBM launched the autonomic… (more)

Subjects/Keywords: Autonomic Computing; Self Healing; AOP; Aspect Oriented Programming; AspectJ; Automatic Program Repair; Test Cases

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Murguia, G. (2020). Autonomic test case generation of failing code using AOP. (Masters Thesis). University of Victoria. Retrieved from http://hdl.handle.net/1828/12096

Chicago Manual of Style (16th Edition):

Murguia, Giovanni. “Autonomic test case generation of failing code using AOP.” 2020. Masters Thesis, University of Victoria. Accessed January 22, 2021. http://hdl.handle.net/1828/12096.

MLA Handbook (7th Edition):

Murguia, Giovanni. “Autonomic test case generation of failing code using AOP.” 2020. Web. 22 Jan 2021.

Vancouver:

Murguia G. Autonomic test case generation of failing code using AOP. [Internet] [Masters thesis]. University of Victoria; 2020. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/1828/12096.

Council of Science Editors:

Murguia G. Autonomic test case generation of failing code using AOP. [Masters Thesis]. University of Victoria; 2020. Available from: http://hdl.handle.net/1828/12096

16. Alkhalaf, Muath. Automatic Detection and Repair of Input Validation and Sanitization Bugs.

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

 A crucial problem in developing dependable web applications is thecorrectness of the input validation and sanitization. Bugs in stringmanipulation operations used for validation and sanitization… (more)

Subjects/Keywords: Computer science; Automata; Formal Methods; Model Checking; Program Repair; Security; Software Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Alkhalaf, M. (2014). Automatic Detection and Repair of Input Validation and Sanitization Bugs. (Thesis). University of California – eScholarship, University of California. Retrieved from http://www.escholarship.org/uc/item/0dx20255

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

Alkhalaf, Muath. “Automatic Detection and Repair of Input Validation and Sanitization Bugs.” 2014. Thesis, University of California – eScholarship, University of California. Accessed January 22, 2021. http://www.escholarship.org/uc/item/0dx20255.

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

MLA Handbook (7th Edition):

Alkhalaf, Muath. “Automatic Detection and Repair of Input Validation and Sanitization Bugs.” 2014. Web. 22 Jan 2021.

Vancouver:

Alkhalaf M. Automatic Detection and Repair of Input Validation and Sanitization Bugs. [Internet] [Thesis]. University of California – eScholarship, University of California; 2014. [cited 2021 Jan 22]. Available from: http://www.escholarship.org/uc/item/0dx20255.

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

Council of Science Editors:

Alkhalaf M. Automatic Detection and Repair of Input Validation and Sanitization Bugs. [Thesis]. University of California – eScholarship, University of California; 2014. Available from: http://www.escholarship.org/uc/item/0dx20255

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


Virginia Tech

17. Zhang, Lu. Runtime Verification and Debugging of Concurrent Software.

Degree: PhD, Computer Engineering, 2016, Virginia Tech

 Our reliance on software has been growing fast over the past decades as the pervasive use of computer and software penetrated not only our daily… (more)

Subjects/Keywords: Concurrency; Verification; Debugging; Program Repair; Quasi Linearizability; Concurrent Data Structure; Web Application; JavaScript

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhang, L. (2016). Runtime Verification and Debugging of Concurrent Software. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/71882

Chicago Manual of Style (16th Edition):

Zhang, Lu. “Runtime Verification and Debugging of Concurrent Software.” 2016. Doctoral Dissertation, Virginia Tech. Accessed January 22, 2021. http://hdl.handle.net/10919/71882.

MLA Handbook (7th Edition):

Zhang, Lu. “Runtime Verification and Debugging of Concurrent Software.” 2016. Web. 22 Jan 2021.

Vancouver:

Zhang L. Runtime Verification and Debugging of Concurrent Software. [Internet] [Doctoral dissertation]. Virginia Tech; 2016. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/10919/71882.

Council of Science Editors:

Zhang L. Runtime Verification and Debugging of Concurrent Software. [Doctoral Dissertation]. Virginia Tech; 2016. Available from: http://hdl.handle.net/10919/71882


Université du Luxembourg

18. Koyuncu, Anil. Boosting Automated Program Repair for Adoption By Practitioners.

Degree: 2020, Université du Luxembourg

 Automated program repair (APR) attracts a huge interest from research and industry as the ultimate target in automation of software maintenance. Towards realizing this automation… (more)

Subjects/Keywords: program repair; Engineering, computing & technology :: Computer science [C05]; Ingénierie, informatique & technologie :: Sciences informatiques [C05]

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Koyuncu, A. (2020). Boosting Automated Program Repair for Adoption By Practitioners. (Doctoral Dissertation). Université du Luxembourg. Retrieved from http://orbilu.uni.lu/handle/10993/45073

Chicago Manual of Style (16th Edition):

Koyuncu, Anil. “Boosting Automated Program Repair for Adoption By Practitioners.” 2020. Doctoral Dissertation, Université du Luxembourg. Accessed January 22, 2021. http://orbilu.uni.lu/handle/10993/45073.

MLA Handbook (7th Edition):

Koyuncu, Anil. “Boosting Automated Program Repair for Adoption By Practitioners.” 2020. Web. 22 Jan 2021.

Vancouver:

Koyuncu A. Boosting Automated Program Repair for Adoption By Practitioners. [Internet] [Doctoral dissertation]. Université du Luxembourg; 2020. [cited 2021 Jan 22]. Available from: http://orbilu.uni.lu/handle/10993/45073.

Council of Science Editors:

Koyuncu A. Boosting Automated Program Repair for Adoption By Practitioners. [Doctoral Dissertation]. Université du Luxembourg; 2020. Available from: http://orbilu.uni.lu/handle/10993/45073

19. MECHTAEV SERGEY. SEMANTIC PROGRAM REPAIR.

Degree: 2018, National University of Singapore

Subjects/Keywords: program repair. program synthesis; debugging; symbolic execution; program analysis; software verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

SERGEY, M. (2018). SEMANTIC PROGRAM REPAIR. (Thesis). National University of Singapore. Retrieved from http://scholarbank.nus.edu.sg/handle/10635/145447

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

SERGEY, MECHTAEV. “SEMANTIC PROGRAM REPAIR.” 2018. Thesis, National University of Singapore. Accessed January 22, 2021. http://scholarbank.nus.edu.sg/handle/10635/145447.

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

MLA Handbook (7th Edition):

SERGEY, MECHTAEV. “SEMANTIC PROGRAM REPAIR.” 2018. Web. 22 Jan 2021.

Vancouver:

SERGEY M. SEMANTIC PROGRAM REPAIR. [Internet] [Thesis]. National University of Singapore; 2018. [cited 2021 Jan 22]. Available from: http://scholarbank.nus.edu.sg/handle/10635/145447.

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

Council of Science Editors:

SERGEY M. SEMANTIC PROGRAM REPAIR. [Thesis]. National University of Singapore; 2018. Available from: http://scholarbank.nus.edu.sg/handle/10635/145447

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


University of New Mexico

20. Nguyen, Thanh V. Automating Program Verification and Repair Using Invariant Analysis and Test Input Generation.

Degree: Department of Computer Science, 2010, University of New Mexico

 Software bugs are a persistent feature of daily life – crashing web browsers, allowing cyberattacks, and distorting the results of scientific computations. One approach to improving… (more)

Subjects/Keywords: dynamic analysis; invariant generation; program repair; program synthesis; program verification; theorem proving

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nguyen, T. V. (2010). Automating Program Verification and Repair Using Invariant Analysis and Test Input Generation. (Doctoral Dissertation). University of New Mexico. Retrieved from http://hdl.handle.net/1928/24584

Chicago Manual of Style (16th Edition):

Nguyen, Thanh V. “Automating Program Verification and Repair Using Invariant Analysis and Test Input Generation.” 2010. Doctoral Dissertation, University of New Mexico. Accessed January 22, 2021. http://hdl.handle.net/1928/24584.

MLA Handbook (7th Edition):

Nguyen, Thanh V. “Automating Program Verification and Repair Using Invariant Analysis and Test Input Generation.” 2010. Web. 22 Jan 2021.

Vancouver:

Nguyen TV. Automating Program Verification and Repair Using Invariant Analysis and Test Input Generation. [Internet] [Doctoral dissertation]. University of New Mexico; 2010. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/1928/24584.

Council of Science Editors:

Nguyen TV. Automating Program Verification and Repair Using Invariant Analysis and Test Input Generation. [Doctoral Dissertation]. University of New Mexico; 2010. Available from: http://hdl.handle.net/1928/24584


Stellenbosch University

21. Nickerson, Brendon Mark. Development of an integrated numerical method for the fatigue analysis of railway bogies.

Degree: MEng, Mechanical and Mechatronic Engineering, 2017, Stellenbosch University

ENGLISH ABSTRACT: This study focuses on the creation of a numerical simulation process that can be used to determine the fatigue life of railway bogies,… (more)

Subjects/Keywords: Car trucks (Railroads)  – Fatigue; Finite element method; Dynamic models (Computer program language); Railroad cars  – Wheels  – Maintenance and repair; UCTD

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nickerson, B. M. (2017). Development of an integrated numerical method for the fatigue analysis of railway bogies. (Thesis). Stellenbosch University. Retrieved from http://hdl.handle.net/10019.1/101072

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

Nickerson, Brendon Mark. “Development of an integrated numerical method for the fatigue analysis of railway bogies.” 2017. Thesis, Stellenbosch University. Accessed January 22, 2021. http://hdl.handle.net/10019.1/101072.

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

MLA Handbook (7th Edition):

Nickerson, Brendon Mark. “Development of an integrated numerical method for the fatigue analysis of railway bogies.” 2017. Web. 22 Jan 2021.

Vancouver:

Nickerson BM. Development of an integrated numerical method for the fatigue analysis of railway bogies. [Internet] [Thesis]. Stellenbosch University; 2017. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/10019.1/101072.

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

Council of Science Editors:

Nickerson BM. Development of an integrated numerical method for the fatigue analysis of railway bogies. [Thesis]. Stellenbosch University; 2017. Available from: http://hdl.handle.net/10019.1/101072

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


University of South Carolina

22. DELGADO DIAZ, DIANA CAROLINA. Functional and Molecular Effects of Therapeutic Ultrasound On Skeletal Muscle Repair.

Degree: PhD, Exercise Science, 2012, University of South Carolina

  Skeletal muscle injuries are common in athletic and non-athletic populations and affect muscle function, mobility, and thereby quality of life; muscle rehabilitation constitute a… (more)

Subjects/Keywords: Exercise Science; Kinesiology; Life Sciences; muscle cells differentiation; muscular performance; myogenic program; satellite cells; skeletal muscle repair; Therapeutic ultrasound

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

DELGADO DIAZ, D. C. (2012). Functional and Molecular Effects of Therapeutic Ultrasound On Skeletal Muscle Repair. (Doctoral Dissertation). University of South Carolina. Retrieved from https://scholarcommons.sc.edu/etd/1204

Chicago Manual of Style (16th Edition):

DELGADO DIAZ, DIANA CAROLINA. “Functional and Molecular Effects of Therapeutic Ultrasound On Skeletal Muscle Repair.” 2012. Doctoral Dissertation, University of South Carolina. Accessed January 22, 2021. https://scholarcommons.sc.edu/etd/1204.

MLA Handbook (7th Edition):

DELGADO DIAZ, DIANA CAROLINA. “Functional and Molecular Effects of Therapeutic Ultrasound On Skeletal Muscle Repair.” 2012. Web. 22 Jan 2021.

Vancouver:

DELGADO DIAZ DC. Functional and Molecular Effects of Therapeutic Ultrasound On Skeletal Muscle Repair. [Internet] [Doctoral dissertation]. University of South Carolina; 2012. [cited 2021 Jan 22]. Available from: https://scholarcommons.sc.edu/etd/1204.

Council of Science Editors:

DELGADO DIAZ DC. Functional and Molecular Effects of Therapeutic Ultrasound On Skeletal Muscle Repair. [Doctoral Dissertation]. University of South Carolina; 2012. Available from: https://scholarcommons.sc.edu/etd/1204


University of New South Wales

23. Haski, Roberta. Microsomal metabolic activity and DNA repair processes as determinants of carcinogen-induced DNA damage.

Degree: Medicine. Pathology, 1982, University of New South Wales

Subjects/Keywords: DNA repair; Microsomes; Oncology; Thesis Digitisation Program

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Haski, R. (1982). Microsomal metabolic activity and DNA repair processes as determinants of carcinogen-induced DNA damage. (Masters Thesis). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/63993 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:61227/SOURCE01?view=true

Chicago Manual of Style (16th Edition):

Haski, Roberta. “Microsomal metabolic activity and DNA repair processes as determinants of carcinogen-induced DNA damage.” 1982. Masters Thesis, University of New South Wales. Accessed January 22, 2021. http://handle.unsw.edu.au/1959.4/63993 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:61227/SOURCE01?view=true.

MLA Handbook (7th Edition):

Haski, Roberta. “Microsomal metabolic activity and DNA repair processes as determinants of carcinogen-induced DNA damage.” 1982. Web. 22 Jan 2021.

Vancouver:

Haski R. Microsomal metabolic activity and DNA repair processes as determinants of carcinogen-induced DNA damage. [Internet] [Masters thesis]. University of New South Wales; 1982. [cited 2021 Jan 22]. Available from: http://handle.unsw.edu.au/1959.4/63993 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:61227/SOURCE01?view=true.

Council of Science Editors:

Haski R. Microsomal metabolic activity and DNA repair processes as determinants of carcinogen-induced DNA damage. [Masters Thesis]. University of New South Wales; 1982. Available from: http://handle.unsw.edu.au/1959.4/63993 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:61227/SOURCE01?view=true


University of New South Wales

24. Vizesi, Frank. The creation and repair of osteochondral defects and the effect on the opposing surfaces.

Degree: Graduate School of Biomedical Engineering, 2008, University of New South Wales

 The repair of articular cartilage defects is a topic that has received significant focus from both basic science and clinical perspectives. The current gold standard… (more)

Subjects/Keywords: Articular Cartilage; Osteochondral Defect Repair; Thesis Digitisation Program

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Vizesi, F. (2008). The creation and repair of osteochondral defects and the effect on the opposing surfaces. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/43407 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:7091/SOURCE01?view=true

Chicago Manual of Style (16th Edition):

Vizesi, Frank. “The creation and repair of osteochondral defects and the effect on the opposing surfaces.” 2008. Doctoral Dissertation, University of New South Wales. Accessed January 22, 2021. http://handle.unsw.edu.au/1959.4/43407 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:7091/SOURCE01?view=true.

MLA Handbook (7th Edition):

Vizesi, Frank. “The creation and repair of osteochondral defects and the effect on the opposing surfaces.” 2008. Web. 22 Jan 2021.

Vancouver:

Vizesi F. The creation and repair of osteochondral defects and the effect on the opposing surfaces. [Internet] [Doctoral dissertation]. University of New South Wales; 2008. [cited 2021 Jan 22]. Available from: http://handle.unsw.edu.au/1959.4/43407 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:7091/SOURCE01?view=true.

Council of Science Editors:

Vizesi F. The creation and repair of osteochondral defects and the effect on the opposing surfaces. [Doctoral Dissertation]. University of New South Wales; 2008. Available from: http://handle.unsw.edu.au/1959.4/43407 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:7091/SOURCE01?view=true


University of New South Wales

25. Ward, Ewan Janes. Localization within chromatin of DNA damage and repair induced in vivo by a carcinogen.

Degree: Faculty of Medicine, 1985, University of New South Wales

Subjects/Keywords: Carcinogenesis; Chromatin; DNA repair; Thesis Digitisation Program

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ward, E. J. (1985). Localization within chromatin of DNA damage and repair induced in vivo by a carcinogen. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/59626 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:49156/SOURCE01?view=true

Chicago Manual of Style (16th Edition):

Ward, Ewan Janes. “Localization within chromatin of DNA damage and repair induced in vivo by a carcinogen.” 1985. Doctoral Dissertation, University of New South Wales. Accessed January 22, 2021. http://handle.unsw.edu.au/1959.4/59626 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:49156/SOURCE01?view=true.

MLA Handbook (7th Edition):

Ward, Ewan Janes. “Localization within chromatin of DNA damage and repair induced in vivo by a carcinogen.” 1985. Web. 22 Jan 2021.

Vancouver:

Ward EJ. Localization within chromatin of DNA damage and repair induced in vivo by a carcinogen. [Internet] [Doctoral dissertation]. University of New South Wales; 1985. [cited 2021 Jan 22]. Available from: http://handle.unsw.edu.au/1959.4/59626 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:49156/SOURCE01?view=true.

Council of Science Editors:

Ward EJ. Localization within chromatin of DNA damage and repair induced in vivo by a carcinogen. [Doctoral Dissertation]. University of New South Wales; 1985. Available from: http://handle.unsw.edu.au/1959.4/59626 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:49156/SOURCE01?view=true


University of New South Wales

26. Haber, Michelle. Structural analysis by BD-cellulose chromatography of mammalian DNA during repair, replication and degradation.

Degree: Medicine. Pathology, 1984, University of New South Wales

Subjects/Keywords: DNA; DNA repair; Chromatographic analysis; Thesis Digitisation Program

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Haber, M. (1984). Structural analysis by BD-cellulose chromatography of mammalian DNA during repair, replication and degradation. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/68148 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:68950/SOURCE01?view=true

Chicago Manual of Style (16th Edition):

Haber, Michelle. “Structural analysis by BD-cellulose chromatography of mammalian DNA during repair, replication and degradation.” 1984. Doctoral Dissertation, University of New South Wales. Accessed January 22, 2021. http://handle.unsw.edu.au/1959.4/68148 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:68950/SOURCE01?view=true.

MLA Handbook (7th Edition):

Haber, Michelle. “Structural analysis by BD-cellulose chromatography of mammalian DNA during repair, replication and degradation.” 1984. Web. 22 Jan 2021.

Vancouver:

Haber M. Structural analysis by BD-cellulose chromatography of mammalian DNA during repair, replication and degradation. [Internet] [Doctoral dissertation]. University of New South Wales; 1984. [cited 2021 Jan 22]. Available from: http://handle.unsw.edu.au/1959.4/68148 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:68950/SOURCE01?view=true.

Council of Science Editors:

Haber M. Structural analysis by BD-cellulose chromatography of mammalian DNA during repair, replication and degradation. [Doctoral Dissertation]. University of New South Wales; 1984. Available from: http://handle.unsw.edu.au/1959.4/68148 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:68950/SOURCE01?view=true

27. Assiri, Fatmah Yousef. Assessment and improvement of automated program repair mechanisms and components.

Degree: PhD, Computer Science, 2015, Colorado State University

 Automated program repair (APR) refers to techniques that locate and fix software faults automatically. An APR technique locates potentially faulty locations, then it searches the… (more)

Subjects/Keywords: repair quality; automated program repair; repair tests properties; software engineering; and performance; search algorithms; fault localization techniques; APR effectiveness

…1 1.1. Automated Program Repair (APR) Overview… …82 5.6 Benchmark programs to study the impact of repair test suites size. Each Program is… …141 xii List of Figures 1.1 Overall Automated Program Repair (APR) Technique… …promise to reduce debugging costs. 1.1. Automated Program Repair (APR) Overview… …Automated program repair (APR) refers to techniques that automatically locate and fix… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Assiri, F. Y. (2015). Assessment and improvement of automated program repair mechanisms and components. (Doctoral Dissertation). Colorado State University. Retrieved from http://hdl.handle.net/10217/166889

Chicago Manual of Style (16th Edition):

Assiri, Fatmah Yousef. “Assessment and improvement of automated program repair mechanisms and components.” 2015. Doctoral Dissertation, Colorado State University. Accessed January 22, 2021. http://hdl.handle.net/10217/166889.

MLA Handbook (7th Edition):

Assiri, Fatmah Yousef. “Assessment and improvement of automated program repair mechanisms and components.” 2015. Web. 22 Jan 2021.

Vancouver:

Assiri FY. Assessment and improvement of automated program repair mechanisms and components. [Internet] [Doctoral dissertation]. Colorado State University; 2015. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/10217/166889.

Council of Science Editors:

Assiri FY. Assessment and improvement of automated program repair mechanisms and components. [Doctoral Dissertation]. Colorado State University; 2015. Available from: http://hdl.handle.net/10217/166889

28. Samanta, Roopsha. Program reliability through algorithmic design and analysis.

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

 Software systems are ubiquitous in today's world and yet, remain vulnerable to the fallibility of human programmers as well as the unpredictability of their operating… (more)

Subjects/Keywords: Automated program repair; Automated program debugging; Automated program synthesis; Automated synchronization synthesis; Robustness analysis

…2.3 Program Repair: The Problem . . . . . . . . . . . . . . . . . . 2.4 Solution Overview… …3.3.3 Annotation and Repair of Programs with Procedures Chapter 4. Cost-Aware Program Repair… …main steps: (a) automated repair of the Boolean program B using permissible update… …schema to a program statement some user-defined cost, and a repair budget, the framework com12… …putes a repaired program whose total modification cost does not exceed the repair budget; we… 

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Samanta, R. (2013). Program reliability through algorithmic design and analysis. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/23103

Chicago Manual of Style (16th Edition):

Samanta, Roopsha. “Program reliability through algorithmic design and analysis.” 2013. Doctoral Dissertation, University of Texas – Austin. Accessed January 22, 2021. http://hdl.handle.net/2152/23103.

MLA Handbook (7th Edition):

Samanta, Roopsha. “Program reliability through algorithmic design and analysis.” 2013. Web. 22 Jan 2021.

Vancouver:

Samanta R. Program reliability through algorithmic design and analysis. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2013. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/2152/23103.

Council of Science Editors:

Samanta R. Program reliability through algorithmic design and analysis. [Doctoral Dissertation]. University of Texas – Austin; 2013. Available from: http://hdl.handle.net/2152/23103


University of New Mexico

29. Schulte, Eric. Neutral Networks of Real-World Programs and their Application to Automated Software Evolution.

Degree: Department of Computer Science, 2014, University of New Mexico

 The existing software development ecosystem is the product of evolutionary forces, and consequently real-world software is amenable to improvement through automated evolutionary techniques. This dissertation… (more)

Subjects/Keywords: software engineering; search based software engineering; software mutational robustness; mutational robustness; evolutionary computation; genetic algorithm; genetic programming; optimization; automated program repair; automated software engineering; bug repair; fitness landscape; instruction set architecture; neutral network

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Schulte, E. (2014). Neutral Networks of Real-World Programs and their Application to Automated Software Evolution. (Doctoral Dissertation). University of New Mexico. Retrieved from http://hdl.handle.net/1928/25819

Chicago Manual of Style (16th Edition):

Schulte, Eric. “Neutral Networks of Real-World Programs and their Application to Automated Software Evolution.” 2014. Doctoral Dissertation, University of New Mexico. Accessed January 22, 2021. http://hdl.handle.net/1928/25819.

MLA Handbook (7th Edition):

Schulte, Eric. “Neutral Networks of Real-World Programs and their Application to Automated Software Evolution.” 2014. Web. 22 Jan 2021.

Vancouver:

Schulte E. Neutral Networks of Real-World Programs and their Application to Automated Software Evolution. [Internet] [Doctoral dissertation]. University of New Mexico; 2014. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/1928/25819.

Council of Science Editors:

Schulte E. Neutral Networks of Real-World Programs and their Application to Automated Software Evolution. [Doctoral Dissertation]. University of New Mexico; 2014. Available from: http://hdl.handle.net/1928/25819


Université du Luxembourg

30. Ben Abdessalem (helali), Raja. Effective Testing Of Advanced Driver Assistance Systems Using Evolutionary Algorithms And Machine Learning.

Degree: 2019, Université du Luxembourg

 Improving road safety is a major concern for most car manufacturers. In recent years, the development of Advanced Driver Assistance Systems (ADAS) has subsequently seen… (more)

Subjects/Keywords: Search-based Software Engineering; Software Testing; Evolutionary algorithms; Automotive Software Systems; Feature Interaction Problem; Program Repair; Engineering, computing & technology :: Computer science [C05]; Ingénierie, informatique & technologie :: Sciences informatiques [C05]

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ben Abdessalem (helali), R. (2019). Effective Testing Of Advanced Driver Assistance Systems Using Evolutionary Algorithms And Machine Learning. (Doctoral Dissertation). Université du Luxembourg. Retrieved from http://orbilu.uni.lu/handle/10993/39529

Chicago Manual of Style (16th Edition):

Ben Abdessalem (helali), Raja. “Effective Testing Of Advanced Driver Assistance Systems Using Evolutionary Algorithms And Machine Learning.” 2019. Doctoral Dissertation, Université du Luxembourg. Accessed January 22, 2021. http://orbilu.uni.lu/handle/10993/39529.

MLA Handbook (7th Edition):

Ben Abdessalem (helali), Raja. “Effective Testing Of Advanced Driver Assistance Systems Using Evolutionary Algorithms And Machine Learning.” 2019. Web. 22 Jan 2021.

Vancouver:

Ben Abdessalem (helali) R. Effective Testing Of Advanced Driver Assistance Systems Using Evolutionary Algorithms And Machine Learning. [Internet] [Doctoral dissertation]. Université du Luxembourg; 2019. [cited 2021 Jan 22]. Available from: http://orbilu.uni.lu/handle/10993/39529.

Council of Science Editors:

Ben Abdessalem (helali) R. Effective Testing Of Advanced Driver Assistance Systems Using Evolutionary Algorithms And Machine Learning. [Doctoral Dissertation]. Université du Luxembourg; 2019. Available from: http://orbilu.uni.lu/handle/10993/39529

[1] [2]

.