{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,31]],"date-time":"2024-07-31T16:29:36Z","timestamp":1722443376799},"reference-count":22,"publisher":"Association for Computing Machinery (ACM)","issue":"3","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2006,7]]},"abstract":"In partition analysis we divide the input domain to form subdomains on which the system's behaviour should be uniform. Boundary value analysis produces test inputs near each subdomain's boundaries to find failures caused by incorrect implementation of the boundaries. However, boundary value analysis can be adversely affected by coincidental correctness---the system produces the expected output, but for the wrong reason. This article shows how boundary value analysis can be adapted in order to reduce the likelihood of coincidental correctness. The main contribution is to cases of automated test data generation in which we cannot rely on the expertise of a tester.<\/jats:p>","DOI":"10.1145\/1151695.1151696","type":"journal-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T18:11:32Z","timestamp":1161195092000},"page":"227-241","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":33,"title":["Avoiding coincidental correctness in boundary value analysis"],"prefix":"10.1145","volume":"15","author":[{"given":"R. M.","family":"Hierons","sequence":"first","affiliation":[{"name":"Brunel University, Middlesex, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2006,7]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Proceedings of the COMPASS 7th Annual Conference on Computer Assurance","author":"Amla N."},{"key":"e_1_2_1_2_1","doi-asserted-by":"crossref","first-page":"380","DOI":"10.1109\/TSE.1982.235572","article-title":"A close look at domain testing","volume":"8","author":"Clarke L. A.","year":"1982","journal-title":"IEEE Trans. Softw. Eng."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.92910"},{"key":"e_1_2_1_4_1","volume-title":"Proceedings of the FME 1st International Symposium on Formal Methods in Europe.","author":"Dick J."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(96)00032-9"},{"key":"e_1_2_1_6_1","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1109\/TSE.1975.6312836","article-title":"Towards a theory of test data selection","volume":"1","author":"Goodenough J. B.","year":"1975","journal-title":"IEEE Trans. Softw. Eng."},{"key":"e_1_2_1_7_1","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1002\/stvr.4370030203","article-title":"Classification trees for partition testing","volume":"3","author":"Grochtmann M.","year":"1993","journal-title":"J. Softw. Testing, Verification and Reliability"},{"key":"e_1_2_1_8_1","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1002\/(SICI)1099-1689(199703)7:1<19::AID-STVR124>3.0.CO;2-N","article-title":"Testing from a Z specification","volume":"7","author":"Hierons R. M.","year":"1997","journal-title":"J. Softw. Testing, Verification and Reliability"},{"key":"e_1_2_1_9_1","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/BF00402650","article-title":"Using formal specifications to support software testing","volume":"4","author":"Horcher H.-M.","year":"1995","journal-title":"Softw. Quality J."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(99)00071-0"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/196092.193171"},{"key":"e_1_2_1_12_1","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1093\/comjnl\/41.2.98","article-title":"A strategy for using genetic algorithms to automate branch and fault-based testing","volume":"41","author":"Jones B. F.","year":"1998","journal-title":"Comput. J."},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/322993.322996"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.v14:2"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988709"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(99)00066-7"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/62959.62964"},{"key":"e_1_2_1_18_1","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y","article-title":"Test---Data generation using genetic algorithms","volume":"9","author":"Pargas R. P.","year":"1999","journal-title":"J. Softw. Testing, Verification and Reliability"},{"key":"e_1_2_1_19_1","doi-asserted-by":"crossref","first-page":"1477","DOI":"10.1109\/TSE.1985.231892","article-title":"Partition analysis: A method combining testing and verification","volume":"14","author":"Richardson D. J.","year":"1985","journal-title":"IEEE Trans. Softw. Eng."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.553698"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/504087.504089"},{"key":"e_1_2_1_22_1","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1109\/TSE.1980.234486","article-title":"A domain strategy for computer program testing","volume":"6","author":"White L. J.","year":"1980","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1151695.1151696","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T19:55:11Z","timestamp":1672257311000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1151695.1151696"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,7]]}},"alternative-id":["10.1145\/1151695.1151696"],"URL":"https:\/\/doi.org\/10.1145\/1151695.1151696","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"value":"1049-331X","type":"print"},{"value":"1557-7392","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,7]]},"assertion":[{"value":"2006-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}