Strategies Comparison of Test Generation from UML Using SMT Solver.

Jrme Cantenot, Fabrice Ambert, Fabrice Bouquet

Browse the full ICST paper archive.