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

E. Jöbstl, M. Weiglhofer, B. K. Aichernig, and F. Wotawa

Abstract:

Reference: E. Jöbstl, M. Weiglhofer, B. K. Aichernig, and F. Wotawa. When BDDs fail: Conformance testing with symbolic execution and SMT solving. In IEEE 3^rd Int. Conf. on Software Testing, Verification and Validation (ICST 2010), pages 479-488. IEEE Computer Society, 2010.