[IEEE 2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops - Strategies Comparison of Test Generation from UML Using SMT Solver
Cantenot, Jerome, Ambert, Fabrice, Bouquet, FabriceYear:
2013
Language:
english
DOI:
10.1109/ICSTW.2013.71
File:
PDF, 173 KB
english, 2013