Verification-based Software-fault Detection

PhD Thesis

Author(s):Christoph Gladisch
School:Karlsruhe Institute of Technology
Year:2011
URL:http://digbib.ubka.uni-karlsruhe.de/volltexte/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.

BibTeX

@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    = {http://digbib.ubka.uni-karlsruhe.de/volltexte/1000023056}
}