乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:07:36Z","timestamp":1725793656836},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","funder":[{"name":"FACEPE","award":["IBPG-0668-1.03\/12"]},{"DOI":"10.13039\/100000143","name":"Division of Computing and Communication Foundations","doi-asserted-by":"publisher","award":["CCF-1329278, CCF-1319858"],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,6,9]]},"DOI":"10.1145\/2594291.2594329","type":"proceedings-article","created":{"date-parts":[[2014,5,13]],"date-time":"2014-05-13T08:18:34Z","timestamp":1399969114000},"page":"123-132","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["Compositional solution space quantification for probabilistic software analysis"],"prefix":"10.1145","author":[{"given":"Mateus","family":"Borges","sequence":"first","affiliation":[{"name":"Federal University of Pernambuco, Brazil"}]},{"given":"Antonio","family":"Filieri","sequence":"additional","affiliation":[{"name":"University of Stuttgart, Germany"}]},{"given":"Marcelo","family":"d'Amorim","sequence":"additional","affiliation":[{"name":"Federal University of Pernambuco, Brazil"}]},{"given":"Corina S.","family":"P\u0103s\u0103reanu","sequence":"additional","affiliation":[{"name":"CMU SV\/NASA Ames Research Center"}]},{"given":"Willem","family":"Visser","sequence":"additional","affiliation":[{"name":"University of Stellenbosch, South Africa"}]}],"member":"320","published-online":{"date-parts":[[2014,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Mathematica NIntegrate 2013. http:\/\/reference.wolfram.com\/mathematica\/ref\/NIntegrate.html. Mathematica NIntegrate 2013. http:\/\/reference.wolfram.com\/mathematica\/ref\/NIntegrate.html."},{"key":"e_1_3_2_1_2_1","unstructured":"VolComp 2013. http:\/\/systems.cs.colorado.edu\/research\/cyberphysical\/probabilistic-program-analysis\/. VolComp 2013. http:\/\/systems.cs.colorado.edu\/research\/cyberphysical\/probabilistic-program-analysis\/."},{"key":"e_1_3_2_1_3_1","volume-title":"Verified Software: Theories, Tools and Experiments (VSTTE'13)","author":"Adje A.","year":"2013","unstructured":"A. Adje , O. Bouissou , E. Goubault , J. Goubault-Larrecq , and S. Putot . Static analysis of programs with imprecise probabilistic inputs . In Verified Software: Theories, Tools and Experiments (VSTTE'13) , 2013 . A. Adje, O. Bouissou, E. Goubault, J. Goubault-Larrecq, and S. Putot. Static analysis of programs with imprecise probabilistic inputs. In Verified Software: Theories, Tools and Experiments (VSTTE'13), 2013."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.362"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-011-0182-8"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1455518.1455522"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233817"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90091-9"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2110170.2110175"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486870"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336773"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1132973.1132980"},{"key":"e_1_3_2_1_15_1","volume-title":"Fundamentals of mathematical analysis","author":"Haggarty R.","year":"1989","unstructured":"R. Haggarty . Fundamentals of mathematical analysis . Addison-Wesley New York , 1989 . R. Haggarty. Fundamentals of mathematical analysis. Addison-Wesley New York, 1989."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/11691372_29"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1088\/0034-4885\/43\/9\/002"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","DOI":"10.1002\/9781118014967","volume-title":"Handbook of Monte Carlo Methods","author":"Kroese D. P.","year":"2011","unstructured":"D. P. Kroese , T. Taimre , and Z. I. Botev . Handbook of Monte Carlo Methods , volume 706 . John Wiley & Sons , 2011 . D. P. Kroese, T. Taimre, and Z. I. Botev. Handbook of Monte Carlo Methods, volume 706. John Wiley & Sons, 2011."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287688"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/355637.355640"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360211"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/SMC-IT.2009.18"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-013-0122-2"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486868"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","DOI":"10.1515\/9783110208535","volume-title":"Mathematical Statistics. De Gruyter","author":"Pestman W.","year":"2009","unstructured":"W. Pestman . Mathematical Statistics. De Gruyter , 2009 . W. Pestman. Mathematical Statistics. De Gruyter, 2009."},{"key":"e_1_3_2_1_27_1","volume-title":"Numerical Recipes: The Art of Scientific Computing","author":"Press W. H.","year":"2007","unstructured":"W. H. Press , S. A. Teukolsky , W. T. Vetterling , and B. P. Flannery . Numerical Recipes: The Art of Scientific Computing . Cambridge University Press , 3 edition, 2007 . W. H. Press, S. A. Teukolsky, W. T. Vetterling, and B. P. Flannery. Numerical Recipes: The Art of Scientific Computing. Cambridge University Press, 3 edition, 2007."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859035"},{"key":"e_1_3_2_1_29_1","volume-title":"Monte Carlo Statistical Methods","author":"Robert C. P.","year":"2005","unstructured":"C. P. Robert and G. Casella . Monte Carlo Statistical Methods . Springer-Verlag New York, Inc. , 2005 . C. P. Robert and G. Casella. Monte Carlo Statistical Methods. Springer-Verlag New York, Inc., 2005."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462179"},{"key":"e_1_3_2_1_31_1","first-page":"134","volume-title":"TAP","author":"Tillmann N.","year":"2008","unstructured":"N. Tillmann and J. de Halleux . Pex-white box test generation for .net . In TAP , pages 134 -- 153 , 2008 . N. Tillmann and J. de Halleux. Pex-white box test generation for .net. In TAP, pages 134--153, 2008."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185665"}],"event":{"name":"PLDI '14: ACM SIGPLAN Conference on Programming Language Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","NSF"],"location":"Edinburgh United Kingdom","acronym":"PLDI '14"},"container-title":["Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2594291.2594329","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T15:53:56Z","timestamp":1693842836000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2594291.2594329"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,9]]},"references-count":32,"alternative-id":["10.1145\/2594291.2594329","10.1145\/2594291"],"URL":"https:\/\/doi.org\/10.1145\/2594291.2594329","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2666356.2594329","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2014,6,9]]},"assertion":[{"value":"2014-06-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}