Verification-based software-fault detection

@phdthesis{Gladisch2011,
  author    = {Christoph David Gladisch},
  year      = {2011},
  month     = may,
  title     = {Verification-based software-fault detection},
  school    = {Karlsruhe Institute of Technology},
  doi       = {10.5445/KSP/1000023002},
  publisher = {{KIT Scientific Publishing, Karlsruhe}},
  isbn      = {978-3-86644-676-2},
  abstract  = {Software is used in many safety- and security-critical systems.
               Software development is, however, an error-prone task. In this
               work 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.}
}