{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T07:16:46Z","timestamp":1770275806839,"version":"3.49.0"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1967,3,1]],"date-time":"1967-03-01T00:00:00Z","timestamp":-89596800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[1967,3]]},"DOI":"10.1007\/bf02235512","type":"journal-article","created":{"date-parts":[[2005,10,21]],"date-time":"2005-10-21T05:13:53Z","timestamp":1129871633000},"page":"53-73","source":"Crossref","is-referenced-by-count":13,"title":["Generating test programs from syntax"],"prefix":"10.1007","volume":"2","author":[{"given":"W. H.","family":"Burkhardt","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF02235512_CR1","first-page":"II","volume":"27","author":"D. Madden","year":"1966","unstructured":"Madden, D.: Prologue to Session 1 at the FJCC 1965, AFIPS Conf. Proc.27, II (1966).","journal-title":"AFIPS Conf. Proc."},{"key":"BF02235512_CR2","unstructured":"Jacoby, K. andH. Layton: Automation of Program Debugging, Proc. 16th ACM Conference, 12C-2 (1961)."},{"key":"BF02235512_CR3","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1109\/JRPROC.1961.287820","volume":"49","author":"W. Orchard-Hays","year":"1961","unstructured":"Orchard-Hays, W.: The Evolution of Programming Systems, Proc. IRE49, 283\u2013295 (1961).","journal-title":"Proc. IRE"},{"key":"BF02235512_CR4","unstructured":"Burkhardt, W. H.: The SELF Program Generating System, Centre d'Etudes et Recherches, La Gaude AM, France, Internal Report, Nov. 1962."},{"key":"BF02235512_CR5","first-page":"317","volume":"23","author":"R. L. Sauder","year":"1962","unstructured":"Sauder, R. L.: A General Test Data Generator for COBOL, AFIPS Proc. SJCC23, 317\u2013323 (1962).","journal-title":"AFIPS Proc. SJCC"},{"key":"BF02235512_CR6","unstructured":"Milewski, A. T.: A Syntax Defining Notation and Decomposition Algorithm, Centre d'Etudes et Recherches, La Gaude AM, France, Internal Report, May 1963."},{"key":"BF02235512_CR7","first-page":"31","volume":"25","author":"T. E. Cheatham","year":"1964","unstructured":"Cheatham, T. E. andK. Sattley: Syntax Directed Compiling, AFIPS Proc. SJCC25, 31\u201357 (1964).","journal-title":"AFIPS Proc. SJCC"},{"key":"BF02235512_CR8","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1145\/366707.367587","volume":"6","author":"M. P. Barnett","year":"1963","unstructured":"Barnett, M. P.: Continued Operation Notation for Symbol Manipulation and Array Processing, Comm. ACM6, 467\u2013472 (1963).","journal-title":"Comm. ACM"},{"key":"BF02235512_CR9","first-page":"286","volume-title":"Handbook of Mathematical Psychology","author":"N. Chomsky","year":"1963","unstructured":"Chomsky, N. andG. A. Miller: Handbook of Mathematical Psychology, Vol. II, p. 286. New York: Wiley & Sons, Inc. 1963."},{"key":"BF02235512_CR10","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/S0019-9958(58)90082-2","volume":"1","author":"N. Chomsky","year":"1958","unstructured":"Chomsky, N. andG. A. Miller: Finite State Languages, Inform. Contr.1, 91 (1958).","journal-title":"Inform. Contr."},{"key":"BF02235512_CR11","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1145\/368959.368992","volume":"10","author":"M. P. Barnett","year":"1962","unstructured":"Barnett, M. P. andR. P. Futrelle: Syntactic Analysis by Digital Computer, Comm. ACM10, 515\u2013525 (1962).","journal-title":"Comm. ACM"},{"key":"BF02235512_CR12","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1145\/366062.366083","volume":"4","author":"E. T. Irons","year":"1961","unstructured":"Irons, E. T.: A Syntax Directed Compiler for ALGOL 60, Comm. ACM4, 51\u201354 (1961).","journal-title":"Comm. ACM"},{"key":"BF02235512_CR13","doi-asserted-by":"crossref","first-page":"588","DOI":"10.1145\/364888.364969","volume":"7","author":"K. E. Iverson","year":"1964","unstructured":"Iverson, K. E.: A Method of Syntax Specification, Comm. ACM7, 588\u2013589 (1964).","journal-title":"Comm. ACM"},{"key":"BF02235512_CR14","unstructured":"Schorre, D. V.: A Syntax Oriented Compiler Writing Language, Proc. 19th ACM Conference, Dl. 3 (1964)."},{"key":"BF02235512_CR15","first-page":"435","volume":"II","author":"J. A. Feldman","year":"1966","unstructured":"Feldman, J. A.: A Formal Semantics for Programming Languages, IFIP Proc. 65 Congr. Vol. II, p. 435\u2013436 (1966).","journal-title":"IFIP Proc. 65 Congr."},{"key":"BF02235512_CR16","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1145\/363707.363718","volume":"8","author":"H. E. Anderson","year":"1965","unstructured":"Anderson, H. E.: Automated Plotting of Flowcharts on a Small Computer, Comm. ACM8, 38 (1965).","journal-title":"Comm. ACM"},{"key":"BF02235512_CR17","first-page":"256","volume":"13","author":"G. L. Kilgore","year":"1965","unstructured":"Kilgore, G. L. andR. E. Hohmeyer: A New Technique for Testing of Programs for Process Control Computers, 1965 IEEE International Convention Record13, 256\u2013260 (1965).","journal-title":"1965 IEEE International Convention Record"},{"key":"BF02235512_CR18","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1145\/366696.366766","volume":"4","author":"W. Taylor","year":"1961","unstructured":"Taylor, W., L. Turner, andR. Waychoff: A Syntactical Chart of ALGOL 60, Comm. ACM4, 393 (1961).","journal-title":"Comm. ACM"},{"key":"BF02235512_CR19","first-page":"1124","volume-title":"Automatic Generation of a Basic Set of Programs","author":"W. H. Burkhardt","year":"1964","unstructured":"Burkhardt, W. H.: Automatic Generation of a Basic Set of Programs, Report P 1124, IBM Company, Poughkeepsie, March 1964."}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02235512.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02235512\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02235512","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T16:45:45Z","timestamp":1557938745000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02235512"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1967,3]]},"references-count":19,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1967,3]]}},"alternative-id":["BF02235512"],"URL":"https:\/\/doi.org\/10.1007\/bf02235512","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[1967,3]]}}}