@inproceedings{DBLP:conf/iceis/SarmientoLRS14,
  author    = {Edgar Sarmiento and
               Julio Cesar Sampaio do Prado Leite and
               Noemi de La Rocque Rodriguez and
               Arndt von Staa},
  title     = {An Automated Approach of Test Case Generation for Concurrent Systems
               from Requirements Descriptions},
  booktitle = {{ICEIS} 2014 - Proceedings of the 16th International Conference on
               Enterprise Information Systems, Volume 2, Lisbon, Portugal, 27-30
               April, 2014},
  pages     = {339--347},
  year      = {2014},
  crossref  = {DBLP:conf/iceis/2014-2},
  url       = {https://doi.org/10.5220/0004899703390347},
  doi       = {10.5220/0004899703390347},
  timestamp = {Thu, 05 Oct 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iceis/SarmientoLRS14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

{"_id":"AoAYWakPZcQ7R3Kjb","bibbaseid":"sarmiento-dopradoleite-delarocquerodriguez-vonstaa-anautomatedapproachoftestcasegenerationforconcurrentsystemsfromrequirementsdescriptions-2014","downloads":0,"creationDate":"2018-01-31T20:35:26.599Z","title":"An Automated Approach of Test Case Generation for Concurrent Systems from Requirements Descriptions","author_short":["Sarmiento, E.","do Prado Leite, J. C. S.","de La Rocque Rodriguez, N.","von Staa, A."],"year":2014,"bibtype":"inproceedings","biburl":"http://www-di.inf.puc-rio.br/~julio/listadblp.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Edgar"],"propositions":[],"lastnames":["Sarmiento"],"suffixes":[]},{"firstnames":["Julio","Cesar","Sampaio"],"propositions":["do"],"lastnames":["Prado","Leite"],"suffixes":[]},{"firstnames":["Noemi"],"propositions":["de"],"lastnames":["La","Rocque","Rodriguez"],"suffixes":[]},{"firstnames":["Arndt"],"propositions":["von"],"lastnames":["Staa"],"suffixes":[]}],"title":"An Automated Approach of Test Case Generation for Concurrent Systems from Requirements Descriptions","booktitle":"ICEIS 2014 - Proceedings of the 16th International Conference on Enterprise Information Systems, Volume 2, Lisbon, Portugal, 27-30 April, 2014","pages":"339--347","year":"2014","crossref":"DBLP:conf/iceis/2014-2","url":"https://doi.org/10.5220/0004899703390347","doi":"10.5220/0004899703390347","timestamp":"Thu, 05 Oct 2017 01:00:00 +0200","biburl":"http://dblp.org/rec/bib/conf/iceis/SarmientoLRS14","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@inproceedings{DBLP:conf/iceis/SarmientoLRS14,\n author = {Edgar Sarmiento and\n Julio Cesar Sampaio do Prado Leite and\n Noemi de La Rocque Rodriguez and\n Arndt von Staa},\n title = {An Automated Approach of Test Case Generation for Concurrent Systems\n from Requirements Descriptions},\n booktitle = {{ICEIS} 2014 - Proceedings of the 16th International Conference on\n Enterprise Information Systems, Volume 2, Lisbon, Portugal, 27-30\n April, 2014},\n pages = {339--347},\n year = {2014},\n crossref = {DBLP:conf/iceis/2014-2},\n url = {https://doi.org/10.5220/0004899703390347},\n doi = {10.5220/0004899703390347},\n timestamp = {Thu, 05 Oct 2017 01:00:00 +0200},\n biburl = {http://dblp.org/rec/bib/conf/iceis/SarmientoLRS14},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["Sarmiento, E.","do Prado Leite, J. C. S.","de La Rocque Rodriguez, N.","von Staa, A."],"key":"DBLP:conf/iceis/SarmientoLRS14","id":"DBLP:conf/iceis/SarmientoLRS14","bibbaseid":"sarmiento-dopradoleite-delarocquerodriguez-vonstaa-anautomatedapproachoftestcasegenerationforconcurrentsystemsfromrequirementsdescriptions-2014","role":"author","urls":{"Paper":"https://doi.org/10.5220/0004899703390347"},"downloads":0,"html":""},"search_terms":["automated","approach","test","case","generation","concurrent","systems","requirements","descriptions","sarmiento","do prado leite","de la rocque rodriguez","von staa"],"keywords":[],"authorIDs":[],"dataSources":["ZFXCRwzzstty8WMwX"]}