{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T04:02:11Z","timestamp":1747627331561,"version":"3.40.5"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Software Engineering"],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1023\/a:1018931214684","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"159-170","source":"Crossref","is-referenced-by-count":2,"title":["Feasible input domain partitioning in software testing: RCS case study"],"prefix":"10.1007","volume":"4","author":[{"given":"Tomas","family":"Vagoun","sequence":"first","affiliation":[]},{"given":"Alan","family":"Hevner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"326157_CR1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1109\/TSE.1986.6312914","volume":"SE-12","author":"P. Currit","year":"1986","unstructured":"Currit, P., M. Dyer and H. Mills (1986), \u201cCertifying the Reliability of Software,\u201d IEEE Transactions on Software Engineering SE-12,1, 3\u201311.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"326157_CR2","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1109\/TSE.1984.5010257","volume":"SE-10","author":"J. Duran","year":"1984","unstructured":"Duran, J. and S. Ntafos (1984), \u201cAn Evaluation of Random Testing,\u201d IEEE Transactions on Software Engineering SE-10,4, 438\u2013444.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"8","key":"326157_CR3","doi-asserted-by":"publisher","first-page":"751","DOI":"10.1109\/32.83912","volume":"17","author":"K. Gallagher","year":"1991","unstructured":"Gallagher, K. and J. Lyle (1991), \u201cUsing Program Slicing in Software Maintenance,\u201d IEEE Transactions on Software Engineering 17,8, 751\u2013761.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"12","key":"326157_CR4","doi-asserted-by":"publisher","first-page":"1402","DOI":"10.1109\/32.62448","volume":"16","author":"R. Hamlet","year":"1990","unstructured":"Hamlet, R. and R. Taylor (1990), \u201cPartition Testing Does Not Inspire Confidence,\u201d IEEE Transactions on Software Engineering 16,12, 1402\u20131411.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"326157_CR5","volume-title":"User's Guide, Version 1.0","author":"IBM","year":"1993","unstructured":"IBM (1993), \u201cCleanroom Certification Assistant: Statistical Test Case Generation Facility,\u201d User's Guide, Version 1.0, IBM Cleanroom Software Technology Center, General Sector Division, Bethesda, MD."},{"issue":"6","key":"326157_CR6","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1109\/2.948","volume":"21","author":"H. Mills","year":"1988","unstructured":"Mills, H. (1988), \u201cStepwise Refinement and Verification in Box-Structured Systems,\u201d IEEE Computer 21,6, 23\u201336.","journal-title":"IEEE Computer"},{"issue":"11","key":"326157_CR7","first-page":"52","volume":"21","author":"H. Mills","year":"1988","unstructured":"Mills, H. and J. Poore (1988), \u201cBringing Software Under Statistical Quality Control,\u201d Quality Progress 21,11, 52\u201355.","journal-title":"Quality Progress"},{"issue":"5","key":"326157_CR8","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1145\/167049.167076","volume":"18","author":"A. Podgurski","year":"1993","unstructured":"Podgurski, A., C. Yang and W. Masri (1993), \u201cPartition Testing, Stratified Sampling, and Cluster Analysis,\u201d ACM Software Engineering Notes 18,5, 169\u2013181.","journal-title":"ACM Software Engineering Notes"},{"issue":"1","key":"326157_CR9","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1109\/52.207234","volume":"10","author":"J. Poore","year":"1993","unstructured":"Poore, J., H. Mills and D. Mutchler (1993), \u201cPlanning and Certifying Software System Reliability,\u201d IEEE Software 10,1, 88\u201399.","journal-title":"IEEE Software"},{"issue":"7","key":"326157_CR10","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1002\/spe.4380150703","volume":"15","author":"W. Tichy","year":"1985","unstructured":"Tichy, W. (1985), \u201cRCS-A System for Version Control,\u201d Software Practice and Experience 15,7, 637\u2013654.","journal-title":"Software Practice and Experience"},{"key":"326157_CR11","volume-title":"State-Based Software Testing","author":"T. Vagoun","year":"1994","unstructured":"Vagoun, T. (1994), \u201cState-Based Software Testing,\u201d PhD Dissertation, Information Systems Department, University of Maryland, College Park, MD."},{"key":"326157_CR12","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1109\/HICSS.1996.495407","volume-title":"Proceedings of the 29th Hawaii International Conference on System Sciences","author":"T. Vagoun","year":"1996","unstructured":"Vagoun, T. (1996), \u201cInput Domain Partitioning in Software Testing,\u201d In Proceedings of the 29th Hawaii International Conference on System Sciences, IEEE Computer Society Press, Los Alamitos, CA, pp. 261\u2013268."},{"key":"326157_CR13","unstructured":"Vagoun, T. and A. Hevner (1994), \u201cState-Based Software Testing,\u201d In Proceedings of the 12th Annual Pacific Northwest Software Conference, Portland, OR, pp. 427\u2013443."},{"issue":"7","key":"326157_CR14","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1109\/32.83906","volume":"17","author":"E. Weyuker","year":"1991","unstructured":"Weyuker, E. and B. Jeng (1991), \u201cAnalyzing Partition Testing Strategies,\u201d IEEE Transactions on Software Engineering 17,7, 703\u2013711.","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Annals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018931214684.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018931214684\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018931214684.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:21:14Z","timestamp":1747578074000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018931214684"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["326157"],"URL":"https:\/\/doi.org\/10.1023\/a:1018931214684","relation":{},"ISSN":["1022-7091","1573-7489"],"issn-type":[{"type":"print","value":"1022-7091"},{"type":"electronic","value":"1573-7489"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}