{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:54:02Z","timestamp":1725620042477},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,7,21]]},"DOI":"10.1145\/1146238.1146263","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T12:53:01Z","timestamp":1153745581000},"page":"215-224","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Automated testing of stochastic systems"],"prefix":"10.1145","author":[{"given":"Hana","family":"\u0160ev\u010d\u00edkov\u00e1","sequence":"first","affiliation":[{"name":"University of Washington, Seattle, WA"}]},{"given":"Alan","family":"Borning","sequence":"additional","affiliation":[{"name":"University of Washington, Seattle, WA"}]},{"given":"David","family":"Socha","sequence":"additional","affiliation":[{"name":"University of Washington, Seattle, WA"}]},{"given":"Wolf-Gideon","family":"Bleek","sequence":"additional","affiliation":[{"name":"University of Hamburg, Hamburg, Germany"}]}],"member":"320","published-online":{"date-parts":[[2006,7,21]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Computer-aided Multivariate Analysis","author":"Afifi A.","year":"2004","unstructured":"A. Afifi , V. A. Clark , and S. May . Computer-aided Multivariate Analysis . Chapman & Hall , fourth edition, 2004 . A. Afifi, V. A. Clark, and S. May. Computer-aided Multivariate Analysis. Chapman & Hall, fourth edition, 2004."},{"key":"e_1_3_2_1_2_1","volume-title":"Extreme programming explained: embrace change","author":"Beck K.","year":"2000","unstructured":"K. Beck . Extreme programming explained: embrace change . Addison-Wesley , Reading, Mass ., 2000 . K. Beck. Extreme programming explained: embrace change. Addison-Wesley, Reading, Mass., 2000."},{"key":"e_1_3_2_1_3_1","volume-title":"Test-Driven Development - By Example","author":"Beck K.","year":"2003","unstructured":"K. Beck . Test-Driven Development - By Example . Addison-Wesley , Reading, Mass ., 2003 . K. Beck. Test-Driven Development - By Example. Addison-Wesley, Reading, Mass., 2003."},{"unstructured":"K. Beck and E. Gamma. Test infected: Programmers love writing tests. http:\/\/junit.sourceforge.net\/doc\/testinfected\/testing.htm. last visited 19-jan-2006.  K. Beck and E. Gamma. Test infected: Programmers love writing tests. http:\/\/junit.sourceforge.net\/doc\/testinfected\/testing.htm. last visited 19-jan-2006.","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","volume-title":"Discrete Choice Analysis: Theory and Application to Travel Demand","author":"Ben-Akiva M.","year":"1987","unstructured":"M. Ben-Akiva and S. R. Lerman . Discrete Choice Analysis: Theory and Application to Travel Demand . The MIT Press , Cambridge, Massachusetts , 1987 . M. Ben-Akiva and S. R. Lerman. Discrete Choice Analysis: Theory and Application to Travel Demand. The MIT Press, Cambridge, Massachusetts, 1987."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.5555\/257734.257769"},{"unstructured":"M. Fowler and M. Foemmel. Continuous integration. Technical report ThoughtWorks http:\/\/martinfowler.com\/articles\/continuousIntegration.html 2006. last visited 22-jan-2006.  M. Fowler and M. Foemmel. Continuous integration. Technical report ThoughtWorks http:\/\/martinfowler.com\/articles\/continuousIntegration.html 2006. last visited 22-jan-2006.","key":"e_1_3_2_1_7_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.5555\/942789.942829"},{"key":"e_1_3_2_1_9_1","volume-title":"LLC","author":"Hunt A.","year":"2003","unstructured":"A. Hunt and D. Thomas . Pragmatic Unit Testing. The Pragmatic Programmers , LLC , 2003 . A. Hunt and D. Thomas. Pragmatic Unit Testing. The Pragmatic Programmers, LLC, 2003."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1145\/281035.281054"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1109\/5.533956"},{"key":"e_1_3_2_1_12_1","volume-title":"A Practical Guide to Testing Object-Oriented Software","author":"McGregor J. D.","year":"2001","unstructured":"J. D. McGregor and D. A. Sykes . A Practical Guide to Testing Object-Oriented Software . Addison-Wesley , 2001 . J. D. McGregor and D. A. Sykes. A Practical Guide to Testing Object-Oriented Software. Addison-Wesley, 2001."},{"key":"e_1_3_2_1_13_1","volume-title":"Introduction to the Theory of Statistics","author":"Mood A.","year":"1974","unstructured":"A. Mood , F. A. Graybill , and D. C. Boes . Introduction to the Theory of Statistics . McGraw-Hill , third edition, 1974 . A. Mood, F. A. Graybill, and D. C. Boes. Introduction to the Theory of Statistics. McGraw-Hill, third edition, 1974."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1145\/1007512.1007520"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1145\/563340.563429"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1016\/S0198-9715(01)00030-8"},{"key":"e_1_3_2_1_17_1","volume-title":"Assessing uncertainty in urban simulations using Bayesian melding. Submitted for publication - draft available from http:\/\/www.urbansim.org\/papers\/BMinUrbansim.pdf","author":"\u0160ev\u010d\u00edkov\u00e1 H.","year":"2006","unstructured":"H. \u0160ev\u010d\u00edkov\u00e1 , A. Raftery , and P. Waddell . Assessing uncertainty in urban simulations using Bayesian melding. Submitted for publication - draft available from http:\/\/www.urbansim.org\/papers\/BMinUrbansim.pdf , 2006 . H. \u0160ev\u010d\u00edkov\u00e1, A. Raftery, and P. Waddell. Assessing uncertainty in urban simulations using Bayesian melding. Submitted for publication - draft available from http:\/\/www.urbansim.org\/papers\/BMinUrbansim.pdf, 2006."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1109\/32.16602"},{"key":"e_1_3_2_1_19_1","volume-title":"Software Engineering","author":"Sommerville I.","year":"2001","unstructured":"I. Sommerville . Software Engineering . Addison-Wesley , Pearson Education Limited, England, sixth edition, 2001 . I. Sommerville. Software Engineering. Addison-Wesley, Pearson Education Limited, England, sixth edition, 2001."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1017\/CBO9780511753930"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1080\/01944360208976274"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1023\/A:1022049000877"},{"key":"e_1_3_2_1_23_1","volume-title":"Computers in Urban Planning and Urban Management Conference","author":"Waddell P.","year":"2005","unstructured":"P. Waddell , H. \u0160ev\u010d\u00edkov\u00e1 , D. Socha , E. Miller , and K. Nagel . Opus: An open platform for urban simulation . Presented at the Computers in Urban Planning and Urban Management Conference , London , June 2005 . Available from www.urbansim.org\/papers. P. Waddell, H. \u0160ev\u010d\u00edkov\u00e1, D. Socha, E. Miller, and K. Nagel. Opus: An open platform for urban simulation. Presented at the Computers in Urban Planning and Urban Management Conference, London, June 2005. Available from www.urbansim.org\/papers."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1145\/103418.103468"}],"event":{"sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"acronym":"ISSTA06","name":"ISSTA06: International Symposium on Software Testing and Analysis 2006","location":"Portland Maine USA"},"container-title":["Proceedings of the 2006 international symposium on Software testing and analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1146238.1146263","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,12]],"date-time":"2023-01-12T03:28:13Z","timestamp":1673494093000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1146238.1146263"}},"subtitle":["a statistically grounded approach"],"short-title":[],"issued":{"date-parts":[[2006,7,21]]},"references-count":24,"alternative-id":["10.1145\/1146238.1146263","10.1145\/1146238"],"URL":"https:\/\/doi.org\/10.1145\/1146238.1146263","relation":{},"subject":[],"published":{"date-parts":[[2006,7,21]]},"assertion":[{"value":"2006-07-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}