{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:23:02Z","timestamp":1725488582207},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540421238"},{"type":"electronic","value":"9783540451365"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45136-6_20","type":"book-chapter","created":{"date-parts":[[2007,8,3]],"date-time":"2007-08-03T19:53:02Z","timestamp":1186170782000},"page":"253-265","source":"Crossref","is-referenced-by-count":4,"title":["Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation"],"prefix":"10.1007","author":[{"given":"Tsong Y.","family":"Chen","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":[[2001,5,2]]},"reference":[{"issue":"5-6","key":"20_CR1","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/S0950-5849(98)00050-0","volume":"40","author":"T.Y. Chen","year":"1998","unstructured":"T.Y. Chen and M.F. Lau, A new heuristic for test suite reduction, Information and Software Technology, 40(5-6):347\u2013354, 1998.","journal-title":"Information and Software Technology"},{"key":"20_CR2","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 APSEC\u201999, pp. 606\u2013613, 1999.","DOI":"10.1109\/APSEC.1999.809656"},{"issue":"5","key":"20_CR3","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1049\/sej.1994.0025","volume":"9","author":"J.J. Chilenski","year":"1994","unstructured":"J.J. Chilenski and S.P. Miller, Applicability of modified condition\/decision coverage to software testing, Software Engineering Journal, 9(5):193\u2013200, 1994.","journal-title":"Software Engineering Journal"},{"issue":"4","key":"20_CR4","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"R.A. DeMillo","year":"1978","unstructured":"R.A. DeMillo, R.J. Lipton, and F.G. Sayward, Hints on test data selection: Help for the practicing programmer, Computer, 11(4):34\u201341, 1978.","journal-title":"Computer"},{"issue":"9","key":"20_CR5","doi-asserted-by":"publisher","first-page":"900","DOI":"10.1109\/32.92910","volume":"17","author":"R.A. DeMillo","year":"1991","unstructured":"R.A. DeMillo and A.J. Offutt, Constraint-based automatic test data generation, IEEE Trans. on Software Engineering, 17(9):900\u2013910, 1991.","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"2","key":"20_CR6","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1109\/TSE.1980.234487","volume":"6","author":"K.A. Foster","year":"1980","unstructured":"K.A. Foster, Error sensitive test cases analysis (estca), IEEE Trans. on Software Engineering, 6(2):258\u2013264, 1980.","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"2","key":"20_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":"20_CR8","unstructured":"D.D. Givone, Introduction to Switching Circuit Theory, McGraw-Hill, 1970."},{"issue":"8","key":"20_CR9","doi-asserted-by":"publisher","first-page":"870","DOI":"10.1109\/32.57624","volume":"16","author":"B. Korel","year":"1990","unstructured":"B. Korel, Automated software test data generation, IEEE Trans. on Software Engineering, 16(8):870\u2013879, 1990.","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"9","key":"20_CR10","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 Trans. on Software Engineering, 20(9):684\u2013707, 1994.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"20_CR11","unstructured":"G.J. Myers, The Art of Software Testing, John Wiley, Second edition, 1979."},{"key":"20_CR12","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"},{"issue":"4","key":"20_CR13","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1109\/TSE.1976.233835","volume":"2","author":"C.V. Ramamoorthy","year":"1976","unstructured":"C.V. Ramamoorthy, S.-B.F. Ho, and W.T. Chen, On the automated generation of program test data, IEEE Trans. on Software Engineering, 2(4):293\u2013300, 1976.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"K.C. Tai, Condition-based software testing strategies, In Proceedings of COMPSAC 90, pp. 564\u2013569, Washington, DC, 1990.","DOI":"10.1109\/CMPSAC.1990.139432"},{"issue":"8","key":"20_CR15","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 Trans. on Software Engineering, 22(8):552\u2013563, 1996.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"20_CR16","unstructured":"K.C. Tai and H.K. Su, Test generation for boolean expressions, In Proceedings of COMPSAC 87, pp. 278\u2013284, Washington, DC, 1987."},{"issue":"3","key":"20_CR17","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1109\/32.48939","volume":"16","author":"W.T. Tsai","year":"1990","unstructured":"W.T. Tsai, D. Volovik, and T.F. Keefe, Automated test case generation for programs specified by relational algebra queries, IEEE Trans. on Software Engineering, 16(3):316\u2013324, 1990.","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"5","key":"20_CR18","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 Trans. on Software Engineering, 20(5):353\u2013363, 1994.","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"4","key":"20_CR19","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1002\/(SICI)1097-024X(19980410)28:4<347::AID-SPE145>3.0.CO;2-L","volume":"28","author":"W.E. Wong","year":"1998","unstructured":"W.E. Wong, J.R. Horgan, S. London, and A.P. Mathur, Effect of test set minimization on fault detection effectiveness, Software-Practice and Experience, 28(4):347\u2013369, 1998.","journal-title":"Software-Practice and Experience"},{"key":"20_CR20","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/S0164-1212(99)00048-5","volume":"48","author":"W.E. Wong","year":"1999","unstructured":"W.E. Wong, J.R. Horgan, A.P. Mathur, and A. Pasquini, Test set size minimization and fault detection effectiveness: A case study in a space application, The Journal of Systems and Software, 48:79\u201389, 1999.","journal-title":"The Journal of Systems and Software"}],"container-title":["Lecture Notes in Computer Science","Reliable SoftwareTechnologies \u2014 Ada-Europe 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45136-6_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,20]],"date-time":"2019-02-20T22:08:33Z","timestamp":1550700513000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45136-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540421238","9783540451365"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45136-6_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}