@inproceedings{rapos2012incremental,
  title={Incremental Test Case Generation for UML-RT Models Using Symbolic Execution},
  author={Rapos, Eric James and Dingel, Juergen},
  booktitle={Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on},
  pages={962--963},
  year={2012},
  organization={IEEE}
}

{"_id":"nBkn8tqFB5JwvHbhM","bibbaseid":"rapos-dingel-incrementaltestcasegenerationforumlrtmodelsusingsymbolicexecution-2012","author_short":["Rapos, E. J.","Dingel, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Incremental Test Case Generation for UML-RT Models Using Symbolic Execution","author":[{"propositions":[],"lastnames":["Rapos"],"firstnames":["Eric","James"],"suffixes":[]},{"propositions":[],"lastnames":["Dingel"],"firstnames":["Juergen"],"suffixes":[]}],"booktitle":"Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on","pages":"962–963","year":"2012","organization":"IEEE","bibtex":"@inproceedings{rapos2012incremental,\n title={Incremental Test Case Generation for UML-RT Models Using Symbolic Execution},\n author={Rapos, Eric James and Dingel, Juergen},\n booktitle={Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on},\n pages={962--963},\n year={2012},\n organization={IEEE}\n}\n\n","author_short":["Rapos, E. J.","Dingel, J."],"key":"rapos2012incremental","id":"rapos2012incremental","bibbaseid":"rapos-dingel-incrementaltestcasegenerationforumlrtmodelsusingsymbolicexecution-2012","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/SZPs7tZjhLB87wYCs","dataSources":["pKvt5K4j2sxekt6cS","tdEBErsAwSssdR59j","aWzM4pDF3AtGzpBgy"],"keywords":[],"search_terms":["incremental","test","case","generation","uml","models","using","symbolic","execution","rapos","dingel"],"title":"Incremental Test Case Generation for UML-RT Models Using Symbolic Execution","year":2012}