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

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publication2010 Third International Conference on Software Testing, Verification and Validation (ICST 2010)
PublisherInstitute of Electrical and Electronics Engineers
Pages479-488
Publication statusPublished - 2010
EventThird International Conference on Software Testing, Verification and Validation (ICST 2010) - Paris, France
Duration: 6 Apr 201010 Apr 2010

Conference

ConferenceThird International Conference on Software Testing, Verification and Validation (ICST 2010)
CountryFrance
CityParis
Period6/04/1010/04/10

Fields of Expertise

  • Information, Communication & Computing

Cite this

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) (pp. 479-488). Institute of Electrical and Electronics Engineers.