Login / Signup

Strategies Comparison of Test Generation from UML Using SMT Solver.

Jérôme CantenotFabrice AmbertFabrice Bouquet
Published in: ICST Workshops (2013)
Keyphrases