{"_id":"p7rGWQCxNagaSjWZb","bibbaseid":"filieri-pasareanu-visser-geldenhuys-statisticalsymbolicexecutionwithinformedsampling-2015","authorIDs":[],"author_short":["Filieri, A.","Pasareanu, C. S.","Visser, W.","Geldenhuys, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2015-05-04T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Filieri"],"firstnames":["Antonio"],"suffixes":[]},{"propositions":[],"lastnames":["Pasareanu"],"firstnames":["Corina","S."],"suffixes":[]},{"propositions":[],"lastnames":["Visser"],"firstnames":["Willem"],"suffixes":[]},{"propositions":[],"lastnames":["Geldenhuys"],"firstnames":["Jaco"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/28e902e2fcc19d0df456b17c1bfe36e3e/dblp","booktitle":"Software Engineering & Management","crossref":"conf/se/2015","editor":[{"propositions":[],"lastnames":["Aßmann"],"firstnames":["Uwe"],"suffixes":[]},{"propositions":[],"lastnames":["Demuth"],"firstnames":["Birgit"],"suffixes":[]},{"propositions":[],"lastnames":["Spitta"],"firstnames":["Thorsten"],"suffixes":[]},{"propositions":[],"lastnames":["Püschel"],"firstnames":["Georg"],"suffixes":[]},{"propositions":[],"lastnames":["Kaiser"],"firstnames":["Ronny"],"suffixes":[]}],"ee":"https://dl.gi.de/handle/20.500.12116/2089","interhash":"5a591d958ed7054b2f263009a2901cdf","intrahash":"8e902e2fcc19d0df456b17c1bfe36e3e","isbn":"978-3-88579-633-6","keywords":"dblp","pages":"51-52","publisher":"GI","series":"LNI","timestamp":"2018-04-17T11:45:09.000+0200","title":"Statistical Symbolic Execution with Informed Sampling.","url":"http://dblp.uni-trier.de/db/conf/se/se2015.html#FilieriPVG15","volume":"239","year":"2015","bibtex":"@inproceedings{conf/se/FilieriPVG15,\n added-at = {2015-05-04T00:00:00.000+0200},\n author = {Filieri, Antonio and Pasareanu, Corina S. and Visser, Willem and Geldenhuys, Jaco},\n biburl = {https://www.bibsonomy.org/bibtex/28e902e2fcc19d0df456b17c1bfe36e3e/dblp},\n booktitle = {Software Engineering & Management},\n crossref = {conf/se/2015},\n editor = {Aßmann, Uwe and Demuth, Birgit and Spitta, Thorsten and Püschel, Georg and Kaiser, Ronny},\n ee = {https://dl.gi.de/handle/20.500.12116/2089},\n interhash = {5a591d958ed7054b2f263009a2901cdf},\n intrahash = {8e902e2fcc19d0df456b17c1bfe36e3e},\n isbn = {978-3-88579-633-6},\n keywords = {dblp},\n pages = {51-52},\n publisher = {GI},\n series = {LNI},\n timestamp = {2018-04-17T11:45:09.000+0200},\n title = {Statistical Symbolic Execution with Informed Sampling.},\n url = {http://dblp.uni-trier.de/db/conf/se/se2015.html#FilieriPVG15},\n volume = 239,\n year = 2015\n}\n\n","author_short":["Filieri, A.","Pasareanu, C. S.","Visser, W.","Geldenhuys, J."],"editor_short":["Aßmann, U.","Demuth, B.","Spitta, T.","Püschel, G.","Kaiser, R."],"key":"conf/se/FilieriPVG15","id":"conf/se/FilieriPVG15","bibbaseid":"filieri-pasareanu-visser-geldenhuys-statisticalsymbolicexecutionwithinformedsampling-2015","role":"author","urls":{"Link":"https://dl.gi.de/handle/20.500.12116/2089","Paper":"http://dblp.uni-trier.de/db/conf/se/se2015.html#FilieriPVG15"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/corina?items=1000","creationDate":"2019-05-18T19:26:18.545Z","downloads":0,"keywords":["dblp"],"search_terms":["statistical","symbolic","execution","informed","sampling","filieri","pasareanu","visser","geldenhuys"],"title":"Statistical Symbolic Execution with Informed Sampling.","year":2015,"dataSources":["nk4Sfi2ddzBtdLpRN"]}