Iterative distribution-aware sampling for probabilistic symbolic execution. Borges, M., Filieri, A., d'Amorim , M., & Pasareanu, C. S. In Nitto, E. D., Harman, M., & Heymans, P., editors, ESEC/SIGSOFT FSE, pages 866-877, 2015. ACM.
Link
Paper bibtex @inproceedings{conf/sigsoft/BorgesFdP15,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Borges, Mateus and Filieri, Antonio and d'Amorim, Marcelo and Pasareanu, Corina S.},
biburl = {https://www.bibsonomy.org/bibtex/24b982cc0548948fdfcb88e55d0ab2ffd/dblp},
booktitle = {ESEC/SIGSOFT FSE},
crossref = {conf/sigsoft/2015},
editor = {Nitto, Elisabetta Di and Harman, Mark and Heymans, Patrick},
ee = {https://doi.org/10.1145/2786805.2786832},
interhash = {dabad4c0d3ec9dd2ec8c7f400d4d9646},
intrahash = {4b982cc0548948fdfcb88e55d0ab2ffd},
isbn = {978-1-4503-3675-8},
keywords = {dblp},
pages = {866-877},
publisher = {ACM},
timestamp = {2018-11-07T14:04:15.000+0100},
title = {Iterative distribution-aware sampling for probabilistic symbolic execution.},
url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2015.html#BorgesFdP15},
year = 2015
}
Downloads: 0
{"_id":"x5a7NitGXAJj25gLa","bibbaseid":"borges-filieri-damorim-pasareanu-iterativedistributionawaresamplingforprobabilisticsymbolicexecution-2015","authorIDs":[],"author_short":["Borges, M.","Filieri, A.","d'Amorim , M.","Pasareanu, C. S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2018-11-06T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Borges"],"firstnames":["Mateus"],"suffixes":[]},{"propositions":[],"lastnames":["Filieri"],"firstnames":["Antonio"],"suffixes":[]},{"propositions":["d'Amorim"],"lastnames":[],"firstnames":["Marcelo"],"suffixes":[]},{"propositions":[],"lastnames":["Pasareanu"],"firstnames":["Corina","S."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/24b982cc0548948fdfcb88e55d0ab2ffd/dblp","booktitle":"ESEC/SIGSOFT FSE","crossref":"conf/sigsoft/2015","editor":[{"propositions":[],"lastnames":["Nitto"],"firstnames":["Elisabetta","Di"],"suffixes":[]},{"propositions":[],"lastnames":["Harman"],"firstnames":["Mark"],"suffixes":[]},{"propositions":[],"lastnames":["Heymans"],"firstnames":["Patrick"],"suffixes":[]}],"ee":"https://doi.org/10.1145/2786805.2786832","interhash":"dabad4c0d3ec9dd2ec8c7f400d4d9646","intrahash":"4b982cc0548948fdfcb88e55d0ab2ffd","isbn":"978-1-4503-3675-8","keywords":"dblp","pages":"866-877","publisher":"ACM","timestamp":"2018-11-07T14:04:15.000+0100","title":"Iterative distribution-aware sampling for probabilistic symbolic execution.","url":"http://dblp.uni-trier.de/db/conf/sigsoft/fse2015.html#BorgesFdP15","year":"2015","bibtex":"@inproceedings{conf/sigsoft/BorgesFdP15,\n added-at = {2018-11-06T00:00:00.000+0100},\n author = {Borges, Mateus and Filieri, Antonio and d'Amorim, Marcelo and Pasareanu, Corina S.},\n biburl = {https://www.bibsonomy.org/bibtex/24b982cc0548948fdfcb88e55d0ab2ffd/dblp},\n booktitle = {ESEC/SIGSOFT FSE},\n crossref = {conf/sigsoft/2015},\n editor = {Nitto, Elisabetta Di and Harman, Mark and Heymans, Patrick},\n ee = {https://doi.org/10.1145/2786805.2786832},\n interhash = {dabad4c0d3ec9dd2ec8c7f400d4d9646},\n intrahash = {4b982cc0548948fdfcb88e55d0ab2ffd},\n isbn = {978-1-4503-3675-8},\n keywords = {dblp},\n pages = {866-877},\n publisher = {ACM},\n timestamp = {2018-11-07T14:04:15.000+0100},\n title = {Iterative distribution-aware sampling for probabilistic symbolic execution.},\n url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2015.html#BorgesFdP15},\n year = 2015\n}\n\n","author_short":["Borges, M.","Filieri, A.","d'Amorim , M.","Pasareanu, C. S."],"editor_short":["Nitto, E. D.","Harman, M.","Heymans, P."],"key":"conf/sigsoft/BorgesFdP15","id":"conf/sigsoft/BorgesFdP15","bibbaseid":"borges-filieri-damorim-pasareanu-iterativedistributionawaresamplingforprobabilisticsymbolicexecution-2015","role":"author","urls":{"Link":"https://doi.org/10.1145/2786805.2786832","Paper":"http://dblp.uni-trier.de/db/conf/sigsoft/fse2015.html#BorgesFdP15"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/corina?items=1000","creationDate":"2019-05-18T19:26:18.071Z","downloads":0,"keywords":["dblp"],"search_terms":["iterative","distribution","aware","sampling","probabilistic","symbolic","execution","borges","filieri","d'amorim ","pasareanu"],"title":"Iterative distribution-aware sampling for probabilistic symbolic execution.","year":2015,"dataSources":["nk4Sfi2ddzBtdLpRN"]}