@inproceedings{conf/kbse/FilieriPY15,
  added-at = {2016-05-06T00:00:00.000+0200},
  author = {Filieri, Antonio and Pasareanu, Corina S. and Yang, Guowei},
  biburl = {https://www.bibsonomy.org/bibtex/270b43fcadabe8b851ef6d9962b339c0f/dblp},
  booktitle = {ASE},
  crossref = {conf/kbse/2015},
  editor = {Cohen, Myra B. and Grunske, Lars and Whalen, Michael},
  ee = {http://doi.ieeecomputersociety.org/10.1109/ASE.2015.78},
  interhash = {6dfa388e562468fe30313b61eb2d1534},
  intrahash = {70b43fcadabe8b851ef6d9962b339c0f},
  isbn = {978-1-5090-0025-8},
  keywords = {dblp},
  pages = {703-708},
  publisher = {IEEE Computer Society},
  timestamp = {2016-05-07T11:50:54.000+0200},
  title = {Quantification of Software Changes through Probabilistic Symbolic Execution (N).},
  url = {http://dblp.uni-trier.de/db/conf/kbse/ase2015.html#FilieriPY15},
  year = 2015
}

{"_id":"oDoGoKsjtewLiMMfu","bibbaseid":"filieri-pasareanu-yang-quantificationofsoftwarechangesthroughprobabilisticsymbolicexecutionn-2015","authorIDs":[],"author_short":["Filieri, A.","Pasareanu, C. S.","Yang, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2016-05-06T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Filieri"],"firstnames":["Antonio"],"suffixes":[]},{"propositions":[],"lastnames":["Pasareanu"],"firstnames":["Corina","S."],"suffixes":[]},{"propositions":[],"lastnames":["Yang"],"firstnames":["Guowei"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/270b43fcadabe8b851ef6d9962b339c0f/dblp","booktitle":"ASE","crossref":"conf/kbse/2015","editor":[{"propositions":[],"lastnames":["Cohen"],"firstnames":["Myra","B."],"suffixes":[]},{"propositions":[],"lastnames":["Grunske"],"firstnames":["Lars"],"suffixes":[]},{"propositions":[],"lastnames":["Whalen"],"firstnames":["Michael"],"suffixes":[]}],"ee":"http://doi.ieeecomputersociety.org/10.1109/ASE.2015.78","interhash":"6dfa388e562468fe30313b61eb2d1534","intrahash":"70b43fcadabe8b851ef6d9962b339c0f","isbn":"978-1-5090-0025-8","keywords":"dblp","pages":"703-708","publisher":"IEEE Computer Society","timestamp":"2016-05-07T11:50:54.000+0200","title":"Quantification of Software Changes through Probabilistic Symbolic Execution (N).","url":"http://dblp.uni-trier.de/db/conf/kbse/ase2015.html#FilieriPY15","year":"2015","bibtex":"@inproceedings{conf/kbse/FilieriPY15,\n added-at = {2016-05-06T00:00:00.000+0200},\n author = {Filieri, Antonio and Pasareanu, Corina S. and Yang, Guowei},\n biburl = {https://www.bibsonomy.org/bibtex/270b43fcadabe8b851ef6d9962b339c0f/dblp},\n booktitle = {ASE},\n crossref = {conf/kbse/2015},\n editor = {Cohen, Myra B. and Grunske, Lars and Whalen, Michael},\n ee = {http://doi.ieeecomputersociety.org/10.1109/ASE.2015.78},\n interhash = {6dfa388e562468fe30313b61eb2d1534},\n intrahash = {70b43fcadabe8b851ef6d9962b339c0f},\n isbn = {978-1-5090-0025-8},\n keywords = {dblp},\n pages = {703-708},\n publisher = {IEEE Computer Society},\n timestamp = {2016-05-07T11:50:54.000+0200},\n title = {Quantification of Software Changes through Probabilistic Symbolic Execution (N).},\n url = {http://dblp.uni-trier.de/db/conf/kbse/ase2015.html#FilieriPY15},\n year = 2015\n}\n\n","author_short":["Filieri, A.","Pasareanu, C. S.","Yang, G."],"editor_short":["Cohen, M. B.","Grunske, L.","Whalen, M."],"key":"conf/kbse/FilieriPY15","id":"conf/kbse/FilieriPY15","bibbaseid":"filieri-pasareanu-yang-quantificationofsoftwarechangesthroughprobabilisticsymbolicexecutionn-2015","role":"author","urls":{"Link":"http://doi.ieeecomputersociety.org/10.1109/ASE.2015.78","Paper":"http://dblp.uni-trier.de/db/conf/kbse/ase2015.html#FilieriPY15"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/corina?items=1000","creationDate":"2019-05-18T19:26:18.381Z","downloads":0,"keywords":["dblp"],"search_terms":["quantification","software","changes","through","probabilistic","symbolic","execution","filieri","pasareanu","yang"],"title":"Quantification of Software Changes through Probabilistic Symbolic Execution (N).","year":2015,"dataSources":["nk4Sfi2ddzBtdLpRN"]}