| dc.contributor.author | Weißleder, Stephan | |
| dc.contributor.editor | Hegering, Heinz-Gerd | |
| dc.contributor.editor | Lehmann, Axel | |
| dc.contributor.editor | Ohlbach, Hans Jürgen | |
| dc.contributor.editor | Scheideler, Christian | |
| dc.date.accessioned | 2019-04-03T12:59:56Z | |
| dc.date.available | 2019-04-03T12:59:56Z | |
| dc.date.issued | 2008 | |
| dc.identifier.isbn | 978-3-88579-227-7 | |
| dc.identifier.issn | 1617-5468 | |
| dc.identifier.uri | http://dl.gi.de/handle/20.500.12116/21357 | |
| dc.description.abstract | In this paper, we deal with input partition-oriented, model-based test suite generation. We extend existing control-flow-based coverage criteria, describe corre-sponding tool support, and present an exemplary evaluation based on mutation analysis. All explanations are substantiated by an example of a freight elevator. | en |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e. V. | |
| dc.relation.ispartof | INFORMATIK 2008. Beherrschbare Systeme – dank Informatik. Band 1 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-133 | |
| dc.title | Partition-Oriented Test Generation | en |
| dc.type | Text/Conference Paper | |
| dc.pubPlace | Bonn | |
| mci.reference.pages | 199-204 | |
| mci.conference.sessiontitle | Regular Research Papers | |
| mci.conference.location | München | |
| mci.conference.date | 8. -13. September 2008 | |
