Jérôme Cantenot, Fabrice Ambert, Fabrice Bouquet. Test generation with Satisfiability Modulo Theories solvers in model-based testing. Softw. Test., Verif. Reliab., 24(7):499-531, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.