{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,31]],"date-time":"2023-10-31T05:04:44Z","timestamp":1698728684341},"reference-count":27,"publisher":"Wiley","issue":"2","license":[{"start":{"date-parts":[[2006,10,31]],"date-time":"2006-10-31T00:00:00Z","timestamp":1162252800000},"content-version":"vor","delay-in-days":4686,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Software Testing Verif &amp; Rel"],"published-print":{"date-parts":[[1994,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The testing of a compiler is a difficult process, since often a very high quality product is expected by the user, particularly with respect to the compiler's correctness. This paper seeks to review the main methods that have been proposed for the automation of part of this process, using the automatic generation of test cases and the automatic checking of the results. It then summarizes the advantages and disadvantages of the general approach and highlights several areas for further research.<\/jats:p>","DOI":"10.1002\/stvr.4370040204","type":"journal-article","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T16:00:40Z","timestamp":1163779240000},"page":"81-99","source":"Crossref","is-referenced-by-count":17,"title":["The automated generation of test cases for compilers"],"prefix":"10.1002","volume":"4","author":[{"given":"Colin J.","family":"Burgess","sequence":"first","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,10,31]]},"reference":[{"key":"e_1_2_1_2_1","first-page":"1","volume-title":"Proceedings of Tri\u2010Ada \u203291","author":"Austin S. M.","year":"1991"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1982.235428"},{"key":"e_1_2_1_4_1","unstructured":"Bird D. L.(1993) \u2018Automatic generation of random self\u2010checking CICS test cases\u2019 SQM93 conference published inSoftware Quality Management Computational Mechanics Publications Elsevier Science Publishers pp.557\u2013564."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.223.0229"},{"key":"e_1_2_1_6_1","series-title":"IEE Computing Series","first-page":"304","volume-title":"Software Engineering \u203286","author":"Burgess C. J.","year":"1986"},{"key":"e_1_2_1_7_1","unstructured":"Burgess C. J.andSaidi M. (1992) \u2018The automatic generation of test programs for normal and optimising Fortran compilers\u2019 Technical Report No. CSTR\u201092\u201018 University ofBristol U. K."},{"key":"e_1_2_1_8_1","unstructured":"Burgess C. J.(1993a ) \u2018Software testing using an automatic generator of test data\u2019 SQM93 conference published inSoftware Quality Management Computational Mechanics Publications Elsevier Science Publishers pp.541\u2013556."},{"key":"e_1_2_1_9_1","unstructured":"Burgess C. J.(1993b) \u2018The automatic generation of test data for the functional testing of software \u2019 3rd. Software Quality Workshop Napier University Edinburgh U. K."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0950-5849(90)90003-A"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380101104"},{"issue":"3","key":"e_1_2_1_12_1","first-page":"184","article-title":"A review of software testing","volume":"30","author":"Coward P. D.","year":"1988","journal-title":"Information and Software Technology"},{"key":"e_1_2_1_13_1","unstructured":"Duncan A. G.andHutchinson J. S.(1981) \u2018Using Attributed Grammars in Test Designs and Implementations\u2019 Proceedings of the Fifth International Conference on Software Engineering San Diego California IEEE Computer Society Press Los Alamitos California U.S.A. pp.170\u2013178."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.94.0242"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380190106"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/872738.807151"},{"issue":"5","key":"e_1_2_1_17_1","article-title":"Report on the Programming Language Haskell","volume":"27","author":"Glasgow U. K.","year":"1992","journal-title":"ACM Sigplan Notices"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/30.1.63"},{"key":"e_1_2_1_19_1","volume-title":"Systematic Software Development Using VDM","author":"Jones C. B.","year":"1990"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01692511"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.56422"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380220303"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380130911"},{"key":"e_1_2_1_24_1","unstructured":"North N.andFrancis C. B.(1991) \u2018Haskell Program Generator \u2019 a self\u2010documenting program available from the National Physical Laboratory Teddington U. K."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380221007"},{"issue":"3","key":"e_1_2_1_26_1","first-page":"366","article-title":"A sentence generator for testing parsers","volume":"12","author":"Purdom P.","year":"1972","journal-title":"Behaviour and Information Technology"},{"key":"e_1_2_1_27_1","volume-title":"Pascal Compiler Validation","author":"Wichmann B. A.","year":"1983"},{"key":"e_1_2_1_28_1","unstructured":"Wichmann B. A.andDavies M. (1989) \u2018Experience with a compiler testing tool\u2019 NPL Report DITC 138\/89.National Physical Laboratory Teddington U. K."}],"container-title":["Software Testing, Verification and Reliability"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fstvr.4370040204","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/stvr.4370040204","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,24]],"date-time":"2023-10-24T23:11:13Z","timestamp":1698189073000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/stvr.4370040204"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,1]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994,1]]}},"alternative-id":["10.1002\/stvr.4370040204"],"URL":"https:\/\/doi.org\/10.1002\/stvr.4370040204","archive":["Portico"],"relation":{},"ISSN":["0960-0833","1099-1689"],"issn-type":[{"value":"0960-0833","type":"print"},{"value":"1099-1689","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,1]]}}}