When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving

Elisabeth Jöbstl; Martin Weiglhofer; Bernhard Aichernig; Franz Wotawa

When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving

Elisabeth Jöbstl, Martin Weiglhofer, Bernhard Aichernig, Franz Wotawa

Institute of Software Engineering and Artificial Intelligence (7160)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	2010 Third International Conference on Software Testing, Verification and Validation (ICST 2010)
Herausgeber (Verlag)	IEEE
Seiten	479-488
Publikationsstatus	Veröffentlicht - 2010
Veranstaltung	3rd International Conference on Software Testing, Verification and Validation: ICST 2010 - Paris, Frankreich Dauer: 6 Apr. 2010 → 10 Apr. 2010

Konferenz

Konferenz	3rd International Conference on Software Testing, Verification and Validation
Land/Gebiet	Frankreich
Ort	Paris
Zeitraum	6/04/10 → 10/04/10

Fields of Expertise

Information, Communication & Computing

EU-MOGENTES - Model-based Generation of Tests for Dependable Embedded Systems
Brandl, H. (Teilnehmer (Co-Investigator)), Krenn, W. K. (Teilnehmer (Co-Investigator)) & Aichernig, B. (Projektleiter (Principal Investigator))
1/01/08 → 31/12/10
Projekt: Forschungsprojekt

Dieses zitieren

@inproceedings{d2ef1c6c0a6d4a22b93b22111aef082c,

title = "When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving",

author = "Elisabeth J{\"o}bstl and Martin Weiglhofer and Bernhard Aichernig and Franz Wotawa",

year = "2010",

language = "English",

pages = "479--488",

booktitle = "2010 Third International Conference on Software Testing, Verification and Validation (ICST 2010)",

publisher = "IEEE",

address = "United States",

note = "Third International Conference on Software Testing, Verification and Validation : ICST 2010 ; Conference date: 06-04-2010 Through 10-04-2010",

}

TY - GEN

T1 - When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving

AU - Jöbstl, Elisabeth

AU - Weiglhofer, Martin

AU - Aichernig, Bernhard

AU - Wotawa, Franz

PY - 2010

Y1 - 2010

M3 - Conference paper

SP - 479

EP - 488

BT - 2010 Third International Conference on Software Testing, Verification and Validation (ICST 2010)

PB - IEEE

T2 - Third International Conference on Software Testing, Verification and Validation

Y2 - 6 April 2010 through 10 April 2010

ER -

When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving

Konferenz

Fields of Expertise

Projekte

EU-MOGENTES - Model-based Generation of Tests for Dependable Embedded Systems

Dieses zitieren