{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,25]],"date-time":"2026-01-25T13:08:10Z","timestamp":1769346490340,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,9,3]],"date-time":"2007-09-03T00:00:00Z","timestamp":1188777600000},"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":[[2007,9,3]]},"DOI":"10.1145\/1295074.1295084","type":"proceedings-article","created":{"date-parts":[[2007,10,15]],"date-time":"2007-10-15T12:45:05Z","timestamp":1192452305000},"page":"46-54","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Testing randomized software by means of statistical hypothesis tests"],"prefix":"10.1145","author":[{"given":"Ralph","family":"Guderlei","sequence":"first","affiliation":[{"name":"Ulm University, Ulm, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johannes","family":"Mayer","sequence":"additional","affiliation":[{"name":"Ulm University, Ulm, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Schneckenburger","sequence":"additional","affiliation":[{"name":"Ulm University, Ulm, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Fleischer","sequence":"additional","affiliation":[{"name":"Boehringer-Ingelheim Pharma GmbH & Co. KG, Biberach, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,9,3]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Apache Software Foundation. Apache Commons Math homepage. http:\/\/jakarta.apache.org\/commons\/math.  Apache Software Foundation. Apache Commons Math homepage. http:\/\/jakarta.apache.org\/commons\/math."},{"key":"e_1_3_2_1_3_1","volume-title":"Testing Object-Oriented Systems","author":"Binder R. V.","year":"1999","unstructured":"R. V. Binder . Testing Object-Oriented Systems . Addison-Wesley , 1999 . R. V. Binder. Testing Object-Oriented Systems. Addison-Wesley, 1999."},{"key":"e_1_3_2_1_4_1","volume-title":"On random testing and test oracles in the context of credit risk. Diploma thesis","author":"Bohrmann J.","year":"2006","unstructured":"J. Bohrmann . On random testing and test oracles in the context of credit risk. Diploma thesis , Faculty of Computer Science, Ulm University , 2006 . J. Bohrmann. On random testing and test oracles in the context of credit risk. Diploma thesis, Faculty of Computer Science, Ulm University, 2006."},{"key":"e_1_3_2_1_5_1","volume-title":"Statistical Inference","author":"Casella G.","year":"2002","unstructured":"G. Casella and R. L. Berger . Statistical Inference . Wadsworth Group , Duxbury, CA, USA , 2002 . G. Casella and R. L. Berger. Statistical Inference. Wadsworth Group, Duxbury, CA, USA, 2002."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/645777.668440"},{"key":"e_1_3_2_1_7_1","volume-title":"Simulation of typical Cox--Voronoi cells with a special regard to implementation tests. Mathematical Methods of Operations Research (ZOR), 62(3):357--373","author":"Gloaguen C.","year":"2005","unstructured":"C. Gloaguen , F. Fleischer , H. Schmidt , and V. Schmidt . Simulation of typical Cox--Voronoi cells with a special regard to implementation tests. Mathematical Methods of Operations Research (ZOR), 62(3):357--373 , 2005 . C. Gloaguen, F. Fleischer, H. Schmidt, and V. Schmidt. Simulation of typical Cox--Voronoi cells with a special regard to implementation tests. Mathematical Methods of Operations Research (ZOR), 62(3):357--373, 2005."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11235-006-6723-3"},{"key":"e_1_3_2_1_9_1","first-page":"25","volume-title":"Proceedings of the 6th International Conference on Stereology, Spatial Statistics and Stochastic Geometry","author":"Gloaguen C.","year":"2006","unstructured":"C. Gloaguen , F. Fleischer , H. Schmidt , and V. Schmidt . Modelling and simulation of telecommunication networks: Analysis of mean shortest path lengths. In R. Lechnerova, I. Saxl, and V. Benes, editors , Proceedings of the 6th International Conference on Stereology, Spatial Statistics and Stochastic Geometry , pages 25 -- 36 . Union of Czech Mathematicians and Physicists, Prague, Czech Republic , 2006 . C. Gloaguen, F. Fleischer, H. Schmidt, and V. Schmidt. Modelling and simulation of telecommunication networks: Analysis of mean shortest path lengths. In R. Lechnerova, I. Saxl, and V. Benes, editors, Proceedings of the 6th International Conference on Stereology, Spatial Statistics and Stochastic Geometry, pages 25--36. Union of Czech Mathematicians and Physicists, Prague, Czech Republic, 2006."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.85"},{"issue":"2","key":"e_1_3_2_1_11_1","article-title":"Heuristic test oracles","volume":"1","author":"Hoffman D.","year":"1999","unstructured":"D. Hoffman . Heuristic test oracles . Software Testing and Quality Engineering Magazine , 1 ( 2 ), 1999 . D. Hoffman. Heuristic test oracles. Software Testing and Quality Engineering Magazine, 1(2), 1999.","journal-title":"Software Testing and Quality Engineering Magazine"},{"key":"e_1_3_2_1_12_1","volume-title":"of Stochastics","unstructured":"Inst. of Stochastics , Ulm University . GeoStoch homepage. http:\/\/www.geostoch.de\/. Inst. of Stochastics, Ulm University. GeoStoch homepage. http:\/\/www.geostoch.de\/."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380210704"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(81)90036-2"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.v15:2"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1239\/aap\/1051201649"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of Software Engineering 2005 (SE 2005","volume":"64","author":"Mayer J.","year":"2005","unstructured":"J. Mayer . On testing image processing applications with statistical methods . In Proceedings of Software Engineering 2005 (SE 2005 ), volume P- 64 of Lecture Notes in Informatics, pages 69--78, Bonn, Germany , 2005 . K\u00f6llen Druck+Verlag GmbH. J. Mayer. On testing image processing applications with statistical methods. In Proceedings of Software Engineering 2005 (SE 2005), volume P-64 of Lecture Notes in Informatics, pages 69--78, Bonn, Germany, 2005. K\u00f6llen Druck+Verlag GmbH."},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the First International Workshop on Software Quality (SOQUA 2004","volume":"58","author":"Mayer J.","year":"2004","unstructured":"J. Mayer and R. Guderlei . Test oracles using statistical methods . In Proceedings of the First International Workshop on Software Quality (SOQUA 2004 ), volume P- 58 of Lecture Notes in Informatics, pages 179--189, Bonn, Germany , 2004 . K\u00f6llen Druck+Verlag GmbH. J. Mayer and R. Guderlei. Test oracles using statistical methods. In Proceedings of the First International Workshop on Software Quality (SOQUA 2004), volume P-58 of Lecture Notes in Informatics, pages 179--189, Bonn, Germany, 2004. K\u00f6llen Druck+Verlag GmbH."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2004.02.001"},{"key":"e_1_3_2_1_20_1","first-page":"437","article-title":"Parametric representation of mean values for stationary random mosaics","volume":"15","author":"Mecke J.","year":"1984","unstructured":"J. Mecke . Parametric representation of mean values for stationary random mosaics . Mathematische Operationsforschung und Statistik Series Statistics , 15 : 437 -- 442 , 1984 . J. Mecke. Parametric representation of mean values for stationary random mosaics. Mathematische Operationsforschung und Statistik Series Statistics, 15:437--442, 1984.","journal-title":"Mathematische Operationsforschung und Statistik Series Statistics"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360211"},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation","volume":"2575","author":"Monniaux D.","year":"2002","unstructured":"D. Monniaux . Abstraction of expectation functions using Gaussian distributions . In Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation , volume 2575 of Lecture Notes In Computer Science, pages 161--173. Springer-Verlag , 2002 . D. Monniaux. Abstraction of expectation functions using Gaussian distributions. In Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation, volume 2575 of Lecture Notes In Computer Science, pages 161--173. Springer-Verlag, 2002."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1013886.1007520"},{"key":"e_1_3_2_1_24_1","first-page":"45","volume-title":"Proceedings of Mutation 2000: Mutation Testing in the Twentieth and the Twenty First Centuries","author":"Offutt J.","year":"2000","unstructured":"J. Offutt and R. H. Untch . Mutation 2000: Uniting the orthogonal . In Proceedings of Mutation 2000: Mutation Testing in the Twentieth and the Twenty First Centuries , pages 45 -- 55 , 2000 . J. Offutt and R. H. Untch. Mutation 2000: Uniting the orthogonal. In Proceedings of Mutation 2000: Mutation Testing in the Twentieth and the Twenty First Centuries, pages 45--55, 2000."},{"key":"e_1_3_2_1_25_1","unstructured":"C. H. Papadimitriou. Computational Complexity. Addison-Wesley 1995.  C. H. Papadimitriou. Computational Complexity . Addison-Wesley 1995."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146263"},{"key":"e_1_3_2_1_27_1","volume-title":"Component Software -- Beyond Object-Oriented Programming","author":"Szyperski C.","year":"2002","unstructured":"C. Szyperski , D. Gruntz , and S. Murer . Component Software -- Beyond Object-Oriented Programming . Addison-Wesley \/ ACM Press , 2 nd edition, 2002 . C. Szyperski, D. Gruntz, and S. Murer. Component Software -- Beyond Object-Oriented Programming. Addison-Wesley \/ ACM Press, 2nd edition, 2002.","edition":"2"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/25.4.465"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.2307\/3001968"}],"event":{"name":"ESEC\/FSE07: Joint 11th European Software Engineering Conference 2007","location":"Dubrovnik Croatia","acronym":"ESEC\/FSE07","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering","CEPIS The Council of European Professional Informatics Societies"]},"container-title":["Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC\/FSE joint meeting"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1295074.1295084","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1295074.1295084","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:14:08Z","timestamp":1750259648000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1295074.1295084"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9,3]]},"references-count":28,"alternative-id":["10.1145\/1295074.1295084","10.1145\/1295074"],"URL":"https:\/\/doi.org\/10.1145\/1295074.1295084","relation":{},"subject":[],"published":{"date-parts":[[2007,9,3]]},"assertion":[{"value":"2007-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}