@phdthesis{gladischPhD, author = {Christoph Gladisch}, title = {Verification-based Software-fault Detection}, school = {Karlsruhe Institute of Technology}, year = {2011}, month = feb, abstract = {Software is used in many safety- and security-critical systems. Software development is, however, an error-prone task. In this dissertation new techniques for the detection of software faults (or software "bugs") are described which are based on a formal deductive verification technology. The described techniques take advantage of information obtained during verification and combine verification technology with deductive fault detection and test generation in a very unified way.}, url = {https://publikationen.bibliothek.kit.edu/1000023056} }
Verification-based Software-fault Detection
Author(s): | Christoph Gladisch |
---|---|
School: | Karlsruhe Institute of Technology |
Year: | 2011 |
URL: | https://publikationen.bibliothek.kit.edu/1000023056 |
Abstract
Software is used in many safety- and security-critical systems. Software development is, however, an error-prone task. In this dissertation new techniques for the detection of software faults (or software "bugs") are described which are based on a formal deductive verification technology. The described techniques take advantage of information obtained during verification and combine verification technology with deductive fault detection and test generation in a very unified way.