@inproceedings{rapos2015using,
  title={Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases},
  author={Rapos, Eric J and Dingel, Juergen},
  booktitle={Software Testing, Verification and Validation (ICST), 2015 IEEE 8th International Conference on},
  pages={1--10},
  year={2015},
  organization={IEEE}
}

{"_id":"oyzTZBucsZbMuYPuy","bibbaseid":"rapos-dingel-usingfuzzylogicandsymbolicexecutiontoprioritizeumlrttestcases-2015","author_short":["Rapos, E. J","Dingel, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases","author":[{"propositions":[],"lastnames":["Rapos"],"firstnames":["Eric","J"],"suffixes":[]},{"propositions":[],"lastnames":["Dingel"],"firstnames":["Juergen"],"suffixes":[]}],"booktitle":"Software Testing, Verification and Validation (ICST), 2015 IEEE 8th International Conference on","pages":"1–10","year":"2015","organization":"IEEE","bibtex":"@inproceedings{rapos2015using,\n title={Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases},\n author={Rapos, Eric J and Dingel, Juergen},\n booktitle={Software Testing, Verification and Validation (ICST), 2015 IEEE 8th International Conference on},\n pages={1--10},\n year={2015},\n organization={IEEE}\n}\n\n","author_short":["Rapos, E. J","Dingel, J."],"key":"rapos2015using","id":"rapos2015using","bibbaseid":"rapos-dingel-usingfuzzylogicandsymbolicexecutiontoprioritizeumlrttestcases-2015","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/SZPs7tZjhLB87wYCs","dataSources":["pKvt5K4j2sxekt6cS","tdEBErsAwSssdR59j","aWzM4pDF3AtGzpBgy"],"keywords":[],"search_terms":["using","fuzzy","logic","symbolic","execution","prioritize","uml","test","cases","rapos","dingel"],"title":"Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases","year":2015}