@inproceedings{conf/nfm/QiuKPWY18,
  added-at = {2018-05-03T00:00:00.000+0200},
  author = {Qiu, Rui and Khurshid, Sarfraz and Pasareanu, Corina S. and Wen, Junye and Yang, Guowei},
  biburl = {https://www.bibsonomy.org/bibtex/228a42a12240e3fb014ed8279f3b646b1/dblp},
  booktitle = {NFM},
  crossref = {conf/nfm/2018},
  editor = {Dutle, Aaron and Muñoz, César A. and Narkawicz, Anthony},
  ee = {https://doi.org/10.1007/978-3-319-77935-5_28},
  interhash = {b9c32d578c029cd82ccc9d6135f53b40},
  intrahash = {28a42a12240e3fb014ed8279f3b646b1},
  isbn = {978-3-319-77935-5},
  keywords = {dblp},
  pages = {416-434},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2019-05-15T14:10:47.000+0200},
  title = {Using Test Ranges to Improve Symbolic Execution.},
  url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2018.html#QiuKPWY18},
  volume = 10811,
  year = 2018
}

{"_id":"uWZjnFZ4waxGXLmeH","bibbaseid":"qiu-khurshid-pasareanu-wen-yang-usingtestrangestoimprovesymbolicexecution-2018","authorIDs":[],"author_short":["Qiu, R.","Khurshid, S.","Pasareanu, C. S.","Wen, J.","Yang, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2018-05-03T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Qiu"],"firstnames":["Rui"],"suffixes":[]},{"propositions":[],"lastnames":["Khurshid"],"firstnames":["Sarfraz"],"suffixes":[]},{"propositions":[],"lastnames":["Pasareanu"],"firstnames":["Corina","S."],"suffixes":[]},{"propositions":[],"lastnames":["Wen"],"firstnames":["Junye"],"suffixes":[]},{"propositions":[],"lastnames":["Yang"],"firstnames":["Guowei"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/228a42a12240e3fb014ed8279f3b646b1/dblp","booktitle":"NFM","crossref":"conf/nfm/2018","editor":[{"propositions":[],"lastnames":["Dutle"],"firstnames":["Aaron"],"suffixes":[]},{"propositions":[],"lastnames":["Muñoz"],"firstnames":["César","A."],"suffixes":[]},{"propositions":[],"lastnames":["Narkawicz"],"firstnames":["Anthony"],"suffixes":[]}],"ee":"https://doi.org/10.1007/978-3-319-77935-5_28","interhash":"b9c32d578c029cd82ccc9d6135f53b40","intrahash":"28a42a12240e3fb014ed8279f3b646b1","isbn":"978-3-319-77935-5","keywords":"dblp","pages":"416-434","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2019-05-15T14:10:47.000+0200","title":"Using Test Ranges to Improve Symbolic Execution.","url":"http://dblp.uni-trier.de/db/conf/nfm/nfm2018.html#QiuKPWY18","volume":"10811","year":"2018","bibtex":"@inproceedings{conf/nfm/QiuKPWY18,\n added-at = {2018-05-03T00:00:00.000+0200},\n author = {Qiu, Rui and Khurshid, Sarfraz and Pasareanu, Corina S. and Wen, Junye and Yang, Guowei},\n biburl = {https://www.bibsonomy.org/bibtex/228a42a12240e3fb014ed8279f3b646b1/dblp},\n booktitle = {NFM},\n crossref = {conf/nfm/2018},\n editor = {Dutle, Aaron and Muñoz, César A. and Narkawicz, Anthony},\n ee = {https://doi.org/10.1007/978-3-319-77935-5_28},\n interhash = {b9c32d578c029cd82ccc9d6135f53b40},\n intrahash = {28a42a12240e3fb014ed8279f3b646b1},\n isbn = {978-3-319-77935-5},\n keywords = {dblp},\n pages = {416-434},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-05-15T14:10:47.000+0200},\n title = {Using Test Ranges to Improve Symbolic Execution.},\n url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2018.html#QiuKPWY18},\n volume = 10811,\n year = 2018\n}\n\n","author_short":["Qiu, R.","Khurshid, S.","Pasareanu, C. S.","Wen, J.","Yang, G."],"editor_short":["Dutle, A.","Muñoz, C. A.","Narkawicz, A."],"key":"conf/nfm/QiuKPWY18","id":"conf/nfm/QiuKPWY18","bibbaseid":"qiu-khurshid-pasareanu-wen-yang-usingtestrangestoimprovesymbolicexecution-2018","role":"author","urls":{"Link":"https://doi.org/10.1007/978-3-319-77935-5_28","Paper":"http://dblp.uni-trier.de/db/conf/nfm/nfm2018.html#QiuKPWY18"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/corina?items=1000","creationDate":"2019-05-18T19:26:18.213Z","downloads":0,"keywords":["dblp"],"search_terms":["using","test","ranges","improve","symbolic","execution","qiu","khurshid","pasareanu","wen","yang"],"title":"Using Test Ranges to Improve Symbolic Execution.","year":2018,"dataSources":["nk4Sfi2ddzBtdLpRN"]}