{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,27]],"date-time":"2026-06-27T12:04:37Z","timestamp":1782561877530,"version":"3.54.5"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,11,11]],"date-time":"2006-11-11T00:00:00Z","timestamp":1163203200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Intell"],"published-print":{"date-parts":[[2007,3,7]]},"DOI":"10.1007\/s10489-006-0008-0","type":"journal-article","created":{"date-parts":[[2006,11,10]],"date-time":"2006-11-10T18:38:20Z","timestamp":1163183900000},"page":"161-174","source":"Crossref","is-referenced-by-count":33,"title":["Test minimization for human-computer interaction"],"prefix":"10.1007","volume":"26","author":[{"given":"Fevzi","family":"Belli","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christof J.","family":"Budnik","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2006,11,11]]},"reference":[{"issue":"4","key":"8_CR1","first-page":"336","volume":"29","author":"H Zhu","year":"1997","unstructured":"Zhu H, Hall PAV, May JHR (1997) Software unit test coverage and adequacy. ACM Comput Surv 29(4):336\u2013427","journal-title":"ACM Comput Surv"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Belli F (2001) Finite-state testing and analysis of graphical user interfaces. In: Proc 12th int symp on softw reliability eng (ISSRE), pp 34\u201343","DOI":"10.1109\/ISSRE.2001.989456"},{"key":"8_CR3","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"TS Chow","year":"1978","unstructured":"Chow TS (1978) Testing software designed modeled by finite-state machines. IEEE Trans Softw Eng 4:178\u2013187","journal-title":"IEEE Trans Softw Eng"},{"key":"8_CR4","doi-asserted-by":"crossref","first-page":"1604","DOI":"10.1109\/26.111442","volume":"39","author":"AV Aho","year":"1991","unstructured":"Aho AV, Dahbura AT, Lee D, Uyar M\u00dc, (1991) An optimization technique for protocol conformance test generation based on UIO sequences and rural chinese postman tours. IEEE Trans Commun 39:1604\u20131615","journal-title":"IEEE Trans Commun"},{"issue":"1","key":"8_CR5","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1002\/stvr.264","volume":"13","author":"J Offutt","year":"2003","unstructured":"Offutt J, Shaoying L, Abdurazik A, Ammann P (2003) Generating test data from state-based specifications. J Softw Testing, Verification Reliability 13(1):25\u201353","journal-title":"J Softw Testing, Verification Reliability"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Parnas DL (1969) On the use of transition diagrams in the design of user interface for an interactive computer system. In: Proc. 24th ACM Nat\u2019l conf. pp 379\u2013385","DOI":"10.1145\/800195.805945"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Shehady RK, Siewiorek DP (1997) A method to automate user interface testing using finite state machines. In: Proc. int. symp. fault-tolerant comp. FTCS-27, pp 80\u201388","DOI":"10.1109\/FTCS.1997.614080"},{"issue":"1","key":"8_CR8","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1109\/32.979992","volume":"28","author":"K Tai","year":"2002","unstructured":"Tai K, Lei Y (2002) A test generation strategy for pairwise testing. IEEE Trans On Softw Eng 28(1):109\u2013111","journal-title":"IEEE Trans On Softw Eng"},{"issue":"4","key":"8_CR9","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"RA DeMillo","year":"1978","unstructured":"DeMillo RA, Lipton RJ, Sayward FG (1978) Hints on test data selection: help for the practicing programmer. IEEE Computer 11(4):34\u201341","journal-title":"IEEE Computer"},{"issue":"3","key":"8_CR10","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1109\/32.910859","volume":"27","author":"ME Delamaro","year":"2001","unstructured":"Delamaro ME, Maldonado JC, Mathur A (2001) Interface mutation: an approach for integration testing. IEEE Trans Softw Eng 27(3):228\u2013247","journal-title":"IEEE Trans Softw Eng"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Bochmann GV, Petrenko A (1994) Protocol testing: review of methods and relevance for software testing. In: Proc. of the 1994 ACM SIGSOFT Intl Symp on Softw Testing and Analysis, ACM Press, pp 109\u2013124.","DOI":"10.1145\/186258.187153"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Blanke M, Kinnaert M, Junze J, Staroswiecki M, Schroder J (eds.) (2003) Diagnosis and fault-tolerant control. Springer","DOI":"10.1007\/978-3-662-05344-7"},{"key":"8_CR13","unstructured":"Hamscher W, Console L, de Kleer J (1992) Readings in model-based diagnosis. Morgan Kaufmann"},{"key":"8_CR14","unstructured":"Russell S, Norvig P (1995) Artificial intelligence. A Modern Approach, Prentice Hall"},{"key":"8_CR15","unstructured":"Memon AM, Pollack ME, Soffa ML (2000) Plan generation for GUI testing. In: Proc. 5th intl conf on artificial intelligence planning and scheduling. AAAI Press, pp 226\u2013235"},{"issue":"2","key":"8_CR16","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1109\/32.908959","volume":"27","author":"AM Memon","year":"2001","unstructured":"Memon AM, Pollack ME, Soffa ML (2001) Hierarchical GUI test case generation using automated planning. IEEE Trans Softw Eng 27(2):144\u2013155","journal-title":"IEEE Trans Softw Eng"},{"issue":"2","key":"8_CR17","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1093\/comjnl\/41.2.98","volume":"41","author":"BF Jones","year":"1998","unstructured":"Jones BF, Eyres DE, Sthamer H-H (1998) A strategy for using genetic algorithms to automate branch and fault-based testing. Computer J 41(2):98\u2013107","journal-title":"Computer J"},{"issue":"11","key":"8_CR18","doi-asserted-by":"crossref","first-page":"974","DOI":"10.1109\/TSE.2003.1245299","volume":"29","author":"M Marr\u00e9","year":"2003","unstructured":"Marr\u00e9 M, Bertolino A (2003) Using spanning sets for coverage testing. IEEE Trans Softw Eng 29(11):974\u2013984","journal-title":"IEEE Trans Softw Eng"},{"key":"8_CR19","unstructured":"West DB (1996) Introduction to graph theory. Prentice Hall"},{"key":"8_CR20","unstructured":"IEEE Std 610.12 (1990) IEEE Standard Glossary of Software Engineering Terminology"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Gaudel M (1995) Testing can be formal, too. In: Proc intl conf on theory and practice of software development (TAPSOFT) vol 915. LNCS, pp 82\u201396","DOI":"10.1007\/3-540-59293-8_188"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Koufareva I, Petrenko A, Yevtushenko N (1999) Test generation driven by user-defined fault models. In: Proc. of 12th intl. workshop on testing of communication systems (IWTCS). Hungary, pp. 215\u2013233","DOI":"10.1007\/978-0-387-35567-2_14"},{"key":"8_CR23","volume-title":"The directed chinese postman problem","author":"H Thimbleby","year":"2003","unstructured":"Thimbleby H (2003) The directed chinese postman problem. School of Computing Science, Middlesex University, London"},{"key":"8_CR24","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/BF01386390","volume":"1","author":"EW Dijkstra","year":"1959","unstructured":"Dijkstra EW (1959) A note on two problems in connexion with graphs. J Numerische Mathematik 1:269\u2013271","journal-title":"J Numerische Mathematik"},{"key":"8_CR25","unstructured":"Belli F, Nissanke N, Budnik Ch J (2004) A holistic, event-based approach to modeling, analysis and testing of system vulnerabilities. Technical Report TR 2004\/7, Univ. Paderborn"},{"issue":"12","key":"8_CR26","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1145\/361227.361230","volume":"18","author":"JB Goodenough","year":"1975","unstructured":"Goodenough JB (1975) Exception handling\u2014issues and a proposed notation. Commun ACM 18(12):683\u2013696","journal-title":"Commun ACM"}],"container-title":["Applied Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-006-0008-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10489-006-0008-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10489-006-0008-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T18:26:25Z","timestamp":1559154385000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10489-006-0008-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,11,11]]},"references-count":26,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2007,3,7]]}},"alternative-id":["8"],"URL":"https:\/\/doi.org\/10.1007\/s10489-006-0008-0","relation":{},"ISSN":["0924-669X","1573-7497"],"issn-type":[{"value":"0924-669X","type":"print"},{"value":"1573-7497","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,11,11]]}}}