@article{ dblp1880621,
  title = {Path exploration based on symbolic output},
  author = {Dawei Qi and Hoang D. T. Nguyen and Abhik Roychoudhury},
  author_short = {Qi, D. and Nguyen, H. D. T. and Roychoudhury, A.},
  bibtype = {article},
  type = {article},
  year = {2013},
  key = {dblp1880621},
  id = {dblp1880621},
  biburl = {http://www.dblp.org/rec/bibtex/journals/tosem/QiNR13},
  url = {http://doi.acm.org/10.1145/2522920.2522925},
  journal = {ACM Trans. Softw. Eng. Methodol. (TOSEM)},
  pages = {32},
  number = {4},
  volume = {22},
  text = {ACM Trans. Softw. Eng. Methodol. (TOSEM) 22(4):32 (2013)}
}

{"_id":"cQeBZsJfe2hb2wq7D","bibbaseid":"qi-nguyen-roychoudhury-pathexplorationbasedonsymbolicoutput-2013","downloads":0,"creationDate":"2015-06-12T22:13:31.690Z","title":"Path exploration based on symbolic output","author_short":["Qi, D.","Nguyen, H. D. T.","Roychoudhury, A."],"year":2013,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/tosem/QiNR13","bibdata":{"title":"Path exploration based on symbolic output","author":["Dawei Qi","Hoang D. T. Nguyen","Abhik Roychoudhury"],"author_short":["Qi, D.","Nguyen, H. D. T.","Roychoudhury, A."],"bibtype":"article","type":"article","year":"2013","key":"dblp1880621","id":"dblp1880621","biburl":"http://www.dblp.org/rec/bibtex/journals/tosem/QiNR13","url":"http://doi.acm.org/10.1145/2522920.2522925","journal":"ACM Trans. Softw. Eng. Methodol. (TOSEM)","pages":"32","number":"4","volume":"22","text":"ACM Trans. Softw. Eng. Methodol. (TOSEM) 22(4):32 (2013)","bibtex":"@article{ dblp1880621,\n title = {Path exploration based on symbolic output},\n author = {Dawei Qi and Hoang D. T. Nguyen and Abhik Roychoudhury},\n author_short = {Qi, D. and Nguyen, H. D. T. and Roychoudhury, A.},\n bibtype = {article},\n type = {article},\n year = {2013},\n key = {dblp1880621},\n id = {dblp1880621},\n biburl = {http://www.dblp.org/rec/bibtex/journals/tosem/QiNR13},\n url = {http://doi.acm.org/10.1145/2522920.2522925},\n journal = {ACM Trans. Softw. Eng. Methodol. (TOSEM)},\n pages = {32},\n number = {4},\n volume = {22},\n text = {ACM Trans. Softw. Eng. Methodol. (TOSEM) 22(4):32 (2013)}\n}","bibbaseid":"qi-nguyen-roychoudhury-pathexplorationbasedonsymbolicoutput-2013","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/2522920.2522925"},"downloads":0},"search_terms":["path","exploration","based","symbolic","output","qi","nguyen","roychoudhury"],"keywords":[],"authorIDs":[],"dataSources":["3ANxmedkGPmw4FXfY"]}