Generating Distinguishing Tests Using the Minion Constraint Solver.

Franz Wotawa, Mihai Nica, Bernhard K. Aichernig

Browse the full ICST paper archive.