{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T07:13:37Z","timestamp":1725434017985},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2006,10,27]],"date-time":"2006-10-27T00:00:00Z","timestamp":1161907200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Empir Software Eng"],"published-print":{"date-parts":[[2006,11,20]]},"DOI":"10.1007\/s10664-006-9025-1","type":"journal-article","created":{"date-parts":[[2006,10,26]],"date-time":"2006-10-26T04:31:06Z","timestamp":1161837066000},"page":"493-522","source":"Crossref","is-referenced-by-count":17,"title":["Input validation analysis and testing"],"prefix":"10.1007","volume":"11","author":[{"given":"Jane Huffman","family":"Hayes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeff","family":"Offutt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,10,27]]},"reference":[{"key":"9025_CR1","doi-asserted-by":"crossref","unstructured":"Amman P, Offutt J (1994) Using formal methods to derive test frames in category-partition testing. In: Proceedings of the Ninth Annual Conference on Computer Assurance (COMPASS \u203294), Gaithersburg, MD, June\u2013July 1994, pp 69\u201379","DOI":"10.1109\/CMPASS.1994.318466"},{"key":"9025_CR2","unstructured":"Basili VR, Caldiera G, Lanubile F, Shull F (1996) Studies on reading techniques. In: Proceedings of Software Engineering Workshop (SEW 1996), Greenbelt, MD, December 1996, pp 59\u201365"},{"key":"9025_CR3","unstructured":"Bauer J, Finger A (1979) Test plan generation using formal grammars. In: Proceedings of the 4th International Conference On Software Engineering, Munich, Germany, May 1979, pp 425\u2013432"},{"issue":"4","key":"9025_CR4","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1109\/TSE.1982.235428","volume":"8","author":"F Bazzichi","year":"1982","unstructured":"Bazzichi F, Spadafora I (1982) An automatic generator for compiler testing. IEEE Trans Softw Eng 8(4):343\u2013353 (July)","journal-title":"IEEE Trans Softw Eng"},{"key":"9025_CR5","volume-title":"Software testing techniques","author":"B Beizer","year":"1990","unstructured":"Beizer B (1990) Software testing techniques, 2nd edn. Van Nostrand Reinhold, Inc., New York, NY","edition":"2"},{"issue":"3","key":"9025_CR6","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1147\/sj.223.0229","volume":"22","author":"D Bird","year":"1983","unstructured":"Bird D, Munoz C (1983) Automatic generation of random self-checking test cases. IBM Syst J 22(3):229\u2013345","journal-title":"IBM Syst J"},{"key":"9025_CR7","volume-title":"Software requirements analysis and specification","author":"AM Davis","year":"1990","unstructured":"Davis AM (1990) Software requirements analysis and specification. PTR Prentice Hall, Englewood Cliffs, NJ"},{"key":"9025_CR8","unstructured":"Duncan AG, Hutchison JS (1981) Using attributed grammars to test designs and implementations. In: Proceedings of the 5th International Conference on Software Engineering (ICSE 5), San Diego, CA, March 1981, pp 170\u2013177"},{"key":"9025_CR9","unstructured":"Graphical Event-Driven Interface Specification and Compilation (GEDISAC) project of Esprit (1999). http:\/\/www.cordis.lu\/esprit\/src\/35151.htm"},{"key":"9025_CR10","unstructured":"Ghosh S, Mathur AP (1997) Testing for fault tolerance. SERC Technical Report TR-175P, August 1997"},{"key":"9025_CR11","doi-asserted-by":"crossref","unstructured":"Gupta N, Mathur AP, Soffa ML (2000) Generating test data for branch coverage. In: Proceedings of the International Conference on Automated Software Engineering (ASE), Grenoble, France, September 2000","DOI":"10.1109\/ASE.2000.873666"},{"key":"9025_CR12","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1147\/sj.94.0242","volume":"4","author":"KV Hanford","year":"1970","unstructured":"Hanford KV (1970) Automatic generation of test cases. IBM Syst J 4:242\u2013257","journal-title":"IBM Syst J"},{"key":"9025_CR13","unstructured":"Hastings D (2003) David Hastings\u2019 Comsats Page. http:\/\/users.ox.ac.uk\/~daveh\/Space\/Military\/milspace_comsat.html"},{"key":"9025_CR14","unstructured":"Hayes JH (1998) Input validation testing: a system level, early lifecycle technique. Ph.D. thesis, George Mason University, Fairfax, VA. Technical report. ISSE-TR-98-02, http:\/\/www.ise.gmu.edu\/techrep\/"},{"key":"9025_CR15","doi-asserted-by":"crossref","unstructured":"Hayes JH (2003) Building a requirement fault taxonomy: experiences from a NASA verification and validation research project. In: Proceedings of the Twelfth International Symposium on Software Reliability Engineering (ISSRE 2003), Denver, CO, November 2003, pp 49\u201359","DOI":"10.1109\/ISSRE.2003.1251030"},{"key":"9025_CR16","unstructured":"Hayes JH, Offutt J (1999) Increased software reliability through input validation analysis and testing. In: Proceedings of the Tenth IEEE International Symposium on Software Reliability Engineering, Boca Raton, Florida, November 1999, pp 199\u2013209"},{"key":"9025_CR17","unstructured":"Hayes JH, Weatherbee J, Zelinski L (1991) A tool for performing software interface analysis. In: Proceedings of the First International Conference on Software Quality, Dayton, OH, October 1991, pp 1\u201325"},{"key":"9025_CR18","doi-asserted-by":"crossref","unstructured":"Hayes JH, Dekhtyar A, Osborne J (2003) Improving requirements tracing via information retrieval. In: Proceedings of the International Conference on Requirements Engineering (RE\u20192003), September 2003, pp 138\u2013148","DOI":"10.1109\/ICRE.2003.1232745"},{"key":"9025_CR19","doi-asserted-by":"crossref","unstructured":"Hayes JH, Dekhtyar A, Sundaram S (2005) Text mining for software engineering: how analyst feedback impacts final results. In: Proceedings of Workshop on Mining Of Software Repositories (MSR), associated with ICSE 2005, St. Louis, MO, May 2005, pp 58\u201362","DOI":"10.1145\/1083142.1083153"},{"issue":"1","key":"9025_CR20","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1023\/A:1008607721339","volume":"4","author":"AE Howe","year":"1997","unstructured":"Howe AE, von Mayrhauser A, Mraz RT (1997) Test case generation as an AI planning problem. Autom Softw Eng 4(1):77\u2013106 (January)","journal-title":"Autom Softw Eng"},{"key":"9025_CR21","unstructured":"IEEE (1999) IEEE Standard 610.12\u20131999. Standard glossary of software engineering terminology"},{"issue":"1","key":"9025_CR22","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1093\/comjnl\/30.1.63","volume":"30","author":"DC Ince","year":"1987","unstructured":"Ince DC (1987) The automatic generation of test data. Comput J 30(1):63\u201369 (February)","journal-title":"Comput J"},{"issue":"4","key":"9025_CR23","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1109\/52.391832","volume":"12","author":"B Kitchenham","year":"1995","unstructured":"Kitchenham B, Pickard L, Pfleeger S (1995) Case studies for method and tool evaluation. IEEE Softw 12(4):52\u201362 (July)","journal-title":"IEEE Softw"},{"issue":"8","key":"9025_CR24","doi-asserted-by":"crossref","first-page":"870","DOI":"10.1109\/32.57624","volume":"16","author":"B Korel","year":"1990","unstructured":"Korel B (1990) Automated software test data generation. IEEE Trans Softw Eng 16(8):870\u2013879 (August)","journal-title":"IEEE Trans Softw Eng"},{"key":"9025_CR25","doi-asserted-by":"crossref","unstructured":"Lee D, Yannakakis M (1996) Principles and methods of testing finite state machines\u2014a survey. In: Proceedings of the IEEE, Berlin, Germany, August 1996, pp 1090\u20131123","DOI":"10.1109\/5.533956"},{"key":"9025_CR26","volume-title":"The craft of software testing: subsystem testing, including object-based and object-oriented testing","author":"B Marick","year":"1995","unstructured":"Marick, B (1995) The craft of software testing: subsystem testing, including object-based and object-oriented testing. Prentice-Hall, Englewood Cliffs, NJ"},{"issue":"4","key":"9025_CR27","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1109\/52.56422","volume":"7","author":"PM Maurer","year":"1990","unstructured":"Maurer PM (1990) Generating testing data with enhanced context-free grammars. IEEE Softw 7(4):50\u201355 (July)","journal-title":"IEEE Softw"},{"key":"9025_CR28","doi-asserted-by":"crossref","unstructured":"Memon A, Soffa ML, Pollack ME (2001) Coverage criteria for GUI testing. In: Proceedings of the Ninth ACM International Symposium on the Foundations of Software Engineering (FSE), Vienna, Austria, November 2001, pp 256\u2013267","DOI":"10.1145\/503209.503244"},{"key":"9025_CR29","unstructured":"Miller LA, Hayes JH, Mirsky S (1995) NUREG\/CR-6316, Volume 4, Guidelines for the Verification and Validation of Expert System Software and Conventional Software: Evaluation of Knowledge Base Certification Methods. U.S. Nuclear Regulatory Commission, March 1995"},{"issue":"8","key":"9025_CR30","doi-asserted-by":"crossref","first-page":"844","DOI":"10.1109\/32.57623","volume":"16","author":"LJ Morell","year":"1990","unstructured":"Morell LJ (1990) A theory of fault-based testing. IEEE Trans Softw Eng 16(8):844\u2013857 (August)","journal-title":"IEEE Trans Softw Eng"},{"issue":"8","key":"9025_CR31","doi-asserted-by":"crossref","first-page":"830","DOI":"10.1109\/32.83917","volume":"17","author":"T Nakajo","year":"1991","unstructured":"Nakajo T, Kume H (1991) A case history analysis of software error cause\u2013effect relationship. IEEE Trans Softw Eng 17(8):830\u2013838 (August)","journal-title":"IEEE Trans Softw Eng"},{"issue":"23","key":"9025_CR32","first-page":"50","volume":"43","author":"T Nakajo","year":"1989","unstructured":"Nakajo T, Sasabuchi K, Akiyama T (1989) Structure approach to software defect analysis. Hewlett-Packard J 43(23):50\u201356","journal-title":"Hewlett-Packard J"},{"key":"9025_CR33","doi-asserted-by":"crossref","unstructured":"Offutt J, Hayes JH (1996) A semantic model of program faults. In: Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), San Diego, CA, January 1996, pp 195\u2013200","DOI":"10.1145\/229000.226317"},{"issue":"6","key":"9025_CR34","doi-asserted-by":"crossref","first-page":"676","DOI":"10.1145\/62959.62964","volume":"31","author":"TJ Ostrand","year":"1988","unstructured":"Ostrand TJ, Balcer MJ (1988) The category-partition method for specifying and generating functional test. Commun ACM 31(6):676\u2013686 (June)","journal-title":"Commun ACM"},{"issue":"1","key":"9025_CR35","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1145\/953428.953435","volume":"13","author":"AJ Payne","year":"1978","unstructured":"Payne AJ (1978) A formalised technique for expressing compiler exercisers. SIGPLAN Not 13(1):59\u201369 (January)","journal-title":"SIGPLAN Not"},{"key":"9025_CR36","unstructured":"Perry DE, Evangelist WM (1985) An empirical study of software interface faults. In: Proceedings of the International Symposium on New Directions in Computing, Trondheim, Norway, August 1985, pp 32\u201338"},{"key":"9025_CR37","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/BF01932308","volume":"12","author":"P Purdom","year":"1972","unstructured":"Purdom P (1972) A sentence generator for testing parsers. BIT 12:366\u2013375","journal-title":"BIT"},{"key":"9025_CR38","doi-asserted-by":"crossref","unstructured":"von Mayrhauser A, Walls J, Mraz R (1994a) Sleuth: a domain based testing tool. In: Proceedings of the IEEE International Test Conference, Washington, D.C., October 1994, pp 840\u2013849","DOI":"10.1109\/TEST.1994.528031"},{"key":"9025_CR39","doi-asserted-by":"crossref","unstructured":"von Mayrhauser A, Walls J, Mraz R (1994b) Testing applications using domain based testing and Sleuth. In: Proceedings of the Fifth International Software Reliability Engineering Conference (ISSRE), Monterey, CA, November 1994, pp 206\u2013215","DOI":"10.1109\/ISSRE.1994.341375"},{"key":"9025_CR40","doi-asserted-by":"crossref","unstructured":"White LJ (1987) Software testing and verification. In: Advances in Computers, vol 26. M.C. YOVITS, Ed., Academic, Inc., pp 335\u2013390","DOI":"10.1016\/S0065-2458(08)60010-8"},{"key":"9025_CR41","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1109\/TSE.1980.234486","volume":"6","author":"LJ White","year":"1980","unstructured":"White, LJ, Cohen EI (1980) A domain strategy for computer program testing. IEEE Trans Softw Eng 6:247\u2013257","journal-title":"IEEE Trans Softw Eng"},{"key":"9025_CR42","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-4625-2","volume-title":"Experimentation in software engineering","author":"C Wohlin","year":"2000","unstructured":"Wohlin C, Runeson P, Host M, Ohlsson M, Regnell B, Wesslen A (2000) Experimentation in software engineering. Kluwer, London, England."},{"key":"9025_CR43","doi-asserted-by":"crossref","unstructured":"Woodward MR, Al-Khanjari ZA (2000) Testability, fault size and the domain-to-range ratio: An eternal triangle. In: Proceedings of the 2000 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA \u203200), Portland, OR, 2000, pp 168\u2013172","DOI":"10.1145\/347324.349016"}],"container-title":["Empirical Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-006-9025-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10664-006-9025-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-006-9025-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T17:15:07Z","timestamp":1559236507000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10664-006-9025-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,10,27]]},"references-count":43,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2006,11,20]]}},"alternative-id":["9025"],"URL":"https:\/\/doi.org\/10.1007\/s10664-006-9025-1","relation":{},"ISSN":["1382-3256","1573-7616"],"issn-type":[{"value":"1382-3256","type":"print"},{"value":"1573-7616","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,10,27]]}}}