{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T22:19:32Z","timestamp":1771539572196,"version":"3.50.1"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,10,1]],"date-time":"2008-10-01T00:00:00Z","timestamp":1222819200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2009,9]]},"DOI":"10.1007\/s11219-008-9064-5","type":"journal-article","created":{"date-parts":[[2008,9,30]],"date-time":"2008-09-30T14:14:30Z","timestamp":1222784070000},"page":"245-261","source":"Crossref","is-referenced-by-count":11,"title":["On detecting faults for Boolean expressions"],"prefix":"10.1007","volume":"17","author":[{"given":"T. Y.","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. F.","family":"Lau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K. Y.","family":"Sim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C. A.","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,10,1]]},"reference":[{"issue":"3","key":"9064_CR1","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1002\/stvr.221","volume":"11","author":"T. Y. Chen","year":"2001","unstructured":"Chen, T. Y., & Lau, M. F. (2001a). Test case selection strategies based on Boolean specifications. Software Testing, Verification and Reliability, 11(3), 165\u2013180.","journal-title":"Software Testing, Verification and Reliability"},{"key":"9064_CR2","doi-asserted-by":"crossref","unstructured":"Chen, T. Y., & Lau, M. F. (2001b). Test suite reduction and fault detecting effectiveness: An empirical evaluation. In Proceedings of 6th International Conference on Reliable Software Technologies\u2013Ada-Europe 2001, number 2043 in LNCS, (pp. 253\u2013265). Berlin: Ada-Europe, Springer.","DOI":"10.1007\/3-540-45136-6_20"},{"key":"9064_CR3","unstructured":"Chilenski, J. J. (2001). An investigation of three forms of the modified condition decision coverage (mcdc) criterion. Technical Report DOT\/FAA\/AR-01\/18, Federal Aviation Administration, US Department of Transportation, Washington, DC."},{"issue":"5","key":"9064_CR4","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1049\/sej.1994.0025","volume":"9","author":"J. J. Chilenski","year":"1994","unstructured":"Chilenski, J. J., & Miller, S. P. (1994). Applicability of modified condition\/decision coverage to software testing. Software Engineering Journal, 9(5), 193\u2013200.","journal-title":"Software Engineering Journal"},{"key":"9064_CR5","doi-asserted-by":"crossref","unstructured":"Dupuy, A., & Leveson, N. (2000). An empirical evaluation of the MC\/DC coverage criterion on the HETE-2 satellite software. In Proceedings of Digital Aviation Systems Conference (DASC 2000), Philadelphia, USA.","DOI":"10.1109\/DASC.2000.886883"},{"issue":"2","key":"9064_CR6","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1109\/TSE.1980.234487","volume":"6","author":"K. A. Foster","year":"1980","unstructured":"Foster, K. A. (1980). Error sensitive test cases analysis (ESTCA). IEEE Transactions on Software Engineering, 6(2), 258\u2013264.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"9064_CR7","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1145\/1010925.1010935","volume":"9","author":"K. A. Foster","year":"1984","unstructured":"Foster, K. A. (1984). Sensitive test data for logic expressions. ACM SIGSOFT Software Engineering Notes, 9(2), 120\u2013125.","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"1","key":"9064_CR8","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1002\/(SICI)1099-1689(200003)10:1<3::AID-STVR196>3.0.CO;2-P","volume":"10","author":"K. S. How Tai Wah","year":"2000","unstructured":"How Tai Wah, K. S. (2000). A theoretical study of fault coupling. Software Testing, Verification and Reliability, 10(1), 3\u201345.","journal-title":"Software Testing, Verification and Reliability"},{"issue":"2","key":"9064_CR9","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/S0950-5849(01)00222-1","volume":"44","author":"N. Kobayashi","year":"2002","unstructured":"Kobayashi, N., Tsuchiya, T., & Kikuno, T. (2002). Non-specification-based approaches to logic testing for software. Information and Software Technology, 44(2), 113\u2013121.","journal-title":"Information and Software Technology"},{"issue":"4","key":"9064_CR10","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1145\/322993.322996","volume":"8","author":"D. R. Kuhn","year":"1999","unstructured":"Kuhn, D. R. (1999). Fault classes and error detection capability of specification-based testing. ACM Transactions on Software Engineering and Methodology, 8(4), 411\u2013424.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"9064_CR11","unstructured":"Lau, M. F., Liu, Y., & Yu, Y. T. (2006). On detection conditions of double faults related to terms in Boolean expressions. In Proceedings of COMPSAC 2006: The 30th Annual International Computer Software and Application Conference, (pp. 403\u2013410). Chicago, IL: IEEE Computer Society Press."},{"key":"9064_CR12","doi-asserted-by":"crossref","unstructured":"Lau, M. F., Liu, Y., & Yu, Y. T. (2007a). On detection double faults with term and literal in Boolean expressions. In Proceedings of 7th International Conference on Quality Software (QSIC 2007), (pp. 117\u2013126). IEEE Computer Society Press.","DOI":"10.1109\/QSIC.2007.4385487"},{"key":"9064_CR13","doi-asserted-by":"crossref","unstructured":"Lau, M. F., Liu, Y., Chen, T. Y., & Yu, Y. T. (2007b). On the detection conditions of double faults related to literals in Boolean expressions. In Proceedings of 12th International Conference on Reliable Software Technologies\u2014Ada-Europe 2007, number 4498 in LNCS, (pp. 55\u201368). Berlin: Ada-Europe, Springer.","DOI":"10.1007\/978-3-540-73230-3_5"},{"issue":"3","key":"9064_CR14","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1145\/1072997.1072998","volume":"14","author":"M. F. Lau","year":"2005","unstructured":"Lau, M. F., & Yu, Y. T. (2005). An extended fault class hierarchy for specification-based testing. ACM Transactions on Software Engineering and Methodology, 14(3), 247\u2013276.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"9","key":"9064_CR15","doi-asserted-by":"crossref","first-page":"684","DOI":"10.1109\/32.317428","volume":"20","author":"N. G. Leveson","year":"1994","unstructured":"Leveson, N. G., Heimdahl, M. P. E., Hildreth, H., & Reese, J. D. (1994). Requirements specification for process-control systems. IEEE Transactions on Software Engineering, 20(9), 684\u2013707.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9064_CR16","volume-title":"Digital design","author":"M. M. Mano","year":"1991","unstructured":"Mano, M. M. (1991). Digital design, (2nd ed.). Englewood Cliffs, NJ: Prentice-Hall.","edition":"2"},{"issue":"8","key":"9064_CR17","doi-asserted-by":"crossref","first-page":"844","DOI":"10.1109\/32.57623","volume":"16","author":"L. J. Morell","year":"1990","unstructured":"Morell, L. J. (1990). A theory of fault-based testing. IEEE Transactions on Software Engineering, 16(8), 844\u2013857.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9064_CR18","volume-title":"The art of software testing","author":"G. J. Myers","year":"1979","unstructured":"Myers, G. J. (1979). The art of software testing, (2nd ed.). New York: Wiley.","edition":"2"},{"issue":"1","key":"9064_CR19","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/125489.125473","volume":"1","author":"A. J. Offutt","year":"1992","unstructured":"Offutt, A. J. (1992). Investigations of the software testing coupling effect. ACM Transactions on Software Engineering and Methodology, 1(1), 5\u201320.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"9064_CR20","doi-asserted-by":"crossref","unstructured":"Sun, C.-A., Dong, Y.-W., Sim, K. Y., Lai, R., & Chen, T. Y. (2006). Analyzing and extending MUMCUT for fault-based testing of general Boolean expressions. In Proceedings of Sixth IEEE International Conference on Computer and Information Technology (CIT 2006), Seoul.","DOI":"10.1109\/CIT.2006.51"},{"key":"9064_CR21","unstructured":"Sun, C.-A., & Sim, K. Y. (2004). An FSM-based parameterized generator for general Boolean expressions. In Proceedings of International Computer Engineering Conference (ICENCO), (pp. 119\u2013126). Cairo, Egypt."},{"issue":"8","key":"9064_CR22","doi-asserted-by":"crossref","first-page":"552","DOI":"10.1109\/32.536956","volume":"22","author":"K. C. Tai","year":"1996","unstructured":"Tai, K. C. (1996). Theory of fault-based predicate testing for computer programs. IEEE Transactions on Software Engineering, 22(8), 552\u2013562.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9064_CR23","unstructured":"Tai, K. C., & Su, H. K. (1987). Test generation for boolean expressions. In Proceedings of COMPSAC 1987: The Eleventh Annual International Computer Software and Application Conference, (pp. 278\u2013284). IEEE Computer Society Press."},{"issue":"5","key":"9064_CR24","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1109\/32.286420","volume":"20","author":"E. J. Weyuker","year":"1994","unstructured":"Weyuker, E. J., Goradia, T., & Singh, A. (1994). Automatically generating test data from a boolean specification. IEEE Transactions on Software Engineering, 20(5), 353\u2013363.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"5","key":"9064_CR25","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1016\/j.jss.2005.05.030","volume":"79","author":"Y. T. Yu","year":"2006","unstructured":"Yu, Y. T., & Lau, M. F. (2006). A comparison of MC\/DC, MUMCUT and several other coverage criteria for logical decisions. The Journal of Systems and Software, 79(5), 577\u2013590.","journal-title":"The Journal of Systems and Software"},{"issue":"6","key":"9064_CR26","doi-asserted-by":"crossref","first-page":"820","DOI":"10.1016\/j.jss.2005.08.016","volume":"79","author":"Y. T. Yu","year":"2006","unstructured":"Yu, Y. T., Lau, M. F., & Chen, T. Y. (2006). Automatic generation of test cases from Boolean specifications using the MUMCUT strategy. The Journal of Systems and Software, 79(6), 820\u2013840.","journal-title":"The Journal of Systems and Software"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-008-9064-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-008-9064-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-008-9064-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:10:37Z","timestamp":1559383837000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-008-9064-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10,1]]},"references-count":26,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,9]]}},"alternative-id":["9064"],"URL":"https:\/\/doi.org\/10.1007\/s11219-008-9064-5","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,10,1]]}}}