{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:40:33Z","timestamp":1725486033552},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437840"},{"type":"electronic","value":"9783540480464"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-48046-3_19","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T20:48:07Z","timestamp":1181681287000},"page":"245-256","source":"Crossref","is-referenced-by-count":2,"title":["Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study"],"prefix":"10.1007","author":[{"given":"Yuen T.","family":"Yu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Man F.","family":"Lau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,5,29]]},"reference":[{"key":"19_CR1","unstructured":"N. Amla and P. Ammann. 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\u201992), pages 3\u201310, 1992."},{"issue":"3","key":"19_CR2","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1145\/287000.287004","volume":"7","author":"H. Y. Chen","year":"1998","unstructured":"H. Y. Chen, T. H. Tse, F. T. Chan, and T. Y. Chen. In black and white: an integrated approach to class level testing of object-oriented programs. ACM Transactions on Software Engineering and Methodology, 7(3):250\u2013295, 1998.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"3","key":"19_CR3","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1002\/stvr.221","volume":"11","author":"T. Y. Chen","year":"2001","unstructured":"T. Y. Chen and M. F. Lau. Test case selection strategies based on boolean specifications. Software Testing, Verification and Reliability, 11(3): 165\u2013180, 2001.","journal-title":"Software Testing, Verification and Reliability"},{"key":"19_CR4","unstructured":"T. Y. Chen, M. F. Lau, and Y. T. Yu. An empirical evaluation of the MUMCUT strategy for testing Boolean specifications. In Proceedings of the 3rd Annual IASTED International Conference on Software Engineering and Applications (SEA\u201999), pages 262\u2013268, 1999."},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"T. Y. Chen, M. F. Lau, and Y. T. Yu. MUMCUT: A fault-based strategy for testing Boolean specifications. In Proceedings of Asia-Pacific Software Engineering Conference (APSEC\u201999), pages 606\u2013613, 1999.","DOI":"10.1109\/APSEC.1999.809656"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"S. Elbaum, A. G. Malishevsky, and G. Rothermel. Prioritizing test cases for regression testing. In Proceedings of International Symposium on Software Testing and Analysis (ISSTA\u201900), pages 102\u2013112, 2000.","DOI":"10.1145\/347324.348910"},{"issue":"2","key":"19_CR7","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1145\/1010925.1010935","volume":"9","author":"K. A. Foster","year":"1984","unstructured":"K. A. Foster. Sensitive test data for logic expressions. ACM SIGSOFT Software Engineering Notes, 9(2):120\u2013125, 1984.","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"19_CR8","unstructured":"D. D. Givone. Introduction to Switching Circuit Theory. McGraw-Hill, 1970."},{"key":"19_CR9","unstructured":"C. B. Jones. Systematic Software Development using VDM. Prentice-Hall, second edition, 1989."},{"issue":"2","key":"19_CR10","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/S0950-5849(01)00222-1","volume":"44","author":"N. Kobayashi","year":"2002","unstructured":"N. Kobayashi, T. Tsuchiya and T. Kikuno. Non-specification-based approaches to logic testing for software. Information and Software Technology, 44(2):113\u2013121, 2002.","journal-title":"Information and Software Technology"},{"issue":"4","key":"19_CR11","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1145\/322993.322996","volume":"8","author":"D. R. Kuhn","year":"1999","unstructured":"D. R. Kuhn. Fault classes and error detection capability of specification-based testing. ACM Transactions on Software Engineering and Methodology, 8(4):411\u2013424, 1999.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"9","key":"19_CR12","doi-asserted-by":"publisher","first-page":"684","DOI":"10.1109\/32.317428","volume":"20","author":"N. G. Leveson","year":"1994","unstructured":"N. G. Leveson, M. P. E. Heimdahl, H. Hildreth, and J. D. Reese. Requirements specification for process-control systems. IEEE Transactions on Software Engineering, 20(9):684\u2013707, 1994.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"19_CR13","doi-asserted-by":"publisher","first-page":"521","DOI":"10.2307\/2308219","volume":"59","author":"W. V. Quine","year":"1952","unstructured":"W. V. Quine. The problem of simplifying truth functions. American Mathematical Monthly, 59:521\u2013531, 1952.","journal-title":"American Mathematical Monthly"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"G. Rothermel, R. H. Untch, C. Chu, and M. J. Harrold. Test case prioritization: An empirical study. In Proceedings of the International Conference on Software Maintenance, pages 1\u201310, 1999.","DOI":"10.1109\/ICSM.1999.792604"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"H. Singh, M. Conrad, and S. Sadeghipour. Test case design based on Z and the classification-tree method. In Proceedings of the First IEEE International Conference on Formal Engineering Methods, pages 81\u201390, 1997.","DOI":"10.1109\/ICFEM.1997.630406"},{"issue":"8","key":"19_CR16","doi-asserted-by":"publisher","first-page":"552","DOI":"10.1109\/32.536956","volume":"22","author":"K. C. Tai","year":"1996","unstructured":"K. C. Tai. Theory of fault-based predicate testing for computer programs. IEEE Transactions on Software Engineering, 22(8):552\u2013562, 1996.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"5","key":"19_CR17","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1109\/32.286420","volume":"20","author":"E. J. Weyuker","year":"1994","unstructured":"E. J. Weyuker, T. Goradia, and A. Singh. Automatically generating test data from a boolean specification. IEEE Transactions on Software Engineering, 20(5):353\u2013363, 1994.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"19_CR18","unstructured":"Y. T. Yu and M. F. Lau. A study of prioritizing test cases in MUMCUT test sets. In Proceedings of the IASTED International Conference on Applied Informatics-Symposium 3: Software, pages 466\u2013471, 2001."}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2014 Ada-Europe 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48046-3_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T04:28:12Z","timestamp":1550377692000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48046-3_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437840","9783540480464"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-48046-3_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}