{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:21:03Z","timestamp":1759033263723,"version":"3.30.1"},"reference-count":28,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2002,2,1]],"date-time":"2002-02-01T00:00:00Z","timestamp":1012521600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[2002,2]]},"DOI":"10.1016\/s0950-5849(01)00222-1","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T10:12:54Z","timestamp":1027591974000},"page":"113-121","source":"Crossref","is-referenced-by-count":42,"title":["Non-specification-based approaches to logic testing for software"],"prefix":"10.1016","volume":"44","author":[{"given":"Noritaka","family":"Kobayashi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tatsuhiro","family":"Tsuchiya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tohru","family":"Kikuno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"year":"1995","series-title":"Black-box Testing","author":"Beizer","key":"10.1016\/S0950-5849(01)00222-1_BIB1"},{"key":"10.1016\/S0950-5849(01)00222-1_BIB2","unstructured":"K. Burr, W. Young, Combinatorial test techniques: table-based automation, test generation and code coverage, Proceedings on the Software Testing Analysis and Review (STAR'98 West), October 1998."},{"key":"10.1016\/S0950-5849(01)00222-1_BIB3","doi-asserted-by":"crossref","unstructured":"K. Burroughs, A. Jain, R.L. Erickson, Improved quality of protocol testing through techniques of experimental design, Proceedings of the International Conference on Communications (ICC'94), New York, 1994, pp. 745\u2013752.","DOI":"10.1109\/ICC.1994.368821"},{"key":"10.1016\/S0950-5849(01)00222-1_BIB4","doi-asserted-by":"crossref","unstructured":"T.Y. Chen, M.F. Lau, Two test data selection strategies towards testing of Boolean specifications, Proceedings of the International Computer Software and Applications Conference (COMPSAC'97), 1997, pp. 608\u2013611.","DOI":"10.1109\/CMPSAC.1997.625080"},{"issue":"7","key":"10.1016\/S0950-5849(01)00222-1_BIB5","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1109\/32.605761","article-title":"The AETG system: an approach to testing based on combinatorial design","volume":"23","author":"Cohen","year":"1997","journal-title":"IEEE Trans. Software Engng"},{"issue":"3","key":"10.1016\/S0950-5849(01)00222-1_BIB6","doi-asserted-by":"crossref","first-page":"234","DOI":"10.2307\/1271179","article-title":"Factor-covering designs for testing software","volume":"40","author":"Dalal","year":"1998","journal-title":"Technometrics"},{"key":"10.1016\/S0950-5849(01)00222-1_BIB7","doi-asserted-by":"crossref","DOI":"10.1109\/C-M.1978.218136","article-title":"Hints on test data selection: help for the practicing programmer","volume":"11","author":"DeMillo","year":"1978","journal-title":"IEEE Comput. Mag."},{"key":"10.1016\/S0950-5849(01)00222-1_BIB8","doi-asserted-by":"crossref","unstructured":"I.S. Dunietz, C.L. Mallows, A. Iannino, Applying design of experiments to software testing, Proceedings of the 19th International Conference of Software Engineering (ICSE'97), 1997, pp. 205\u2013215.","DOI":"10.1145\/253228.253271"},{"issue":"4","key":"10.1016\/S0950-5849(01)00222-1_BIB9","doi-asserted-by":"crossref","first-page":"438","DOI":"10.1109\/TSE.1984.5010257","article-title":"An evaluation of random testing","volume":"10","author":"Duran","year":"1984","journal-title":"IEEE Trans. Software Engng"},{"issue":"2","key":"10.1016\/S0950-5849(01)00222-1_BIB10","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1145\/1010925.1010935","article-title":"Sensitive test data for logic expressions","volume":"9","author":"Foster","year":"1984","journal-title":"ACM SIGSOFT Software Engng Notes"},{"key":"10.1016\/S0950-5849(01)00222-1_BIB11","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"Statecharts: a visual formalism for complex systems","volume":"8","author":"Harel","year":"1987","journal-title":"Sci. Comput. Progm."},{"key":"10.1016\/S0950-5849(01)00222-1_BIB12","doi-asserted-by":"crossref","unstructured":"C. Heitmeyer, J. Kirby, B. Labaw, The SCR method for formally specifying, verifying and validating software requirements: tool support, Proceedings of the 19th International Conference on Software Engineering (ICSE'97), May 1997, pp. 610\u2013611.","DOI":"10.1145\/253228.253498"},{"issue":"1","key":"10.1016\/S0950-5849(01)00222-1_BIB13","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/TSE.1980.230208","article-title":"Specifying software requirements for complex systems: new techniques and their application","volume":"6","author":"Heninger","year":"1980","journal-title":"IEEE Trans. Software Engng"},{"key":"10.1016\/S0950-5849(01)00222-1_BIB14","unstructured":"J. Huller, Reducing time to market with combinatorial design method testing, Proceedings of the International Council on Systems Engineering (INCOSE 2000), 2000."},{"year":"1983","series-title":"Decision Tables in Software Engineering","author":"Hurley","key":"10.1016\/S0950-5849(01)00222-1_BIB15"},{"issue":"4","key":"10.1016\/S0950-5849(01)00222-1_BIB16","doi-asserted-by":"crossref","first-page":"380","DOI":"10.1093\/comjnl\/29.4.380","article-title":"Empirical evaluation of random testing","volume":"29","author":"Ince","year":"1986","journal-title":"Comput. J."},{"issue":"4","key":"10.1016\/S0950-5849(01)00222-1_BIB17","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1145\/322993.322996","article-title":"Fault classes and error detection capability of specification-based testing","volume":"8","author":"Kuhn","year":"1999","journal-title":"ACM Trans. Software Engng Meth."},{"issue":"9","key":"10.1016\/S0950-5849(01)00222-1_BIB18","doi-asserted-by":"crossref","first-page":"684","DOI":"10.1109\/32.317428","article-title":"Requirements specification for process-control systems","volume":"20","author":"Leveson","year":"1994","journal-title":"IEEE Trans. Software Engng"},{"key":"10.1016\/S0950-5849(01)00222-1_BIB19","doi-asserted-by":"crossref","unstructured":"Y.K. Malaiya, Antirandom testing: getting the most out of black-box testing, Proceedings of the International Symposium on Software Reliability Engineering, 1995, pp. 86\u201395.","DOI":"10.1109\/ISSRE.1995.497647"},{"year":"1979","series-title":"The Art of Software Testing","author":"Myers","key":"10.1016\/S0950-5849(01)00222-1_BIB20"},{"issue":"6","key":"10.1016\/S0950-5849(01)00222-1_BIB21","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1109\/32.232020","article-title":"An analysis of test data selection criteria using the RELAY model of fault detection","volume":"19","author":"Richardson","year":"1993","journal-title":"IEEE Trans. Software Engng"},{"key":"10.1016\/S0950-5849(01)00222-1_BIB22","doi-asserted-by":"crossref","unstructured":"P. Th\u00e9venod-Fosse, H. Waeselynck, Y. Crouzet, An experimental study of software structural testing: deterministic versus random input generation, Proceedings of the 21st International Symposium on Fault-Tolerant Computing (FTCS-21), Montr\u00e9al, Canada, 1991, pp. 410\u2013417.","DOI":"10.1109\/FTCS.1991.146694"},{"key":"10.1016\/S0950-5849(01)00222-1_BIB23","doi-asserted-by":"crossref","unstructured":"M. Vouk, K. Tai, A. Paradkar, Empirical studies of predicate-based software testing, Proceedings of the International Symposium on Software Reliability Engineering (ISSRE'94), 1994, pp. 55\u201364.","DOI":"10.1109\/ISSRE.1994.341348"},{"issue":"3","key":"10.1016\/S0950-5849(01)00222-1_BIB24","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/0169-7552(92)90110-C","article-title":"Protocol validation\u2014principles and applications","volume":"24","author":"West","year":"1992","journal-title":"Comput. Networks ISDN Syst."},{"issue":"5","key":"10.1016\/S0950-5849(01)00222-1_BIB25","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1109\/32.286420","article-title":"Automatically generating test data from a Boolean specification","volume":"20","author":"Weyuker","year":"1994","journal-title":"IEEE Trans. Software Engng"},{"key":"10.1016\/S0950-5849(01)00222-1_BIB26","doi-asserted-by":"crossref","unstructured":"L. White, Regression testing of GUI event interactions, Proceedings of the International Conference on Software Maintenance (ICSM'96), Washington, DC, 1996, pp. 350\u2013358.","DOI":"10.1109\/ICSM.1996.565038"},{"key":"10.1016\/S0950-5849(01)00222-1_BIB27","doi-asserted-by":"crossref","unstructured":"A.W. Williams, R.L. Probert, A practical strategy for testing pair-wise coverage of network interfaces, Proceedings of the International Symposium on Software Reliability Engineering (ISSRE'97), 1997, pp. 246\u2013254.","DOI":"10.1109\/ISSRE.1996.558835"},{"key":"10.1016\/S0950-5849(01)00222-1_BIB28","doi-asserted-by":"crossref","unstructured":"H. Yin, Z. Lebne-Dengel, Y.K. Malaiya, Automatic test generation using checkpoint encoding and antirandom testing, Proceeding of the International Symposium on Software Reliability Engineering, 1997, pp. 84\u201395.","DOI":"10.1109\/ISSRE.1997.630850"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584901002221?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584901002221?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,3]],"date-time":"2024-12-03T15:52:05Z","timestamp":1733241125000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584901002221"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,2]]},"references-count":28,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,2]]}},"alternative-id":["S0950584901002221"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(01)00222-1","relation":{},"ISSN":["0950-5849"],"issn-type":[{"type":"print","value":"0950-5849"}],"subject":[],"published":{"date-parts":[[2002,2]]}}}