{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:17:46Z","timestamp":1775053066258,"version":"3.50.1"},"reference-count":14,"publisher":"Wiley","issue":"11","license":[{"start":{"date-parts":[[2006,10,27]],"date-time":"2006-10-27T00:00:00Z","timestamp":1161907200000},"content-version":"vor","delay-in-days":9491,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1980,11]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>A system for assisting in the testing phase of compilers is described. The definition of the language to be compiled drives an automatic sentence generator. The language is described by an extended BNF grammar which can be augmented by actions to ensure contextual congruence, e.g. between definition and use of identifiers. For deep control of the structure of the produced sample the grammar can be described by step\u2010wise refinements: the generator is iteratively applied to each level of refinement, producing at last compilable, complete programs. The implementation is described and some experimental results are reported concerning PLZ, MINIPL and some other languages.<\/jats:p>","DOI":"10.1002\/spe.4380101104","type":"journal-article","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T23:52:22Z","timestamp":1163807542000},"page":"897-918","source":"Crossref","is-referenced-by-count":40,"title":["Compiler testing using a sentence generator"],"prefix":"10.1002","volume":"10","author":[{"given":"A.","family":"Celentano","sequence":"first","affiliation":[]},{"given":"S. Crespi","family":"Reghizzi","sequence":"additional","affiliation":[]},{"given":"P. Della","family":"Vigna","sequence":"additional","affiliation":[]},{"given":"C.","family":"Ghezzi","sequence":"additional","affiliation":[]},{"given":"G.","family":"Granata","sequence":"additional","affiliation":[]},{"given":"F.","family":"Savoretti","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2006,10,27]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.231159"},{"key":"e_1_2_1_3_2","unstructured":"E. F. Miller (Ed.) \u2018Program testing techniques\u2019 COMPSAC 77 Tutorial IEEE Catalog No. EHO\u2010130\u20135 1977."},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01932308"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-08065-1_3"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1147\/sj.94.0242"},{"key":"e_1_2_1_7_2","unstructured":"B.Houssais \u2018Production systematique de tests command\u00e9e par une grammaire. Application \u00e0 la validation d'un compilateur ALGOL 68\u2019 Thesis Universit\u00e9 de Rennes 1976."},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/953428.953435"},{"key":"e_1_2_1_9_2","doi-asserted-by":"crossref","unstructured":"E. F.MillerJr.andR. A.Melton \u2018Automated generation of test\u2010case datasets\u2019 Proceedings of the International Conference on Reliable Software 1975.","DOI":"10.1145\/800027.808424"},{"key":"e_1_2_1_10_2","volume-title":"Compiler Construction for Digital Computers","author":"Gries D.","year":"1971"},{"key":"e_1_2_1_11_2","unstructured":"F.Savoretti \u2018Un sistema per il collaudo parziale dei compilatori\u2019 Thesis Politecnico di Milano 1977."},{"key":"e_1_2_1_12_2","doi-asserted-by":"crossref","unstructured":"M. J.Fisher \u2018Grammars with macro\u2010like productions\u2019 Proceedings of the IEEE 9th Symposium on Switching and Automata Theory 1968.","DOI":"10.1109\/SWAT.1968.12"},{"key":"e_1_2_1_13_2","unstructured":"A.Celentano \u2018COMETA\u2014A modular Language implementation system\u2019 internal Report Istituto di Elettrotecnica ed Elettronica Politecnico di Milano 1977."},{"key":"e_1_2_1_14_2","unstructured":"Mini PL\/I Language reference manual Olivetti Ivrea 1975."},{"key":"e_1_2_1_15_2","unstructured":"Report on the programming language PLZ Doc. 66 Zilog Cupertino 1977."}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380101104","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380101104","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,12]],"date-time":"2023-11-12T16:09:31Z","timestamp":1699805371000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380101104"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980,11]]},"references-count":14,"journal-issue":{"issue":"11","published-print":{"date-parts":[[1980,11]]}},"alternative-id":["10.1002\/spe.4380101104"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380101104","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1980,11]]}}}