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 Technology (7160)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	2010 Third International Conference on Software Testing, Verification and Validation (ICST 2010)
Publisher	Institute of Electrical and Electronics Engineers
Pages	479-488
Publication status	Published - 2010
Event	Third International Conference on Software Testing, Verification and Validation: ICST 2010 - Paris, France Duration: 6 Apr 2010 → 10 Apr 2010

Conference

Conference	Third International Conference on Software Testing, Verification and Validation
Country/Territory	France
City	Paris
Period	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., Krenn, W. K. & Aichernig, B.
1/01/08 → 31/12/10
Project: Research project

Cite this

When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving. / Jöbstl, Elisabeth; Weiglhofer, Martin; Aichernig, Bernhard et al.

2010 Third International Conference on Software Testing, Verification and Validation (ICST 2010). Institute of Electrical and Electronics Engineers, 2010. p. 479-488.

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Jöbstl, E, Weiglhofer, M, Aichernig, B & Wotawa, F 2010, When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving. in 2010 Third International Conference on Software Testing, Verification and Validation (ICST 2010). Institute of Electrical and Electronics Engineers, pp. 479-488, Third International Conference on Software Testing, Verification and Validation, Paris, France, 6/04/10.

@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 = "Institute of Electrical and Electronics Engineers",

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 - Institute of Electrical and Electronics Engineers

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

Conference

Fields of Expertise

Projects

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

Cite this