%0 Journal Article %1 journals/stvr/CantenotAB14 %A Cantenot, Jérôme %A Ambert, Fabrice %A Bouquet, Fabrice %D 2014 %J Softw. Test. Verification Reliab. %K dblp %N 7 %P 499-531 %T Test generation with Satisfiability Modulo Theories solvers in model-based testing. %U http://dblp.uni-trier.de/db/journals/stvr/stvr24.html#CantenotAB14 %V 24

@article{journals/stvr/CantenotAB14, added-at = {2020-04-01T00:00:00.000+0200}, author = {Cantenot, Jérôme and Ambert, Fabrice and Bouquet, Fabrice}, biburl = {https://www.bibsonomy.org/bibtex/2e2d8992a7217e0da7ce37c709d07dca7/dblp}, ee = {https://doi.org/10.1002/stvr.1537}, interhash = {a2606c0604c6982d2e2379e2c46c058b}, intrahash = {e2d8992a7217e0da7ce37c709d07dca7}, journal = {Softw. Test. Verification Reliab.}, keywords = {dblp}, number = 7, pages = {499-531}, timestamp = {2020-04-02T12:07:39.000+0200}, title = {Test generation with Satisfiability Modulo Theories solvers in model-based testing.}, url = {http://dblp.uni-trier.de/db/journals/stvr/stvr24.html#CantenotAB14}, volume = 24, year = 2014 }