Learning to Find Bugs in Programs and their Documentation

Learning to Find Bugs in Programs and their Documentation

Although software is pervasive, almost all programs suffer from bugs and errors. To detect software bugs, developers use various techniques such as static analysis, dynamic analysis, and model checking. However, none of these techniques is bulletproof. This dissertation argues that learning from...

Full description

Bibliographic Details
Main Author: Habib, Andrew
Format: Others
Language:en
Published: 2021
Online Access:https://tuprints.ulb.tu-darmstadt.de/17377/1/Andrew_Habib_PhD_Dissertation.pdf
Habib, Andrew <http://tuprints.ulb.tu-darmstadt.de/view/person/Habib=3AAndrew=3A=3A.html> (2021): Learning to Find Bugs in Programs and their Documentation. (Publisher's Version)Darmstadt, Technische Universität, DOI: 10.26083/tuprints-00017377 <https://doi.org/10.26083/tuprints-00017377>, [Ph.D. Thesis]

Internet

https://tuprints.ulb.tu-darmstadt.de/17377/1/Andrew_Habib_PhD_Dissertation.pdf
Habib, Andrew <http://tuprints.ulb.tu-darmstadt.de/view/person/Habib=3AAndrew=3A=3A.html> (2021): Learning to Find Bugs in Programs and their Documentation. (Publisher's Version)Darmstadt, Technische Universität, DOI: 10.26083/tuprints-00017377 <https://doi.org/10.26083/tuprints-00017377>, [Ph.D. Thesis]

Similar Items