{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:01Z","timestamp":1755220921047,"version":"3.43.0"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,3,1]],"date-time":"1997-03-01T00:00:00Z","timestamp":857174400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,3,1]],"date-time":"1997-03-01T00:00:00Z","timestamp":857174400000},"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":["Software Quality Journal"],"published-print":{"date-parts":[[1997,3]]},"DOI":"10.1023\/a:1018535229843","type":"journal-article","created":{"date-parts":[[2003,2,6]],"date-time":"2003-02-06T18:01:37Z","timestamp":1044554497000},"page":"13-36","source":"Crossref","is-referenced-by-count":3,"title":["FAST: a framework for automating statistics-based testing"],"prefix":"10.1007","volume":"6","author":[{"given":"Huey-Der","family":"Chu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John E.","family":"Dobson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I-Chiang","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"6","key":"173857_CR1","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/52.60588","volume":"7","author":"J.D. Musa","year":"1990","unstructured":"J.D. Musa, and W.W. Everett. Software-reliability engineering: technology for the 1990s, 1EEE Software, 7(6) (1990) 36-43.","journal-title":"1EEE Software"},{"key":"173857_CR2","volume-title":"Software Quality Engineering - A Total Technical and Management Approach","author":"M.S. Deutsch","year":"1988","unstructured":"M.S. Deutsch and R.R. Willis. Software Quality Engineering - A Total Technical and Management Approach (Prentice Hall International, London, 1988)."},{"key":"173857_CR3","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1093\/comjnl\/30.1.63","volume":"30","author":"D. Ince","year":"1987","unstructured":"D. Ince. The automatic generation of test data, Computer Journal, 30(1987) 63-69.","journal-title":"Computer Journal"},{"key":"173857_CR4","volume-title":"The Art of Software Testing","author":"G.J. Myers","year":"1978","unstructured":"G.J. Myers. The Art of Software Testing (John Wiley & Sons, New York, 1978)."},{"key":"173857_CR5","volume-title":"Software Testing Tools","author":"S. Norman","year":"1993","unstructured":"S. Norman. Software Testing Tools (Ovum Ltd, London, 1993)."},{"key":"173857_CR6","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/978-3-642-79789-7_16","volume-title":"Predictably Dependable Computing Systems","author":"B. Marre","year":"1995","unstructured":"B. Marre, P. Th\u00e9venod-Fosse, H. Waeselynck, P.L. Gall, and Y. Grouzet. An experimental evaluation of formal testing and statistical testing, in Predictably Dependable Computing Systems (Springer, London, 1995), pp. 273-281."},{"key":"173857_CR7","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1109\/TSE.1986.6312914","volume":"SE-12","author":"P.A. Curritt","year":"1986","unstructured":"P.A. Curritt, M Dyer and H.D. Mills. Certifying the reliability of software, IEEE Transactions on Software Engineering, SE-12(1986) 3-11.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"173857_CR8","doi-asserted-by":"publisher","first-page":"812","DOI":"10.1109\/32.328991","volume":"SE-20","author":"J.A. Whittaker","year":"1994","unstructured":"J.A. Whittaker and M.G. Thomason. A Markov chain model for statistical software testing, IEEE Transactions on Software Engineering, SE-20(1994) 812-824.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"173857_CR9","volume-title":"The Cleanroom Approach to Quality Software Development","author":"M. Dyer","year":"1992","unstructured":"M. Dyer. The Cleanroom Approach to Quality Software Development (John Wiley & Sons, New York, 1992)."},{"key":"173857_CR10","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/978-3-642-79789-7_15","volume-title":"Predictably Dependable Computing Systems","author":"P. Th\u00e9venod-Fosse","year":"1995","unstructured":"P. Th\u00e9venod-Fosse, P. Waeselynck, H. and Y. Crouzet. Software statistical testing. In Predictably Dependable Computing Systems (Springer, London, 1995), pp. 253-272."},{"key":"173857_CR11","volume-title":"Quality Programming - Development and Testing Software with Statistical Quality Control","author":"C.K. Cho","year":"1988","unstructured":"C.K. Cho. Quality Programming - Development and Testing Software with Statistical Quality Control (John Wiley & Sons, New York, 1988)."},{"issue":"2","key":"173857_CR12","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1002\/stvr.4370010203","volume":"1","author":"P. Th\u00e9venod-Fosse","year":"1991","unstructured":"P. Th\u00e9venod-Fosse and H. Waeselynck. An investigation of statistical software testing, Journal of Software Testing, Verification and Reliability, 1(2) (1991), 5-25.","journal-title":"Journal of Software Testing, Verification and Reliability"},{"key":"173857_CR13","volume-title":"Testing in Software Development","author":"M.A. Ould","year":"1986","unstructured":"M.A. Ould and C. Unwin. Testing in Software Development (Cambridge University Press, Cambridge, 1986)."},{"key":"173857_CR14","volume-title":"Software Testing","author":"M. Roper","year":"1994","unstructured":"M. Roper. Software Testing (McGraw-Hill, London, 1994)"},{"key":"173857_CR15","volume-title":"Software Engineering","author":"I. Sommerville","year":"1996","unstructured":"I. Sommerville. Software Engineering, 5th edn (Addison-Wesley, Wokingham, 1996).","edition":"5th edn"},{"key":"173857_CR16","volume-title":"Software Engineering: Principles and Practice","author":"H.V. Vliet","year":"1994","unstructured":"H.V. Vliet. Software Engineering: Principles and Practice (John Wiley & Sons, New York, 1994."},{"issue":"2","key":"173857_CR17","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1109\/52.2014","volume":"5","author":"W.S. Humphrey","year":"1988","unstructured":"W.S. Humphrey. Characterizing the software process: a maturity framework, IEEE Software, 5(2) (1988) 73-79.","journal-title":"IEEE Software"},{"key":"173857_CR18","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1147\/sj.153.0182","volume":"15","author":"M.E. Fagan","year":"1976","unstructured":"M.E. Fagan. Design and code inspections to reduce errors in program development, IBM Systems Journal, 15(1976) 182-211.","journal-title":"IBM Systems Journal"},{"key":"173857_CR19","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1145\/359104.359106","volume":"22","author":"R.A. DeMillo","year":"1979","unstructured":"R.A. DeMillo, R.J. Lipton and A.J. Perlis. Social processes and the proofs of theorems and programs, Communications of the ACM, 22(1979) 271-280.","journal-title":"Communications of the ACM"},{"key":"173857_CR20","first-page":"744","volume":"SE-12","author":"M.E. Fagan","year":"1986","unstructured":"M.E. Fagan. Advances in inspections, IEEE Transactions on Software Engineering, SE-12(1986) 744-751.","journal-title":"Advances in inspections, IEEE Transactions on Software Engineering"},{"key":"173857_CR21","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1109\/MS.1987.231413","volume":"4","author":"H.D. Mills","year":"1987","unstructured":"H.D. Mills, M. Dyer and R. Linger. Cleanroom software engineering, IEEE Software\n4(1987) 19-25.","journal-title":"IEEE Software"},{"key":"173857_CR22","volume-title":"Black-Box Testing","author":"B. Beizer","year":"1995","unstructured":"B. Beizer. Black-Box Testing (John Wiley & Sons, New York, 1995)."},{"key":"173857_CR23","doi-asserted-by":"crossref","first-page":"1278","DOI":"10.1109\/TSE.1987.232881","volume":"SE-13","author":"V.R. Basili","year":"1987","unstructured":"V.R. Basili and R.W. Selby. Comparing the effectiveness of software testing strategies, IEEE Transactions on Software Engineering, SE-13(1987) 1278-1296.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"173857_CR24","volume-title":"Automating Specification-Based Software Testing","author":"R.M. Poston","year":"1996","unstructured":"R.M. Poston. Automating Specification-Based Software Testing (IEEE Computer Society Press, Los Alamitos, CA, 1996)."},{"key":"173857_CR25","volume-title":"Software Testing in the Real World: Improving the Process","author":"E. Kit","year":"1995","unstructured":"E. Kit. Software Testing in the Real World: Improving the Process (Addison-Wesley, Wokingham, 1995)."},{"issue":"6","key":"173857_CR26","doi-asserted-by":"publisher","first-page":"662","DOI":"10.1145\/62959.62962","volume":"31","author":"D. Hamlet","year":"1988","unstructured":"D. Hamlet. Special section on software testing. Communication of the ACM, 31(6) (1988) 662-667.","journal-title":"Communication of the ACM"},{"issue":"3","key":"173857_CR27","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/52.28120","volume":"6","author":"J.D. Musa","year":"1989","unstructured":"J.D. Musa and A.F. Ackerman. Quantifying software validation: when to stop testing? IEEE Software, 6(3) (1989) 19-27.","journal-title":"IEEE Software"},{"issue":"6","key":"173857_CR28","first-page":"636","volume":"33","author":"D. Parnas","year":"1990","unstructured":"D. Parnas, J.V. Schouwen and S.P. Kwan. Evaluation of safety-critical software. Communication of the CAM, 33(6) (1990) 636-648.","journal-title":"Communication of the CAM"},{"key":"173857_CR29","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/BF00402650","volume":"4","author":"H.M. H\u00f6rcher","year":"1995","unstructured":"H.M. H\u00f6rcher, and J. Peleska. Using formal specifications to support software testing, Software Quality Journal, 4(1995) 309-327.","journal-title":"Software Quality Journal"},{"key":"173857_CR30","first-page":"248","volume":"SE-22","author":"H. Zhu","year":"1996","unstructured":"H. Zhu. A formal analysis of the subsume relation between software testing adequacy criteria, IEEE Transactions on Software Engineering, SE-22(1996) 248-255.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"173857_CR31","volume-title":"Proceedings of the 9th International Software Quality Week","author":"M. Deck","year":"1996","unstructured":"M. Deck. Cleanroom practice: a theme and variations, in Proceedings of the 9th International Software Quality Week (Software Research Institute, San Francisco, 1996)."},{"key":"173857_CR32","series-title":"Technical Report","volume-title":"Software statistical quality assurance","author":"I.C. Liu","year":"1992","unstructured":"I.C. Liu, R.D. Yang, H.D. Chu, F.H Liu, and C.S. Chang. Software statistical quality assurance, Technical Report, Institute for Information and Industry, Taiwan, 1992."},{"key":"173857_CR33","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/BF00402646","volume":"4","author":"R.V. Megen","year":"1995","unstructured":"R.V. Megen, and D.B. Meyerhoff. Costs and benefits of early defect detection: experiences from developing client serve and host applications, Software Quality Journal, 4(1995) 247-256.","journal-title":"Software Quality Journal"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018535229843.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018535229843\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018535229843.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:02:09Z","timestamp":1754629329000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018535229843"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,3]]},"references-count":33,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,3]]}},"alternative-id":["173857"],"URL":"https:\/\/doi.org\/10.1023\/a:1018535229843","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"type":"print","value":"0963-9314"},{"type":"electronic","value":"1573-1367"}],"subject":[],"published":{"date-parts":[[1997,3]]}}}