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

• Autores: Martin Weiglhofer, Franz Wotawa, Elisabeth Jobstl, Bernhard K. Aichernig
• Localización: Third International Conference on Software Testing, Verification, and Validation. ICST 2010. 7-9 April 2010 Paris, France / coord. por Marie-Claude Gaudel, 2010, ISBN 9780769539904, págs. 479-488
• Idioma: inglés
• Texto completo no disponible (Saber más ...)