Show simple item record

dc.contributor.authorArlt, Stephan
dc.contributor.authorArenis, Sergio Feo
dc.contributor.authorPodelski, Andreas
dc.contributor.authorWehrle, Martin
dc.contributor.editorAßmann, Uwe
dc.contributor.editorDemuth, Birgit
dc.contributor.editorSpitta, Thorsten
dc.contributor.editorPüschel, Georg
dc.contributor.editorKaiser, Ronny
dc.date.accessioned2017-06-30T20:56:06Z
dc.date.available2017-06-30T20:56:06Z
dc.date.issued2015
dc.identifier.isbn978-3-88579-633-6
dc.identifier.issn1617-5468
dc.description.abstractThe 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.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofSoftware-engineering and management 2015
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-239
dc.titleSystem testing and program verificationen
dc.typeText/Conference Paper
dc.pubPlaceBonn
mci.reference.pages71-72
mci.conference.locationDresden
mci.conference.date17.-20. März 2015


Files in this item

Thumbnail

Show simple item record