{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T05:02:09Z","timestamp":1769749329774,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,7,15]],"date-time":"2012-07-15T00:00:00Z","timestamp":1342310400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,7,15]]},"DOI":"10.1145\/2338965.2336773","type":"proceedings-article","created":{"date-parts":[[2012,7,26]],"date-time":"2012-07-26T14:41:14Z","timestamp":1343313674000},"page":"166-176","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":107,"title":["Probabilistic symbolic execution"],"prefix":"10.1145","author":[{"given":"Jaco","family":"Geldenhuys","sequence":"first","affiliation":[{"name":"Stellenbosch University, South Africa"}]},{"given":"Matthew B.","family":"Dwyer","sequence":"additional","affiliation":[{"name":"University of Nebraska-Lincoln, USA"}]},{"given":"Willem","family":"Visser","sequence":"additional","affiliation":[{"name":"Stellenbosch University, South Africa"}]}],"member":"320","published-online":{"date-parts":[[2012,7,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/243846.243857"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070545"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070516"},{"key":"e_1_3_2_1_4_1","volume-title":"Software for exact integration of polynomials over polyhedra. arXiv:1108.0117v2 {math.MG}","author":"De Loera J. A.","year":"2011","unstructured":"J. A. De Loera , B. Dutra , M. K\u00f6ppe , S. Moreinis , G. Pinto , and J. Wu . Software for exact integration of polynomials over polyhedra. arXiv:1108.0117v2 {math.MG} , 2011 . J. A. De Loera, B. Dutra, M. K\u00f6ppe, S. Moreinis, G. Pinto, and J. Wu. Software for exact integration of polynomials over polyhedra. arXiv:1108.0117v2 {math.MG}, 2011."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.92910"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1981.1675827"},{"key":"e_1_3_2_1_8_1","volume-title":"Bonferroni-Type Inequalities with Applications","author":"Galambos J.","year":"1996","unstructured":"J. Galambos and I. Simonelli . Bonferroni-Type Inequalities with Applications . Springer-Verlag , 1996 . J. Galambos and I. Simonelli. Bonferroni-Type Inequalities with Applications. Springer-Verlag, 1996."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831712"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1620405.1620426"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.1656"},{"key":"e_1_3_2_1_12_1","series-title":"Frontiers in Artificial Intelligence and Applications","first-page":"633","volume-title":"Handbook of Satisfiability","author":"Gomes C. P.","year":"2009","unstructured":"C. P. Gomes , A. Sabharwal , and B. Selman . Model counting . In Handbook of Satisfiability , volume 185 of Frontiers in Artificial Intelligence and Applications , pages 633 - 654 . IOS Press , 2009 . C. P. Gomes, A. Sabharwal, and B. Selman. Model counting. In Handbook of Satisfiability, volume 185 of Frontiers in Artificial Intelligence and Applications, pages 633-654. IOS Press, 2009."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_7"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101949"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1765871.1765924"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1137\/060664768"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032352"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985957"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2003.04.003"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02959-2_33"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/2041552.2041563"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/647169.718164"},{"key":"e_1_3_2_1_23_1","first-page":"14","article-title":"pGCL: Formal reasoning for random algorithms","volume":"22","author":"Morgan C. C.","year":"1999","unstructured":"C. C. Morgan and A. K. McIver . pGCL: Formal reasoning for random algorithms . South African Comp Jnl , 22 : 14 - 27 , Mar. 1999 . C. C. Morgan and A. K. McIver. pGCL: Formal reasoning for random algorithms. South African Comp Jnl, 22:14-27, Mar. 1999.","journal-title":"South African Comp Jnl"},{"key":"e_1_3_2_1_24_1","volume-title":"Art of Software Testing","author":"Myers G. J.","year":"1979","unstructured":"G. J. Myers . Art of Software Testing . John Wiley & Sons, Inc. , 1979 . G. J. Myers. Art of Software Testing. John Wiley & Sons, Inc., 1979."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453131"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993558"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859035"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231433"},{"key":"e_1_3_2_1_29_1","first-page":"475","volume-title":"Proceedings of the 20th National Conference on Artificial Intelligence and the 17th Innovative Applications of Artificial Intelligence Conference","author":"Sang T.","year":"2005","unstructured":"T. Sang , P. Beame , and H. A. Kautz . Performing Bayesian inference by weighted model counting . In Proceedings of the 20th National Conference on Artificial Intelligence and the 17th Innovative Applications of Artificial Intelligence Conference , pages 475 - 482 . AAAI Press \/ The MIT Press , July 2005 . T. Sang, P. Beame, and H. A. Kautz. Performing Bayesian inference by weighted model counting. In Proceedings of the 20th National Conference on Artificial Intelligence and the 17th Innovative Applications of Artificial Intelligence Conference, pages 475-482. AAAI Press \/ The MIT Press, July 2005."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/1987434.1987460"},{"key":"e_1_3_2_1_31_1","unstructured":"UC Davis Mathematics. Latte integrale. http:\/\/www.math.ucdavis.edu\/~latte.  UC Davis Mathematics. Latte integrale. http:\/\/www.math.ucdavis.edu\/~latte."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146243"},{"key":"e_1_3_2_1_34_1","unstructured":"R. Williams. Triangle classification problem. http:\/\/russcon.org\/triangle_classification.html.  R. Williams. Triangle classification problem. http:\/\/russcon.org\/triangle_classification.html."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2009.5270315"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100093"}],"event":{"name":"ISSTA '12: International Symposium on Software Testing and Analysis","location":"Minneapolis MN USA","acronym":"ISSTA '12","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2012 International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2338965.2336773","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2338965.2336773","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:21:08Z","timestamp":1750238468000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2338965.2336773"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,15]]},"references-count":36,"alternative-id":["10.1145\/2338965.2336773","10.1145\/2338965"],"URL":"https:\/\/doi.org\/10.1145\/2338965.2336773","relation":{},"subject":[],"published":{"date-parts":[[2012,7,15]]},"assertion":[{"value":"2012-07-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}