Jéroôe Cantenot, Fabrice Ambert, Fabrice Bouquet. Strategies Comparison of Test Generation from UML Using SMT Solver. In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013. pages 224-229, IEEE, 2013. [doi]
Abstract is missing.