{"id":"https://openalex.org/W2025704776","doi":"https://doi.org/10.1145/2786805.2786832","title":"Iterative distribution-aware sampling for probabilistic symbolic execution","display_name":"Iterative distribution-aware sampling for probabilistic symbolic execution","publication_year":2015,"publication_date":"2015-08-26","ids":{"openalex":"https://openalex.org/W2025704776","doi":"https://doi.org/10.1145/2786805.2786832","mag":"2025704776"},"language":"en","primary_location":{"id":"doi:10.1145/2786805.2786832","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2786805.2786832","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013853717","display_name":"Mateus Borges","orcid":null},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]},{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR","DE"],"is_corresponding":true,"raw_author_name":"Mateus Borges","raw_affiliation_strings":["University of Stuttgart, Germany / Federal University of Pernambuco, Brazil"],"affiliations":[{"raw_affiliation_string":"University of Stuttgart, Germany / Federal University of Pernambuco, Brazil","institution_ids":["https://openalex.org/I25112270","https://openalex.org/I100066346"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083739081","display_name":"Antonio Filieri","orcid":"https://orcid.org/0000-0001-9646-646X"},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Antonio Filieri","raw_affiliation_strings":["University of Stuttgart, Germany"],"affiliations":[{"raw_affiliation_string":"University of Stuttgart, Germany","institution_ids":["https://openalex.org/I100066346"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020353093","display_name":"Marcelo d\u2019Amorim","orcid":"https://orcid.org/0000-0002-1323-8769"},"institutions":[{"id":"https://openalex.org/I25112270","display_name":"Universidade Federal de Pernambuco","ror":"https://ror.org/047908t24","country_code":"BR","type":"education","lineage":["https://openalex.org/I25112270"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Marcelo D'Amorim","raw_affiliation_strings":["Federal University of Pernambuco, Brazil"],"affiliations":[{"raw_affiliation_string":"Federal University of Pernambuco, Brazil","institution_ids":["https://openalex.org/I25112270"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053134485","display_name":"Corina S. P\u0103s\u0103reanu","orcid":"https://orcid.org/0000-0002-5579-6961"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]},{"id":"https://openalex.org/I1280536761","display_name":"Ames Research Center","ror":"https://ror.org/02acart68","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280536761","https://openalex.org/I4210124779"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Corina S. P\u0103s\u0103reanu","raw_affiliation_strings":["Carnegie Mellon University, USA / NASA Ames Research Center, USA","Carnegie Mellon University, USA / NASA Ames Research Center, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA / NASA Ames Research Center, USA","institution_ids":["https://openalex.org/I1280536761","https://openalex.org/I74973139"]},{"raw_affiliation_string":"Carnegie Mellon University, USA / NASA Ames Research Center, USA#TAB#","institution_ids":["https://openalex.org/I1280536761"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5013853717"],"corresponding_institution_ids":["https://openalex.org/I100066346","https://openalex.org/I25112270"],"apc_list":null,"apc_paid":null,"fwci":4.9776,"has_fulltext":false,"cited_by_count":27,"citation_normalized_percentile":{"value":0.94976654,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"866","last_page":"877"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.8213025331497192},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7395278811454773},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6383523941040039},{"id":"https://openalex.org/keywords/probability-distribution","display_name":"Probability distribution","score":0.5615304112434387},{"id":"https://openalex.org/keywords/discretization","display_name":"Discretization","score":0.5521968603134155},{"id":"https://openalex.org/keywords/convergence","display_name":"Convergence (economics)","score":0.4751664996147156},{"id":"https://openalex.org/keywords/sampling","display_name":"Sampling (signal processing)","score":0.469498872756958},{"id":"https://openalex.org/keywords/iterative-method","display_name":"Iterative method","score":0.4164566099643707},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.40960749983787537},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.40354230999946594},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34071654081344604},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.18565663695335388},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1725640892982483},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.0747736394405365}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.8213025331497192},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7395278811454773},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6383523941040039},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.5615304112434387},{"id":"https://openalex.org/C73000952","wikidata":"https://www.wikidata.org/wiki/Q17007827","display_name":"Discretization","level":2,"score":0.5521968603134155},{"id":"https://openalex.org/C2777303404","wikidata":"https://www.wikidata.org/wiki/Q759757","display_name":"Convergence (economics)","level":2,"score":0.4751664996147156},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.469498872756958},{"id":"https://openalex.org/C159694833","wikidata":"https://www.wikidata.org/wiki/Q2321565","display_name":"Iterative method","level":2,"score":0.4164566099643707},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.40960749983787537},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.40354230999946594},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34071654081344604},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18565663695335388},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1725640892982483},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0747736394405365},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","level":2,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.0},{"id":"https://openalex.org/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/2786805.2786832","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2786805.2786832","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.716.8848","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.716.8848","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cin.ufpe.br/%7Edamorim/publications/borges-etal-esecfse2015.pdf","raw_type":"text"},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/33294","is_oa":false,"landing_page_url":"http://hdl.handle.net/10044/1/33294","pdf_url":null,"source":{"id":"https://openalex.org/S4306401396","display_name":"Spiral (Imperial College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I47508984","host_organization_name":"Imperial College London","host_organization_lineage":["https://openalex.org/I47508984"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"877","raw_type":"Conference Paper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G318060070","display_name":null,"funder_award_id":"IBPG-0668-1.03/12","funder_id":"https://openalex.org/F4320323678","funder_display_name":"Funda\u00e7\u00e3o de Amparo \u00e0 Ci\u00eancia e Tecnologia do Estado de Pernambuco"},{"id":"https://openalex.org/G5033414566","display_name":null,"funder_award_id":"CCF- 1319858, CCF-1329278","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320323678","display_name":"Funda\u00e7\u00e3o de Amparo \u00e0 Ci\u00eancia e Tecnologia do Estado de Pernambuco","ror":"https://ror.org/02te5rf52"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W5385147","https://openalex.org/W130710483","https://openalex.org/W1632042597","https://openalex.org/W1668919413","https://openalex.org/W1738124305","https://openalex.org/W1859458367","https://openalex.org/W1975447428","https://openalex.org/W1985093013","https://openalex.org/W1989703131","https://openalex.org/W2012477604","https://openalex.org/W2014894062","https://openalex.org/W2025704776","https://openalex.org/W2043253283","https://openalex.org/W2048025009","https://openalex.org/W2060573639","https://openalex.org/W2073787328","https://openalex.org/W2078988604","https://openalex.org/W2098313482","https://openalex.org/W2101512909","https://openalex.org/W2104044130","https://openalex.org/W2109892325","https://openalex.org/W2130514924","https://openalex.org/W2131695829","https://openalex.org/W2162120832","https://openalex.org/W2295266283","https://openalex.org/W2406252837","https://openalex.org/W3029645440","https://openalex.org/W3101972507","https://openalex.org/W4253606798","https://openalex.org/W4255298020","https://openalex.org/W4292691288","https://openalex.org/W6713796195","https://openalex.org/W6841455387","https://openalex.org/W6842097421","https://openalex.org/W6997079620"],"related_works":["https://openalex.org/W2364741597","https://openalex.org/W1492103595","https://openalex.org/W946352265","https://openalex.org/W3020787026","https://openalex.org/W2334479858","https://openalex.org/W1971388572","https://openalex.org/W2370926798","https://openalex.org/W2793786119","https://openalex.org/W2009776842","https://openalex.org/W1935138604"],"abstract_inverted_index":{"Probabilistic":[0],"symbolic":[1,86,104],"execution":[2,87],"aims":[3],"at":[4],"quantifying":[5],"the":[6,27,32,49,67,103,119,123,131,135,140,143,159,173],"probability":[7],"of":[8,12,66,122,142,168,172],"reaching":[9],"program":[10,16],"events":[11,34],"interest":[13],"assuming":[14],"that":[15,29,137,158],"inputs":[17,28],"follow":[18,98],"given":[19],"probabilistic":[20,85],"distributions.":[21,96],"The":[22],"technique":[23,161],"collects":[24],"constraints":[25,57,92,105],"on":[26,133,153,163],"lead":[30],"to":[31,38,47,71,83],"target":[33],"and":[35,73,93,170],"analyzes":[36],"them":[37],"quantify":[39],"how":[40],"likely":[41],"it":[42],"is":[43,126],"for":[44,88],"an":[45,78],"input":[46,68,95],"satisfy":[48],"constraints.":[50],"Current":[51],"techniques":[52],"either":[53],"handle":[54],"only":[55,59],"linear":[56],"or":[58],"support":[60,84],"continuous":[61,94],"distributions":[62],"using":[63],"a":[64,99],"\u201cdiscretization\u201d":[65],"domain,":[69],"leading":[70],"imprecise":[72],"costly":[74],"results.":[75,174],"We":[76,97],"propose":[77],"iterative":[79],"distribution-aware":[80],"sampling":[81],"approach":[82],"arbitrarily":[89],"complex":[90],"mathematical":[91],"compositional":[100],"approach,":[101],"where":[102],"are":[106],"decomposed":[107],"into":[108],"sub-problems":[109,136],"whose":[110],"solution":[111],"can":[112],"be":[113],"solved":[114],"independently.":[115],"At":[116],"each":[117],"iteration":[118],"convergence":[120],"rate":[121],"com-":[124],"putation":[125],"increased":[127],"by":[128,147],"automatically":[129],"refocusing":[130],"analysis":[132],"estimating":[134],"mostly":[138],"affect":[139],"accuracy":[141,171],"results,":[144],"as":[145],"guided":[146],"three":[148],"different":[149],"ranking":[150],"strategies.":[151],"Experiments":[152],"publicly":[154],"available":[155],"benchmarks":[156],"show":[157],"proposed":[160],"improves":[162],"previous":[164],"approaches":[165],"in":[166],"terms":[167],"scalability":[169]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}