{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T14:28:00Z","timestamp":1693837680139},"reference-count":76,"publisher":"Elsevier","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1016\/s0065-2458(08)60010-8","type":"book-chapter","created":{"date-parts":[[2011,1,19]],"date-time":"2011-01-19T05:56:15Z","timestamp":1295416575000},"page":"335-391","source":"Crossref","is-referenced-by-count":25,"title":["Software Testing and Verification"],"prefix":"10.1016","author":[{"given":"Lee J.","family":"White","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0065-2458(08)60010-8_bib1","series-title":"\u201cSoftware Testing Techniques\u201d","author":"Beizer","year":"1983"},{"issue":"2","key":"10.1016\/S0065-2458(08)60010-8_bib2","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/0304-3975(85)90090-8","article-title":"A contribution to the theory of program testing","volume":"37","author":"Bouge","year":"1985","journal-title":"Theor. Comput. Sci."},{"key":"10.1016\/S0065-2458(08)60010-8_bib3","first-page":"261","article-title":"Application of PROLOG to test sets generation from algebraic specifications","volume":"2","author":"Bouge","year":"1985"},{"key":"10.1016\/S0065-2458(08)60010-8_bib4","doi-asserted-by":"crossref","unstructured":"R.S. Boyer B. Elspas K.N. Levitt (1975) SELECT\u2014A formal system for testing and debugging programs by symbolic execution. Proc. Int. Conf. Reliable Software, pp. 234-245","DOI":"10.1145\/800027.808445"},{"key":"10.1016\/S0065-2458(08)60010-8_bib5","series-title":"\u201cTheory of Computation\u201d","author":"Brainerd","year":"1974"},{"key":"10.1016\/S0065-2458(08)60010-8_bib6","series-title":"\u201cComputer Program Testing\u201d","first-page":"129","article-title":"Mutation analysis: Ideas, examples, problems and prospects","author":"Budd","year":"1981"},{"key":"10.1016\/S0065-2458(08)60010-8_bib7","unstructured":"T.A. Budd R. DeMillo R.J. Lipton F.G. Sayward (1978) The design of a prototype mutation system for program testing. Proc. ACM Nat. Comput. Conf., pp. 623-627"},{"key":"10.1016\/S0065-2458(08)60010-8_bib8","doi-asserted-by":"crossref","unstructured":"R. Cartwright (1981) Formal program testing. Proc. 8th Annu. ACM Symp. Principles Program. Lang., pp. 126-132","DOI":"10.1145\/567532.567546"},{"issue":"4","key":"10.1016\/S0065-2458(08)60010-8_bib9","doi-asserted-by":"crossref","first-page":"402","DOI":"10.1109\/TSE.1979.234207","article-title":"Symbolic evaluation and the analysis of programs","volume":"SE-5","author":"Cheatham","year":"1979","journal-title":"IEEE Trans. Software Eng."},{"issue":"3","key":"10.1016\/S0065-2458(08)60010-8_bib10","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1109\/TSE.1976.233817","article-title":"A system to generate test data and symbolically execute programs","volume":"SE-2","author":"Clarke","year":"1976","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60010-8_bib11","series-title":"\u201cComputer Program Testing\u201d","first-page":"65","article-title":"Symbolic evaluation methods\u2014Implementations and applications","author":"Clarke","year":"1981"},{"issue":"4","key":"10.1016\/S0065-2458(08)60010-8_bib12","doi-asserted-by":"crossref","first-page":"380","DOI":"10.1109\/TSE.1982.235572","article-title":"A close look at domain testing","volume":"SE-8","author":"Clarke","year":"1982","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60010-8_bib13","unstructured":"L.A. Clarke A. Podgurski D.J. Richardson S.J. Zeil (1985) A comparison of data flow path selection criteria. Proc. 8th Int. Conf. Software Eng., pp. 244-251"},{"key":"10.1016\/S0065-2458(08)60010-8_bib14","doi-asserted-by":"crossref","first-page":"233","DOI":"10.2307\/2318447","article-title":"Hilbert's tenth problem is unsolvable","volume":"80","author":"Davis","year":"1973","journal-title":"Amer. Math. Mon."},{"key":"10.1016\/S0065-2458(08)60010-8_bib15","unstructured":"J.D. Day J.D. Gannon (1985) A test oracle based on formal specifications. Proc. SoftFair II, pp. 126-130"},{"issue":"4","key":"10.1016\/S0065-2458(08)60010-8_bib16","doi-asserted-by":"crossref","first-page":"34","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":"Computer"},{"key":"10.1016\/S0065-2458(08)60010-8_bib17","unstructured":"J.W. Duran S.C. Ntafos (1981) A report on random testing. Proc. 5th Int. Conf. Software Eng., pp. 179-183"},{"issue":"3","key":"10.1016\/S0065-2458(08)60010-8_bib18","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1145\/356674.356676","article-title":"Data-flow analysis in software reliability","volume":"8","author":"Fosdick","year":"1976","journal-title":"ACM Comput. Surv."},{"issue":"3","key":"10.1016\/S0065-2458(08)60010-8_bib19","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1109\/TSE.1980.234487","article-title":"Error sensitive test case analysis (ESTCA)","volume":"SE-6","author":"Foster","year":"1980","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60010-8_bib20","first-page":"46","article-title":"A data-flow testing tool","volume":"II","author":"Frankl","year":"1985","journal-title":"Proc. SoftFair"},{"issue":"3","key":"10.1016\/S0065-2458(08)60010-8_bib21","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1145\/357139.357140","article-title":"Data-abstraction implementation, specification and testing","volume":"3","author":"Gannon","year":"1981","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"10.1016\/S0065-2458(08)60010-8_bib22","unstructured":"S. Gerhart (1985) Test data generation using PROLOG. Tech. Report No. 2, Wang Institute of Graduate Studies, Tyngsboro, Mass"},{"issue":"2","key":"10.1016\/S0065-2458(08)60010-8_bib23","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1109\/TSE.1975.6312836","article-title":"Toward a theory of test data selection","volume":"SE-1","author":"Goodenough","year":"1975","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60010-8_bib24","unstructured":"J.S. Gourlay (1981) Theory of testing computer programs. Ph.D. dissertation, Department of Computer and Communication Sciences, The University of Michigan, Ann Arbor, Michigan"},{"issue":"6","key":"10.1016\/S0065-2458(08)60010-8_bib25","doi-asserted-by":"crossref","first-page":"686","DOI":"10.1109\/TSE.1983.235433","article-title":"A mathematical framework for the investigation of testing","volume":"SE-9","author":"Gourlay","year":"1983","journal-title":"IEEE Trans. Software Eng."},{"issue":"3","key":"10.1016\/S0065-2458(08)60010-8_bib26","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1093\/comjnl\/20.3.232","article-title":"Testing programs with finite sets of data","volume":"20","author":"Hamlet","year":"1977","journal-title":"Comput. J."},{"issue":"4","key":"10.1016\/S0065-2458(08)60010-8_bib27","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/TSE.1977.231145","article-title":"Testing programs with the aid of a compiler","volume":"SE-3","author":"Hamlet","year":"1977","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60010-8_bib28","series-title":"\u201cFlow Analysis of Computer Programs\u201d","author":"Hecht","year":"1977"},{"issue":"3","key":"10.1016\/S0065-2458(08)60010-8_bib29","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1109\/TSE.1976.233816","article-title":"Reliability of the path analysis testing strategy","volume":"SE-2","author":"Howden","year":"1976","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60010-8_bib30","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/BF00260923","article-title":"Algebraic program testing","volume":"10","author":"Howden","year":"1978","journal-title":"ACTA Inform"},{"key":"10.1016\/S0065-2458(08)60010-8_bib31","series-title":"\u201cTutorial: Software Testing and Validation Techniques\u201d","first-page":"209","article-title":"A survey of dynamic analysis methods","author":"Howden","year":"1978"},{"issue":"2","key":"10.1016\/S0065-2458(08)60010-8_bib32","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1109\/TSE.1980.230467","article-title":"Functional program testing","volume":"SE-6","author":"Howden","year":"1980","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60010-8_bib33","unstructured":"W.E. Howden (1981) Completeness criteria for testing elementary program functions. Proc. 5th Int. Conf. Software Eng., pp. 235-243"},{"issue":"4","key":"10.1016\/S0065-2458(08)60010-8_bib34","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1109\/TSE.1982.235571","article-title":"Weak mutation testing and completeness of program test sets","volume":"SE-8","author":"Howden","year":"1982","journal-title":"IEEE Trans. Software Eng."},{"issue":"5","key":"10.1016\/S0065-2458(08)60010-8_bib35","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1109\/MS.1985.231754","article-title":"The theory and practice of functional testing","volume":"2","author":"Howden","year":"1985","journal-title":"IEEE Software"},{"key":"10.1016\/S0065-2458(08)60010-8_bib36","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1145\/356651.356652","article-title":"An approach to program testing","volume":"7","author":"Huang","year":"1975","journal-title":"Comput. Surv."},{"issue":"3","key":"10.1016\/S0065-2458(08)60010-8_bib37","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1109\/TSE.1979.234184","article-title":"Detection of data flow anomaly through program instrumentation","volume":"SE-5","author":"Huang","year":"1979","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60010-8_bib38","unstructured":"J.C. Huang \u201cIMSL Library Reference Manual\u201d. Int. Math. and Statist. Libraries, Houston. 1978"},{"issue":"6","key":"10.1016\/S0065-2458(08)60010-8_bib39","first-page":"110","article-title":"Design methodology subcommittee chairperson's letter and matrix","volume":"2","author":"Kerner","year":"1983","journal-title":"Ada Lett."},{"key":"10.1016\/S0065-2458(08)60010-8_bib40","first-page":"34","article-title":"A tool for data flow oriented program testing","volume":"II","author":"Korel","year":"1985","journal-title":"Proc. SoftFair"},{"issue":"3","key":"10.1016\/S0065-2458(08)60010-8_bib41","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1109\/TSE.1983.236871","article-title":"A data flow oriented program testing strategy","volume":"SE-9","author":"Laski","year":"1983","journal-title":"IEEE Trans. Software Eng."},{"issue":"3","key":"10.1016\/S0065-2458(08)60010-8_bib42","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1109\/TSE.1983.236869","article-title":"Combining testing with formal specifications: A case study","volume":"SE-9","author":"McMullin","year":"1983","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60010-8_bib43","series-title":"\u201cTutorial: Software Testing and Validation Techniques\u201d","author":"Miller","year":"1981"},{"key":"10.1016\/S0065-2458(08)60010-8_bib44","series-title":"\u201cThe Art of Software Testing\u201d","author":"Myers","year":"1979"},{"issue":"6","key":"10.1016\/S0065-2458(08)60010-8_bib45","doi-asserted-by":"crossref","first-page":"795","DOI":"10.1109\/TSE.1984.5010308","article-title":"On required element testing","volume":"SE-10","author":"Ntafos","year":"1984","journal-title":"IEEE Trans. Software Eng."},{"issue":"5","key":"10.1016\/S0065-2458(08)60010-8_bib46","doi-asserted-by":"crossref","first-page":"520","DOI":"10.1109\/TSE.1979.234213","article-title":"On path cover problems in digraphs and applications to program testing","volume":"SE-5","author":"Ntafos","year":"1979","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60010-8_bib47","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1002\/spe.4380060405","article-title":"DAVE\u2014A validation, error detection and documentation system for FORTRAN programs","volume":"6","author":"Osterweil","year":"1978","journal-title":"Software Pract. Experience."},{"key":"10.1016\/S0065-2458(08)60010-8_bib48","series-title":"\u201cComputer Program Testing\u201d","first-page":"35","article-title":"Error and anomaly diagnosis through data flow analysis","author":"Osterweil","year":"1981"},{"issue":"3","key":"10.1016\/S0065-2458(08)60010-8_bib49","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1109\/TSE.1975.6312853","article-title":"Program graphs, an algebra and their implication for programming","volume":"SE-1","author":"Paige","year":"1975","journal-title":"IEEE Trans. Software Eng."},{"issue":"5","key":"10.1016\/S0065-2458(08)60010-8_bib50","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1145\/355602.361309","article-title":"A technique for software module specification with examples","volume":"15","author":"Parnas","year":"1972","journal-title":"Commun. ACM"},{"key":"10.1016\/S0065-2458(08)60010-8_bib51","series-title":"Selecting test data for the domain testing strategy","author":"Perera","year":"1985"},{"key":"10.1016\/S0065-2458(08)60010-8_bib52","unstructured":"H. Pesch P. Schnupp H. Schaller A.P. Spirk (1985) Test case generation using PROLOG. Proc. 8th Int. Conf. Software Eng., pp. 252-258"},{"issue":"4","key":"10.1016\/S0065-2458(08)60010-8_bib53","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1109\/TSE.1975.6312872","article-title":"Optimal placement of software monitors aiding systematic testing","volume":"SE-1","author":"Ramamoorthy","year":"1975","journal-title":"IEEE Trans. Software Eng."},{"issue":"4","key":"10.1016\/S0065-2458(08)60010-8_bib54","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1109\/TSE.1985.232226","article-title":"Selecting software test data using data flow information","volume":"SE-11","author":"Rapps","year":"1985","journal-title":"IEEE Trans. Software Eng."},{"issue":"2","key":"10.1016\/S0065-2458(08)60010-8_bib55","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1109\/TSE.1983.236597","article-title":"An engineering approach to test data design","volume":"SE-9","author":"Redwine","year":"1983","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60010-8_bib56","unstructured":"D.J. Richardson L.A. Clarke (1981) A partition analysis method to increase program reliability. Proc. 5th Int. Conf. Software Eng., pp. 244-253"},{"issue":"12","key":"10.1016\/S0065-2458(08)60010-8_bib57","doi-asserted-by":"crossref","first-page":"1477","DOI":"10.1109\/TSE.1985.231892","article-title":"Partition analysis: A method of combining testing and verification","volume":"SE-11","author":"Richardson","year":"1985","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60010-8_bib58","series-title":"\u201cCurrent Trends in Programming Methodology, Vol. 2: Program Validation\u201d","first-page":"80","article-title":"New directions in automated tools for improving software quality","author":"Stucki","year":"1977"},{"issue":"3","key":"10.1016\/S0065-2458(08)60010-8_bib59","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1109\/TSE.1980.234488","article-title":"Anomaly detection in concurrent software by static data flow analysis","volume":"SE-6","author":"Taylor","year":"1980","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60010-8_bib60","series-title":"\u201cProtocol Specification, Testing and Verification III\u201d","first-page":"421","article-title":"User-guided test sequence generation","author":"Ural","year":"1983"},{"key":"10.1016\/S0065-2458(08)60010-8_bib61","unstructured":"J.E. Urban (1982) Software development with executable function specifications. Proc. 6th Int. Conf. Software Eng., pp. 418-419"},{"key":"10.1016\/S0065-2458(08)60010-8_bib62","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1007\/BF00995175","article-title":"The applicability of program schema results to programs","volume":"8","author":"Weyuker","year":"1979","journal-title":"Int. J. Comput. Inf. Sci."},{"issue":"2","key":"10.1016\/S0065-2458(08)60010-8_bib63","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0020-0190(84)90106-6","article-title":"The complexity of data flow criteria for test data selection","volume":"19","author":"Weyuker","year":"1984","journal-title":"Inf. Process. Lett."},{"issue":"3","key":"10.1016\/S0065-2458(08)60010-8_bib64","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1109\/TSE.1980.234485","article-title":"Theories of program testing and the application of revealing subdomains","volume":"SE-6","author":"Weyuker","year":"1980","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60010-8_bib65","series-title":"\u201cComputer Program Testing\u201d","first-page":"13","article-title":"Basic mathematical definitions and results in testing","author":"White","year":"1981"},{"issue":"3","key":"10.1016\/S0065-2458(08)60010-8_bib66","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1109\/TSE.1980.234486","article-title":"A domain strategy for computer program testing","volume":"SE-6","author":"White","year":"1980","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60010-8_bib67","unstructured":"L.J. White P.N. Sahay (1985) Experiments determining best paths for testing computer program predicates. Proc. 8th Int. Conf. Software Eng., pp. 238-243"},{"key":"10.1016\/S0065-2458(08)60010-8_bib68","series-title":"An error analysis of the domain testing strategy","author":"White","year":"1978"},{"key":"10.1016\/S0065-2458(08)60010-8_bib69","series-title":"\u201cComputer Program Testing\u201d","first-page":"103","article-title":"A domain strategy for computer program testing","author":"White","year":"1981"},{"key":"10.1016\/S0065-2458(08)60010-8_bib70","unstructured":"B.W. Wiszniewski (1985) Can domain testing overcome loop analysis? Proc. 9th Comput. Software Appl. Conf., pp. 304-309"},{"issue":"3","key":"10.1016\/S0065-2458(08)60010-8_bib71","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1109\/TSE.1980.230473","article-title":"Experience with path analysis and testing of programs","volume":"SE-6","author":"Woodward","year":"1980","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60010-8_bib72","unstructured":"S.J. Zeil (1981) Selecting sufficient sets of test paths for program testing. Ph.D. dissertation, Ohio State University, Columbus, Ohio. Tech. Report OSU-CISRC-TR-81-10"},{"key":"10.1016\/S0065-2458(08)60010-8_bib73","unstructured":"S.J. Zeil (1983a) Perturbation testing for domain errors. Tech. Report 83-38, Univ. Mass., Amherst, Mass"},{"issue":"3","key":"10.1016\/S0065-2458(08)60010-8_bib74","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1109\/TSE.1983.236870","article-title":"Testing for perturbations of program statements","volume":"SE-9","author":"Zeil","year":"1983","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60010-8_bib75","series-title":"Perturbation testing for computational errors","author":"Zeil","year":"1984"},{"key":"10.1016\/S0065-2458(08)60010-8_bib76","unstructured":"S.J. Zeil L.J. White (1981) Sufficient test sets for path analysis testing strategies. Proc. 5th IEEE Int. Conf. Software Eng., pp. 184-191"}],"container-title":["Advances in Computers","Advances in Computers Volume 26"],"original-title":[],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T23:46:47Z","timestamp":1559951207000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0065245808600108"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"references-count":76,"URL":"https:\/\/doi.org\/10.1016\/s0065-2458(08)60010-8","relation":{},"ISSN":["0065-2458"],"issn-type":[{"value":"0065-2458","type":"print"}],"subject":[],"published":{"date-parts":[[1987]]}}}