Generating Distinguishing Tests using the MINION Constraint Solver

F. Wotawa, M. Nica, and B. K. Aichernig

Abstract:

Reference: F. Wotawa, M. Nica, and B. K. Aichernig. Generating distinguishing tests using the MINION constraint solver. In ICSTW '10: Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops, pages 325-330, Washington, DC, USA, 2010. IEEE Computer Society.