{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:14:34Z","timestamp":1759032874648,"version":"3.41.0"},"reference-count":20,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2011,8,1]],"date-time":"2011-08-01T00:00:00Z","timestamp":1312156800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000923","name":"Australian Research Council","doi-asserted-by":"publisher","award":["ARC DP0771733"],"award-info":[{"award-number":["ARC DP0771733"]}],"id":[{"id":"10.13039\/501100000923","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002855","name":"Ministry of Science and Technology of the People's Republic of China","doi-asserted-by":"publisher","award":["2009C8320703"],"award-info":[{"award-number":["2009C8320703"]}],"id":[{"id":"10.13039\/501100002855","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["6.08E+23"],"award-info":[{"award-number":["6.08E+23"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2011,8]]},"abstract":"<jats:p>Recently, Kapoor and Bowen [2007] have extended the works by Kuhn [1999], Tsuchiya and Kikuno [2002], and Lau and Yu [2005]. However, their proofs overlook the possibility that a mutant of the Boolean specifications under test may be equivalent. Hence, each of their fault relationships is either incorrect or has an incorrect proof. In this article, we give counterexamples to the incorrect fault relationships and provide new proofs for the valid fault relationships. Furthermore, a co-stronger fault relation is introduced to establish a new fault class hierarchy for general Boolean specifications.<\/jats:p>","DOI":"10.1145\/2000791.2000797","type":"journal-article","created":{"date-parts":[[2011,8,30]],"date-time":"2011-08-30T13:30:18Z","timestamp":1314711018000},"page":"1-11","update-policy":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["A revisit of fault class hierarchies in general boolean specifications"],"prefix":"10.1145","volume":"20","author":[{"given":"Zhenyu","family":"Chen","sequence":"first","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tsong Yueh","family":"Chen","sequence":"additional","affiliation":[{"name":"Swinburne University of Technology, Hawthorn, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Baowen","family":"Xu","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,8,26]]},"reference":[{"volume-title":"Proceedings of the 2nd IEEE International Conference on Formal Engineering Methods (ICFEM'98)","author":"Ammann P.","key":"e_1_2_1_1_1","unstructured":"Ammann , P. , Black , P. E. , and Majurski , W . 1998. Using model checking to generate tests from specifications . In Proceedings of the 2nd IEEE International Conference on Formal Engineering Methods (ICFEM'98) . IEEE Computer Society, 46--54. Ammann, P., Black, P. E., and Majurski, W. 1998. Using model checking to generate tests from specifications. In Proceedings of the 2nd IEEE International Conference on Formal Engineering Methods (ICFEM'98). IEEE Computer Society, 46--54."},{"volume-title":"Proceedings of Asia-Pacific Software Engineering Conference (APSEC'99)","author":"Chen T. Y.","key":"e_1_2_1_2_1","unstructured":"Chen , T. Y. , Lau , M. F. , and Yu , Y. T . 1999. MUMCUT: A fault-based strategy for testing Boolean specifications . In Proceedings of Asia-Pacific Software Engineering Conference (APSEC'99) . IEEE Computer Society Press, 606--613. Chen, T. Y., Lau, M. F., and Yu, Y. T. 1999. MUMCUT: A fault-based strategy for testing Boolean specifications. In Proceedings of Asia-Pacific Software Engineering Conference (APSEC'99). IEEE Computer Society Press, 606--613."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2007.91"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1363686.1363874"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1010925.1010935"},{"key":"e_1_2_1_7_1","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of Test and Proof (TAP'07)","author":"Gargantini A.","unstructured":"Gargantini , A. 2007. Using model checking to generate fault detecting tests . In Proceedings of Test and Proof (TAP'07) . Lecture Notes in Computer Science , vol. 4454 . Springer-Verlag , Berlin- Heidelberg , 189--206. Gargantini, A. 2007. Using model checking to generate fault detecting tests. In Proceedings of Test and Proof (TAP'07). Lecture Notes in Computer Science, vol. 4454. Springer-Verlag, Berlin-Heidelberg, 189--206."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.v18:3"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1243987.1243988"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(01)00222-1"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/322993.322996"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1072997.1072998"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.57623"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.264"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2003.10.003"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.232020"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(02)00063-8"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.333.0445"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/504087.504089"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.286420"}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/dl.acm.org\/doi\/10.1145\/2000791.2000797","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/dl.acm.org\/doi\/pdf\/10.1145\/2000791.2000797","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:00:03Z","timestamp":1750244403000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/dl.acm.org\/doi\/10.1145\/2000791.2000797"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,8]]}},"alternative-id":["10.1145\/2000791.2000797"],"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1145\/2000791.2000797","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"type":"print","value":"1049-331X"},{"type":"electronic","value":"1557-7392"}],"subject":[],"published":{"date-parts":[[2011,8]]},"assertion":[{"value":"2009-04-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2009-07-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2011-08-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}