System testing and program verification
| dc.contributor.author | Arlt, Stephan | |
| dc.contributor.author | Arenis, Sergio Feo | |
| dc.contributor.author | Podelski, Andreas | |
| dc.contributor.author | Wehrle, Martin | |
| dc.contributor.editor | Aßmann, Uwe | |
| dc.contributor.editor | Demuth, Birgit | |
| dc.contributor.editor | Spitta, Thorsten | |
| dc.contributor.editor | Püschel, Georg | |
| dc.contributor.editor | Kaiser, Ronny | |
| dc.date.accessioned | 2017-06-30T20:56:06Z | |
| dc.date.available | 2017-06-30T20:56:06Z | |
| dc.date.issued | 2015 | |
| dc.description.abstract | The effectiveness of black-box system testing can be increased by automatic program verification techniques. For example, the redundancy of a test case can be detected by static analysis; the analysis must be applied to a program in the `whitebox' layer of the system under test (e.g., in the setting of GUI testing, to the program which defines the event handlers). We will investigate the question of how automatic program verification techniques can be used to reduce the cost of testing and at the same time provide a guarantee for test coverage. | en |
| dc.identifier.isbn | 978-3-88579-633-6 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Software-engineering and management 2015 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-239 | |
| dc.title | System testing and program verification | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 72 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 71 | |
| gi.conference.date | 17.-20. März 2015 | |
| gi.conference.location | Dresden |
Dateien
Originalbündel
1 - 1 von 1