{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T06:08:01Z","timestamp":1710396481667},"reference-count":39,"publisher":"Elsevier","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1016\/s0065-2458(08)60234-x","type":"book-chapter","created":{"date-parts":[[2011,1,19]],"date-time":"2011-01-19T00:56:15Z","timestamp":1295398575000},"page":"191-229","source":"Crossref","is-referenced-by-count":8,"title":["Software Quality, Software Process, and Software Testing"],"prefix":"10.1016","author":[{"given":"Dick","family":"Hamlet","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0065-2458(08)60234-X_bib1","first-page":"355","article-title":"Self-checking against formal specifications.","author":"Antoy","year":"1992","journal-title":"Int. Conf. Comput. Inf., Toronto, 1992"},{"key":"10.1016\/S0065-2458(08)60234-X_bib2","series-title":"\u201cProceedings of the 3rd Symposium on Software Testing, Analysis, and Verification\u201d","first-page":"210","article-title":"Automatic generation of test scripts from formal test specifications.","author":"Balcer","year":"1989"},{"key":"10.1016\/S0065-2458(08)60234-X_bib3","doi-asserted-by":"crossref","first-page":"1278","DOI":"10.1109\/TSE.1987.232881","article-title":"Comparing the effectiveness of software testing strategies.","volume":"SE-13","author":"Basili","year":"1987","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60234-X_bib4","series-title":"\u201c21st ACM Symposium of Theory of Computing\u201d","first-page":"86","article-title":"Designing programs that check their work.","author":"Blum","year":"1989"},{"key":"10.1016\/S0065-2458(08)60234-X_bib5","series-title":"\u201cSoftware for Critical Systems\u201d","first-page":"66","article-title":"The infeasibility of experimental quantification of life-critical software reliability.","author":"Butler","year":"1991"},{"key":"10.1016\/S0065-2458(08)60234-X_bib6","unstructured":"Campbell, J. (1990). Data-flow analysis of software change. Master's Thesis, Oregon Graduate Center, Portland."},{"key":"10.1016\/S0065-2458(08)60234-X_bib7","first-page":"44","article-title":"Engineering software under statistical quality control.","author":"Cobb","year":"1990","journal-title":"IEEE Software"},{"key":"10.1016\/S0065-2458(08)60234-X_bib8","series-title":"\u201cStructured Programming.\u201d","author":"Dahl","year":"1972"},{"key":"10.1016\/S0065-2458(08)60234-X_bib9","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)60234-X_bib10","doi-asserted-by":"crossref","first-page":"438","DOI":"10.1109\/TSE.1984.5010257","article-title":"An evaluation of random testing.","volume":"SE-10","author":"Duran","year":"1984","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60234-X_bib11","doi-asserted-by":"crossref","first-page":"1483","DOI":"10.1109\/32.6194","article-title":"An applicable famile of data flow testing criteria.","volume":"SE-14","author":"Frankl","year":"1988","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60234-X_bib12","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1109\/32.221133","article-title":"A formal analysis of the fault-detecting ability of testing methods.","volume":"SE-19","author":"Frankl","year":"1993","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60234-X_bib13","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)60234-X_bib14","series-title":"\u201cProceedings of the 15th International Conference on Software Engineering\u201d","first-page":"24","article-title":"Observations on industrial practice using formal methods.","author":"Gerhart","year":"1993"},{"key":"10.1016\/S0065-2458(08)60234-X_bib15","first-page":"156","article-title":"Towards a theory of test data selection.","volume":"SE-2","author":"Goodenough","year":"1976","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60234-X_bib16","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)60234-X_bib17","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0020-0190(87)90088-3","article-title":"Probable correctness theory.","volume":"25","author":"Hamlet","year":"1987","journal-title":"Inf. Process. Lett."},{"key":"10.1016\/S0065-2458(08)60234-X_bib18","series-title":"\u201cProceedings of the 3rd Symposium on Software Testing, Analysis, and Verification\u201d","first-page":"28","article-title":"Theoretical comparison of testing methods.","author":"Hamlet","year":"1989"},{"key":"10.1016\/S0065-2458(08)60234-X_bib19","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1109\/52.143097","article-title":"Are we testing for true reliability?","author":"Hamlet","year":"1992","journal-title":"IEEE Software"},{"key":"10.1016\/S0065-2458(08)60234-X_bib20","series-title":"\u201cPrototype Testing Tools.\u201d","author":"Hamlet","year":"1993"},{"key":"10.1016\/S0065-2458(08)60234-X_bib21","first-page":"970","article-title":"Random testing.","author":"Hamlet","year":"1994"},{"key":"10.1016\/S0065-2458(08)60234-X_bib22","doi-asserted-by":"crossref","first-page":"1402","DOI":"10.1109\/32.62448","article-title":"Partition testing does not inspire confidence.","volume":"SE-16","author":"Hamlet","year":"1990","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60234-X_bib23","series-title":"\u201cProceedings of the International Symposium on Software Testing and Analysis\u201d","first-page":"89","article-title":"Faults on its sleeve: Amplifying software reliability.","author":"Hamlet","year":"1993"},{"key":"10.1016\/S0065-2458(08)60234-X_bib24","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)60234-X_bib25","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1109\/TSE.1982.235571","article-title":"Weak mutation testing and completeness of test sets.","volume":"SE-8","author":"Howden","year":"1982","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60234-X_bib26","volume":"2","author":"Knuth","year":"1981"},{"key":"10.1016\/S0065-2458(08)60234-X_bib27","first-page":"147","article-title":"Experience with the cost of different coverage goals for testing.","author":"Marick","year":"1991","journal-title":"\u201cPacific Northwest Software Quality Conference,\u201d Portland, OR"},{"key":"10.1016\/S0065-2458(08)60234-X_bib28","series-title":"\u201cSoftware Reliability: Measurement, Prediction, Application.\u201d","author":"Musa","year":"1987"},{"key":"10.1016\/S0065-2458(08)60234-X_bib29","series-title":"\u201cThe Art of Software Testing.\u201d","author":"Myers","year":"1979"},{"key":"10.1016\/S0065-2458(08)60234-X_bib30","first-page":"250","article-title":"A comparison of some structural testing strategies.","volume":"SE-14","author":"Ntafos","year":"1988","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60234-X_bib31","doi-asserted-by":"crossref","first-page":"638","DOI":"10.1145\/78973.78974","article-title":"Evaluation of safety-critical software.","volume":"33","author":"Parnas","year":"1990","journal-title":"Commun. ACM"},{"key":"10.1016\/S0065-2458(08)60234-X_bib32","doi-asserted-by":"crossref","first-page":"965","DOI":"10.1109\/32.58784","article-title":"A formal model of program dependences and its implication for software testing, debugging, and maintenance.","volume":"SE-16","author":"Podgurski","year":"1990","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60234-X_bib33","series-title":"\u201cProceedings of the 8th International Conference on Software Engineering\u201d","first-page":"306","article-title":"Analyzing the test process using structural coverage.","author":"Ramsey","year":"1985"},{"key":"10.1016\/S0065-2458(08)60234-X_bib34","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."},{"key":"10.1016\/S0065-2458(08)60234-X_bib35","series-title":"\u201cSoftware Engineering Design, Reliability, and Management.\u201d","author":"Shooman","year":"1983"},{"key":"10.1016\/S0065-2458(08)60234-X_bib36","series-title":"\u201cSoftware Reliability.\u201d","author":"Thayer","year":"1978"},{"key":"10.1016\/S0065-2458(08)60234-X_bib37","series-title":"\u201cProceedings of the 3rd International Symposium on Software Reliability Engineering\u201d","first-page":"114","article-title":"Improving the software development process using testability research.","author":"Voas","year":"1992"},{"key":"10.1016\/S0065-2458(08)60234-X_bib38","doi-asserted-by":"crossref","first-page":"703","DOI":"10.1109\/32.83906","article-title":"Analyzing partition testing strategies.","volume":"SE-17","author":"Weyuker","year":"1991","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0065-2458(08)60234-X_bib39","series-title":"\u201cSymposium on Testing, Analysis, and Verification (TAV4)\u201d","first-page":"1","article-title":"Comparison of program testing strategies.","author":"Weyuker","year":"1991"}],"container-title":["Advances in Computers"],"original-title":[],"deposited":{"date-parts":[[2018,12,5]],"date-time":"2018-12-05T07:51:46Z","timestamp":1543996306000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S006524580860234X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1016\/s0065-2458(08)60234-x","relation":{},"ISSN":["0065-2458"],"issn-type":[{"value":"0065-2458","type":"print"}],"subject":[],"published":{"date-parts":[[1995]]}}}