%0 Conference Paper %1 conf/iceis/SarmientoLRS14 %A Sarmiento, Edgar %A do Prado Leite, Julio César Sampaio %A de La Rocque Rodriguez, Noemi %A von Staa, Arndt %B ICEIS (2) %D 2014 %E Hammoudi, Slimane %E Maciaszek, Leszek A. %E Cordeiro, José %I SciTePress %K dblp %P 339-347 %T An Automated Approach of Test Case Generation for Concurrent Systems from Requirements Descriptions. %U http://dblp.uni-trier.de/db/conf/iceis/iceis2014-2.html#SarmientoLRS14 %@ 978-989-758-028-4

@inproceedings{conf/iceis/SarmientoLRS14, added-at = {2024-01-10T00:00:00.000+0100}, author = {Sarmiento, Edgar and do Prado Leite, Julio César Sampaio and de La Rocque Rodriguez, Noemi and von Staa, Arndt}, biburl = {https://www.bibsonomy.org/bibtex/2ddf64e33c53bb7c9c17f536faa1b9d8c/dblp}, booktitle = {ICEIS (2)}, crossref = {conf/iceis/2014-2}, editor = {Hammoudi, Slimane and Maciaszek, Leszek A. and Cordeiro, José}, ee = {https://doi.org/10.5220/0004899703390347}, interhash = {2be92a8aa3b69fa096a9a6d9516a16f7}, intrahash = {ddf64e33c53bb7c9c17f536faa1b9d8c}, isbn = {978-989-758-028-4}, keywords = {dblp}, pages = {339-347}, publisher = {SciTePress}, timestamp = {2024-04-10T14:28:52.000+0200}, title = {An Automated Approach of Test Case Generation for Concurrent Systems from Requirements Descriptions.}, url = {http://dblp.uni-trier.de/db/conf/iceis/iceis2014-2.html#SarmientoLRS14}, year = 2014 }