Verification-based software-fault detection
dc.contributor.author | Gladisch, Christoph David | * |
dc.date.accessioned | 2021-02-12T07:32:20Z | |
dc.date.available | 2021-02-12T07:32:20Z | |
dc.date.issued | 2011 | * |
dc.date.submitted | 2019-07-30 20:02:02 | * |
dc.identifier | 35655 | * |
dc.identifier.uri | https://directory.doabooks.org/handle/20.500.12854/61958 | |
dc.description.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. | * |
dc.language | English | * |
dc.subject | QA75.5-76.95 | * |
dc.subject.classification | bic Book Industry Communication::U Computing & information technology::UY Computer science | en_US |
dc.subject.other | Fault Detection | * |
dc.subject.other | Model Generation | * |
dc.subject.other | Theorem Proving | * |
dc.subject.other | Test Generation | * |
dc.subject.other | Dynamic Logic | * |
dc.title | Verification-based software-fault detection | * |
dc.type | book | |
oapen.identifier.doi | 10.5445/KSP/1000023002 | * |
oapen.relation.isPublishedBy | 68fffc18-8f7b-44fa-ac7e-0b7d7d979bd2 | * |
oapen.relation.isbn | 9783866446762 | * |
oapen.pages | XVII, 264 p. | * |
peerreview.review.type | Full text | |
peerreview.anonymity | All identities known | |
peerreview.reviewer.type | Internal editor | |
peerreview.reviewer.type | External peer reviewer | |
peerreview.review.stage | Pre-publication | |
peerreview.open.review | No | |
peerreview.publish.responsibility | Scientific or Editorial Board | |
peerreview.id | 8ad5c235-9810-49eb-b358-27c8675324d9 | |
peerreview.title | Dissertations (Dissertationen) |
Files in this item
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |