%0 Conference Paper %1 conf/smc/CartaxoNM07 %A Cartaxo, Emanuela Gadelha %A Neto, Francisco G. Oliveira %A Machado, Patrícia D. L. %B SMC %D 2007 %I IEEE %K dblp %P 1292-1297 %T Test case generation by means of UML sequence diagrams and labeled transition systems. %U http://dblp.uni-trier.de/db/conf/smc/smc2007.html#CartaxoNM07 %@ 978-1-4244-0991-4

@inproceedings{conf/smc/CartaxoNM07, added-at = {2017-05-17T00:00:00.000+0200}, author = {Cartaxo, Emanuela Gadelha and Neto, Francisco G. Oliveira and Machado, Patrícia D. L.}, biburl = {https://www.bibsonomy.org/bibtex/2681eb4e788767cc70356e1aaa19c9270/dblp}, booktitle = {SMC}, crossref = {conf/smc/2007}, ee = {https://doi.org/10.1109/ICSMC.2007.4414060}, interhash = {63a8e494d125388b594f58991667b626}, intrahash = {681eb4e788767cc70356e1aaa19c9270}, isbn = {978-1-4244-0991-4}, keywords = {dblp}, pages = {1292-1297}, publisher = {IEEE}, timestamp = {2019-10-17T22:29:21.000+0200}, title = {Test case generation by means of UML sequence diagrams and labeled transition systems.}, url = {http://dblp.uni-trier.de/db/conf/smc/smc2007.html#CartaxoNM07}, year = 2007 }