{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T05:26:18Z","timestamp":1725686778069},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642305979"},{"type":"electronic","value":"9783642305986"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30598-6_12","type":"book-chapter","created":{"date-parts":[[2012,6,6]],"date-time":"2012-06-06T05:38:56Z","timestamp":1338961136000},"page":"162-176","source":"Crossref","is-referenced-by-count":3,"title":["Choices, Choices: Comparing between CHOC\u2019LATE and the Classification-Tree Methodology"],"prefix":"10.1007","author":[{"given":"Pak-Lok","family":"Poon","sequence":"first","affiliation":[]},{"given":"Tsong Yueh","family":"Chen","sequence":"additional","affiliation":[]},{"given":"T. H.","family":"Tse","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","first-page":"3","volume-title":"Systems Integrity, Software Safety, and Process Security: Building the Right System Right: Proceedings of the 7th Annual IEEE Conference on Computer Assurance (COMPASS 1992)","author":"N. Amla","year":"1992","unstructured":"Amla, N., Ammann, P.E.: 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. IEEE Computer Society, Los Alamitos (1992)"},{"issue":"11","key":"12_CR2","doi-asserted-by":"publisher","first-page":"1551","DOI":"10.1016\/j.infsof.2009.06.006","volume":"51","author":"L.C. Briand","year":"2009","unstructured":"Briand, L.C., Labiche, Y., Bawar, Z., Spido, N.T.: Using Machine Learning to Refine Category-Partition Test Specifications and Test Suites. Information and Software Technology\u00a051(11), 1551\u20131564 (2009)","journal-title":"Information and Software Technology"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Chan, E.Y.K., Chan, W.K., Poon, P.-L., Yu, Y.T.: An Empirical Evaluation of Several Test-a-Few Strategies for Testing Particular Conditions. Software: Practice and Experience (2011), doi:10.1002\/spe.1098","DOI":"10.1002\/spe.1098"},{"issue":"13","key":"12_CR4","doi-asserted-by":"publisher","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.: On the Identification of Categories and Choices for Specification-Based Test Case Generation. Information and Software Technology\u00a046(13), 887\u2013898 (2004)","journal-title":"Information and Software Technology"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Chen, T.Y., Poon, P.-L., Tang, S.-F., Tse, T.H.: DESSERT: a DividE-and-conquer methodology for identifying categorieS, choiceS, and choicE Relations for Test case generation. IEEE Transactions on Software Engineering (2011), doi:10.1109\/TSE.2011.69","DOI":"10.1109\/TSE.2011.69"},{"issue":"6","key":"12_CR6","doi-asserted-by":"publisher","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.: An Integrated Classification-Tree Methodology for Test Case Generation. International Journal of Software Engineering and Knowledge Engineering\u00a010(6), 647\u2013679 (2000)","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"issue":"7","key":"12_CR7","doi-asserted-by":"publisher","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.: A Choice Relation Framework for Supporting Category-Partition Test Case Generation. IEEE Transactions on Software Engineering\u00a029(7), 577\u2013593 (2003)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"5","key":"12_CR8","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1109\/TSE.1987.233196","volume":"13","author":"T. Chusho","year":"1987","unstructured":"Chusho, T.: Test Data Selection and Quality Estimation Based on the Concept of Essential Branches for Path Testing. IEEE Transactions on Software Engineering\u00a013(5), 509\u2013517 (1987)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"12_CR9","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/0164-1212(93)90024-R","volume":"21","author":"L.M. Foreman","year":"1993","unstructured":"Foreman, L.M., Zweben, S.H.: A Study of the Effectiveness of Control and Data Flow Testing Strategies. Journal of Systems and Software\u00a021(3), 215\u2013228 (1993)","journal-title":"Journal of Systems and Software"},{"issue":"2","key":"12_CR10","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1002\/stvr.4370030203","volume":"3","author":"M. Grochtmann","year":"1993","unstructured":"Grochtmann, M., Grimm, K.: Classification Trees for Partition Testing. Software Testing, Verification and Reliability\u00a03(2), 63\u201382 (1993)","journal-title":"Software Testing, Verification and Reliability"},{"issue":"1","key":"12_CR11","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1002\/stvr.232","volume":"12","author":"R.M. Hierons","year":"2002","unstructured":"Hierons, R.M., Harman, M., Fox, C., Ouarbya, L., Daoudi, M.: Conditioned Slicing Supports Partition Testing. Software Testing, Verification and Reliability\u00a012(1), 23\u201328 (2002)","journal-title":"Software Testing, Verification and Reliability"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1007\/3-540-44880-2_23","volume-title":"ZB 2003: Formal Specification and Development in Z and B","author":"R.M. Hierons","year":"2003","unstructured":"Hierons, R.M., Harman, M., Singh, H.: Automatically Generating Information from a Z Specification to Support the Classification Tree Method. In: Bert, D., Bowen, J.P., King, S., Wald\u00e9n, M. (eds.) ZB 2003. LNCS, vol.\u00a02651, pp. 388\u2013407. Springer, Heidelberg (2003)"},{"issue":"10","key":"12_CR13","first-page":"1073","volume":"41","author":"B. Jiang","year":"2011","unstructured":"Jiang, B., Tse, T.H., Grieskamp, W., Kicillof, N., Cao, Y., Li, X., Chan, W.K.: Assuring the Model Evolution of Protocol Software Specifications by Regression Testing Process Improvement. Software: Practice and Experience\u00a041(10), 1073\u20131103 (2011)","journal-title":"Software: Practice and Experience"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Kansomkeat, S., Thiket, P., Offutt, J.: Generating Test Cases from UML Activity Diagrams Using the Condition-Classification Tree Method. In: Proceedings of the 2nd International Conference on Software Technology and Engineering (ICSTE 2010), pp. V1-62\u2013V1-66. IEEE Computer Society, Los Alamitos (2010)","DOI":"10.1109\/ICSTE.2010.5608913"},{"issue":"6","key":"12_CR15","doi-asserted-by":"publisher","first-page":"862","DOI":"10.1016\/j.jss.2006.08.022","volume":"80","author":"O.A.L. Lemos","year":"2007","unstructured":"Lemos, O.A.L., Vincenzi, A.M.R., Maldonado, J.C., Masiero, P.C.: Control and Data Flow Structural Testing Criteria for Aspect-Oriented Programs. Journal of Systems and Software\u00a080(6), 862\u2013882 (2007)","journal-title":"Journal of Systems and Software"},{"key":"12_CR16","volume-title":"The Art of Software Testing","author":"G.J. Myers","year":"2004","unstructured":"Myers, G.J.: The Art of Software Testing. Wiley, Hoboken (2004)"},{"issue":"6","key":"12_CR17","doi-asserted-by":"publisher","first-page":"676","DOI":"10.1145\/62959.62964","volume":"31","author":"T.J. Ostrand","year":"1988","unstructured":"Ostrand, T.J., Balcer, M.J.: The Category-Partition Method for Specifying and Generating Functional Tests. Communications of the ACM\u00a031(6), 676\u2013686 (1988)","journal-title":"Communications of the ACM"},{"issue":"4","key":"12_CR18","doi-asserted-by":"publisher","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.: CHOC\u2019LATE: a Framework for Specification-Based Testing. Communications of the ACM\u00a053(4), 113\u2013118 (2010)","journal-title":"Communications of the ACM"},{"issue":"1","key":"12_CR19","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/s11219-010-9109-4","volume":"19","author":"P.-L. Poon","year":"2011","unstructured":"Poon, P.-L., Tse, T.H., Tang, S.-F., Kuo, F.-C.: Contributions of Tester Experience and a Checklist Guideline to the Identification of Categories and Choices for Software Testing. Software Quality Journal\u00a019(1), 141\u2013163 (2011)","journal-title":"Software Quality Journal"},{"key":"12_CR20","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1145\/75308.75319","volume-title":"Proceedings of the ACM SIGSOFT 3rd Symposium on Software Testing, Analysis, and Verification (TAV 3)","author":"D.J. Richardson","year":"1989","unstructured":"Richardson, D.J., O\u2019Malley, O., Tittle, C.: Approaches to Specification-Based Testing. In: Proceedings of the ACM SIGSOFT 3rd Symposium on Software Testing, Analysis, and Verification (TAV 3), pp. 86\u201396. ACM, New York (1989)"},{"issue":"6","key":"12_CR21","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1145\/376134.376180","volume":"44","author":"T. Shepard","year":"2001","unstructured":"Shepard, T., Lamb, M., Kelly, D.: More Testing should be Taught. Communications of the ACM\u00a044(6), 103\u2013108 (2001)","journal-title":"Communications of the ACM"},{"key":"12_CR22","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/ICFEM.1997.630406","volume-title":"Proceedings of the 1st IEEE International Conference on Formal Engineering Methods (ICFEM 1997)","author":"H. Singh","year":"1997","unstructured":"Singh, H., Conrad, M., Sadeghipour, S.: 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. IEEE Computer Society, Los Alamitos (1997)"},{"issue":"1","key":"12_CR23","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1145\/129617.129621","volume":"35","author":"G.H. Subramanian","year":"1992","unstructured":"Subramanian, G.H., Nosek, J., Raghunathan, S.P., Kanitkar, S.S.: A Comparison of the Decision Table and Tree. Communications of the ACM\u00a035(1), 89\u201394 (1992)","journal-title":"Communications of the ACM"},{"key":"12_CR24","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1109\/QSIC.2003.1319089","volume-title":"Proceedings of the 3rd International Conference on Quality Software (QSIC 2003)","author":"Y.T. Yu","year":"2003","unstructured":"Yu, Y.T., Ng, S.P., Chan, E.Y.K.: Generating, Selecting and Prioritizing Test Cases from Specifications with Tool Support. In: Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), pp. 83\u201390. IEEE Computer Society, Los Alamitos (2003)"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada-Europe 2012"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30598-6_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T07:46:00Z","timestamp":1620114360000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30598-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642305979","9783642305986"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30598-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}