{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:06:55Z","timestamp":1759032415800},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2011,3]]},"DOI":"10.1007\/s11219-010-9109-4","type":"journal-article","created":{"date-parts":[[2010,8,30]],"date-time":"2010-08-30T02:09:20Z","timestamp":1283134160000},"page":"141-163","source":"Crossref","is-referenced-by-count":16,"title":["Contributions of tester experience and a checklist guideline to the identification of categories and choices for software testing"],"prefix":"10.1007","volume":"19","author":[{"given":"Pak-Lok","family":"Poon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T. H.","family":"Tse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sau-Fun","family":"Tang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fei-Ching","family":"Kuo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,8,31]]},"reference":[{"key":"9109_CR1","unstructured":"Amla, N., & Ammann, P. (1992). Using Z specifications in category partition testing. In Systems integrity, software safety, and process security: building the right system right: Proceedings of the 7th annual IEEE conference on computer assurance (COMPASS 1992) (pp. 3\u201310). Los Alamitos, CA: IEEE Computer Society Press."},{"issue":"2","key":"9109_CR2","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1049\/sej.1990.0011","volume":"5","author":"R. Bache","year":"1990","unstructured":"Bache, R., & M\u00fcllerburg, M. (1990). Measures of testability as a basis for quality assurance. Software Engineering Journal, 5(2), 86\u201392.","journal-title":"Software Engineering Journal"},{"key":"9109_CR3","volume-title":"Software testing techniques","author":"B. Beizer","year":"1990","unstructured":"Beizer, B. (1990). Software testing techniques. Van Nostrand Reinhold, New York, NY."},{"issue":"1","key":"9109_CR4","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1109\/2.962984","volume":"34","author":"B. W. Boehm","year":"2001","unstructured":"Boehm, B. W., & Basili, V. R. (2001). Software defect reduction top 10 list. IEEE Computer, 34(1), 135\u2013137.","journal-title":"IEEE Computer"},{"key":"9109_CR5","unstructured":"Briand, L. C. (2007). A critical analysis of empirical research in software testing. In Proceedings of the 1st international symposium on empirical software engineering and measurement (ESEM 2007) (pp. 1\u20138). Los Alamitos, CA: IEEE Computer Society Press."},{"key":"9109_CR7","unstructured":"Cain, A., Chen, T. Y., Grant, D. D., Poon, P.-L., Tang, S.-F., & Tse, T. H. (2004). An automatic test data generation system based on the integrated classification-tree methodology. In C. V. Ramamoorthy, Lee, R. Y., & Lee, K. W. (Eds.) Software engineering research and applications, Lecture notes in computer science (Vol. 3026, pp. 225\u2013238). Berlin, Germany: Springer."},{"issue":"6","key":"9109_CR8","doi-asserted-by":"crossref","first-page":"800","DOI":"10.1109\/TSE.2008.49","volume":"34","author":"J. C. Carver","year":"2008","unstructured":"Carver, J. C., Nagappan, N., & Page, A. (2008). The impact of educational background on the effectiveness of requirements inspections: An empirical study. IEEE Transactions on Software Engineering , 34(6), 800\u2013812.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9109_CR9","first-page":"31","volume":"5","author":"T. Y. Chen","year":"1998","unstructured":"Chen, T. Y., Poon, P.-L., & Tang, S.-F. (1998). A systematic method for auditing user acceptance tests. IS Audit and Control Journal, 5, 31\u201336.","journal-title":"IS Audit and Control Journal"},{"issue":"13","key":"9109_CR10","doi-asserted-by":"crossref","first-page":"887","DOI":"10.1016\/j.infsof.2004.03.005","volume":"46","author":"T. Y. Chen","year":"2004","unstructured":"Chen, T. Y., Poon, P.-L., Tang, S.-F., & Tse, T. H. (2004). On the identification of categories and choices for specification-based test case generation. Information and Software Technology, 46(13), 887\u2013898.","journal-title":"Information and Software Technology"},{"key":"9109_CR11","unstructured":"Chen, T. Y., Poon, P.-L., Tang, S.-F., & Tse, T. H. (2005). Identification of categories and choices in activity diagrams. In Proceedings of the 5th international conference on quality software (QSIC 2005) (pp. 55\u201363). Los Alamitos, CA: IEEE Computer Society Press."},{"issue":"6","key":"9109_CR12","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1142\/S0218194000000353","volume":"10","author":"T. Y. Chen","year":"2000","unstructured":"Chen, T. Y., Poon, P.-L., & Tse, T. H. (2000). An integrated classification-tree methodology for test case generation. International Journal of Software Engineering and Knowledge Engineering, 10(6), 647\u2013679.","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"issue":"7","key":"9109_CR13","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1109\/TSE.2003.1214323","volume":"29","author":"T. Y. Chen","year":"2003","unstructured":"Chen, T. Y., Poon, P.-L., & Tse, T. H. (2003). A choice relation framework for supporting category-partition test case generation. IEEE Transactions on Software Engineering, 29(7), 577\u2013593.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9109_CR14","unstructured":"de la Riva, C., Garcia-Fanjul, J., & Tuya, J. (2006). A partition-based approach for XPath testing. In Proceedings of the international conference on software engineering advances (ICSEA 2006). Los Alamitos, CA: IEEE Computer Society Press."},{"issue":"2","key":"9109_CR15","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1002\/stvr.4370030203","volume":"3","author":"M. Grochtmann","year":"1993","unstructured":"Grochtmann, M., & Grimm, K. (1993). Classification trees for partition testing. Software Testing, Verification and Reliability, 3(2), 63\u201382.","journal-title":"Software Testing, Verification and Reliability"},{"issue":"2","key":"9109_CR16","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1109\/MC.2007.55","volume":"40","author":"M. Grottke","year":"2007","unstructured":"Grottke, M., & Trivedi, K. S. (2007). Fighting bugs: Remove, retry, replicate, and rejuvenate. IEEE Computer, 40(2), 107\u2013109.","journal-title":"IEEE Computer"},{"issue":"1","key":"9109_CR17","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1007\/s11334-005-0006-0","volume":"1","author":"J. Hartmann","year":"2005","unstructured":"Hartmann, J., Vieira, M., Foster, H., & Ruder, A. (2005). A UML-based approach to system testing. Innovations in Systems and Software Engineering, 1(1), 12\u201324.","journal-title":"Innovations in Systems and Software Engineering"},{"key":"9109_CR18","unstructured":"Hierons, R. M., Harman, M., & Singh, H. (2003). Automatically generating information from a Z specification to support the classification tree method. In Proceedings of the 3rd international conference of B and Z users, Lecture notes in computer science (Vol. 2651, pp. 388\u2013407). Berlin, Germany: Springer."},{"issue":"3","key":"9109_CR19","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"},{"key":"9109_CR20","unstructured":"Lei, Y., & Tai, K.-C. (1998). In-parameter-order: A test generation strategy for pairwise testing. In Proceedings of the 3rd IEEE international high-assurance systems engineering symposium (HASE 1998) (pp. 254\u2013261). Los Alamitos, CA: IEEE Computer Society Press."},{"issue":"1","key":"9109_CR21","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/32.120314","volume":"18","author":"K. W. Miller","year":"1992","unstructured":"Miller, K. W., Morell, L. J., Noonan, R. E., Park, S. K., Nicol, D. M., Murrill, B. W., & Voas, J. M. (1992). Estimating the probability of failure when testing reveals no failures. IEEE Transactions on Software Engineering, 18(1), 33\u201343.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9109_CR22","volume-title":"The art of software testing","author":"G. J. Myers","year":"2004","unstructured":"Myers, G. J. (2004). The art of software testing. Hoboken, NJ: Wiley."},{"key":"9109_CR23","volume-title":"Computers at risk: Safe computing in the information age","author":"Council National Research","year":"1991","unstructured":"National Research Council. (1991). Computers at risk: Safe computing in the information age. Washington, DC: National Academies Press."},{"key":"9109_CR24","unstructured":"Neumann, P. G. (1991). The computer-related risk of the year: weak links and correlated events. In Systems integrity, software safety, and process security: Proceedings of the 6th annual conference on computer assurance (COMPASS 1991) (pp. 5\u20138). Los Alamitos, CA: IEEE Computer Society Press."},{"issue":"6","key":"9109_CR25","doi-asserted-by":"crossref","first-page":"676","DOI":"10.1145\/62959.62964","volume":"31","author":"T. J. Ostrand","year":"1988","unstructured":"Ostrand, T. J., & Balcer, M. J. (1988). The category-partition method for specifying and generating functional tests. Communications of the ACM, 31(6), 676\u2013686.","journal-title":"Communications of the ACM"},{"key":"9109_CR26","volume-title":"The capability maturity model: Guidelines for improving the software process","year":"1995","unstructured":"Paulk, M. C., Weber, C. V., Curtis, B., & Chrissis, M. B. (eds) (1995). The capability maturity model: Guidelines for improving the software process. Reading, MA: Addison-Wesley."},{"key":"9109_CR27","volume-title":"Effective methods for software testing","author":"W. E. Perry","year":"2006","unstructured":"Perry, W. E. (2006). Effective methods for software testing. Indianapolis, IN: Wiley."},{"issue":"4","key":"9109_CR28","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1145\/1721654.1721687","volume":"53","author":"P.-L. Poon","year":"2010","unstructured":"Poon, P.-L., Tang, S.-F., Tse, T. H., & Chen, T. Y. (2010). CHOC\u2019LATE: A framework for specification-based testing. Communications of the ACM, 53(4), 113\u2013118.","journal-title":"Communications of the ACM"},{"issue":"3","key":"9109_CR29","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1109\/32.585501","volume":"23","author":"A. A. Porter","year":"1997","unstructured":"Porter, A. A., & Johnson P. M. (1997). Assessing software review meetings: Results of a comparative analysis of two experimental studies. IEEE Transactions on Software Engineering, 23(3), 129\u2013145.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9109_CR31","volume-title":"Real world research: A resource for social scientists and practitioner-researchers","author":"C. Robson","year":"2002","unstructured":"Robson, C. (2002). Real world research: A resource for social scientists and practitioner-researchers. Oxford, UK: Blackwell."},{"key":"9109_CR32","volume-title":"Software quality: A framework for success in software development and support","author":"J. W. Sanders","year":"1994","unstructured":"Sanders, J. W., & Curran, E. (1994) Software quality: A framework for success in software development and support. Wokingham, UK: Addison-Wesley."},{"issue":"6","key":"9109_CR33","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1145\/376134.376180","volume":"44","author":"T. Shepard","year":"2001","unstructured":"Shepard, T., Lamb, M., & Kelly, D. (2001). More testing should be taught. Communications of the ACM, 44(6), 103\u2013108.","journal-title":"Communications of the ACM"},{"key":"9109_CR34","unstructured":"Singh, H., Conrad, M., & Sadeghipour, S. (1997). Test case design based on Z and the classification-tree method. In Proceedings of the 1st IEEE international conference on formal engineering methods (ICFEM 1997) (pp. 81\u201390). Los Alamitos, CA: IEEE Computer Society Press."},{"issue":"8","key":"9109_CR35","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"},{"issue":"1","key":"9109_CR36","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1109\/32.979992","volume":"28","author":"K.-C. Tai","year":"2002","unstructured":"Tai, K.-C., & Lei, Y. (2002). A test generation strategy for pairwise testing. IEEE Transactions on Software Engineering, 28(1), 109\u2013111.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"5","key":"9109_CR37","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1109\/2.675631","volume":"31","author":"W. F. Tichy","year":"1998","unstructured":"Tichy, W. F. (1998). Should computer scientists experiment more? IEEE Computer, 31(5), 32\u201340.","journal-title":"IEEE Computer"},{"key":"9109_CR38","unstructured":"Wordsworth, J. B. (1992). Software development with Z: A practical approach to formal methods in software engineering. International Computer Science Series. Wokingham, UK: Addison-Wesley."},{"issue":"2","key":"9109_CR39","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1142\/S0218194001000475","volume":"11","author":"Y. T. Yu","year":"2001","unstructured":"Yu, Y. T., Tang, S.-F., Poon, P.-L.,& Chen, T. Y. (2001). A study on a path-based strategy for selecting black-box generated test cases. International Journal of Software Engineering and Knowledge Engineering, 11(2), 113\u2013138.","journal-title":"International Journal of Software Engineering and Knowledge Engineering"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/s11219-010-9109-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T09:15:07Z","timestamp":1497863707000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-010-9109-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,8,31]]},"references-count":37,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,3]]}},"alternative-id":["9109"],"URL":"https:\/\/doi.org\/10.1007\/s11219-010-9109-4","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,8,31]]}}}