{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:22Z","timestamp":1725662842142},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540071686"},{"type":"electronic","value":"9783540375029"}],"license":[{"start":{"date-parts":[[1975,1,1]],"date-time":"1975-01-01T00:00:00Z","timestamp":157766400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1975]]},"DOI":"10.1007\/3-540-07168-7_79","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:51:14Z","timestamp":1330185074000},"page":"278-318","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Debugging and testing"],"prefix":"10.1007","author":[{"given":"P. C.","family":"Poole","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"10_CR1","unstructured":"Henahpl, W. A proof of correctness of the reference mechanism to automatic variables in the F-Compiler. LN 25.3.048 IBM Vienna Laboratory."},{"key":"10_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0010-4655(69)90011-3","volume":"1","author":"K.V. Roberts","year":"1969","unstructured":"Roberts, K.V. The publication of scientific FORTRAN programs, Computer Physics Communications, 1 (1969) 1\u20139.","journal-title":"Computer Physics Communications"},{"key":"10_CR3","unstructured":"Wilkes, M.V., Wheeler, D.J., Gill, S. The Preparation of programs for an electronic digital computer. Addison-Wesley (1951)."},{"key":"10_CR4","first-page":"39","volume":"1","author":"P.C. Poole","year":"1971","unstructured":"Poole, P.C. Developing a multi-access system online. Software, 1 (1971) 39\u201351.","journal-title":"Software"},{"key":"10_CR5","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1145\/362686.362691","volume":"13","author":"W.M. Waite","year":"1970","unstructured":"Waite, W.M. The mobile programming system: STAGE2, CACM, 13 (1970) 415.","journal-title":"CACM"},{"key":"10_CR6","doi-asserted-by":"crossref","first-page":"618","DOI":"10.1145\/363717.363746","volume":"10","author":"P.J. Brown","year":"1967","unstructured":"Brown, P.J. The ML\/1 macro processor, CACM, 10 (1967) 618\u2013623.","journal-title":"CACM"},{"key":"10_CR7","unstructured":"Dijkstra, E.W. Structured programming, Software Engineering Techniques, Report on NATO Conference in Rome (1970) 84\u201388."},{"key":"10_CR8","first-page":"153","volume":"15","author":"D.W. Barron","year":"1971","unstructured":"Barron, D.W. Programming in Wonderland, The Computer Bulletin, 15 (1971) 153\u2013153.","journal-title":"The Computer Bulletin"},{"key":"10_CR9","unstructured":"Satterthwaite, E. Debugging tools for high level languages, University of Newcastle upon Tyne Computing Laboratory Technical Report Series no. 29 (1971)."},{"key":"10_CR10","doi-asserted-by":"crossref","first-page":"669","DOI":"10.1145\/362790.362796","volume":"13","author":"K. Conrow","year":"1970","unstructured":"Conrow, K., Smith, R.G. NEATER2: A PL\/1 source statement reformatter, CACM, 13 (1970) 669\u2013675.","journal-title":"CACM"},{"key":"10_CR11","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1145\/362258.362271","volume":"13","author":"H.D. Mills","year":"1970","unstructured":"Mills, H.D. Syntax directed documentation of PL\/360, CACM, 13 (1970) 216\u2013223.","journal-title":"CACM"},{"key":"10_CR12","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1093\/comjnl\/14.2.133","volume":"14","author":"R.S. Scowen","year":"1971","unstructured":"Scowen, R.S., Allen, D., Hillman, A.L., Shimell, M. SOAP \u2014 a program which documents and edits ALGOL 60 programs, Comp. J., 14 (1971) 133\u2013136.","journal-title":"Comp. J."},{"key":"10_CR13","unstructured":"Software Engineering Techniques, Report on NATO Conference in Rome (1970) 23\u201324."},{"key":"10_CR14","unstructured":"Engelman, C. Mathlab 68, IFIP Congress '68, B 91\u201395."},{"key":"10_CR15","volume-title":"Sketchpad: a man machine graphical communication system","author":"I.E. Sutherland","year":"1963","unstructured":"Sutherland, I.E. Sketchpad: a man machine graphical communication system, Proc. S.J.C.C., Sparton Press, Baltimore, Maryland (1963)."},{"key":"10_CR16","volume-title":"FORTRAN II Reference Manual, Document No. 30.50.50","author":"C.S. Carr","year":"1966","unstructured":"Carr, C.S. FORTRAN II Reference Manual, Document No. 30.50.50, University of California, Berkeley (1966)."},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Dunn, T.M., Morrissey, J.H. Remote Computing \u2014 an experimental system. Proc. S.J.C.C. (1964).","DOI":"10.1145\/1464122.1464164"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Balzer, R.M. EXDAMS \u2014 extendable debugging and monitoring system, Proc. S.J.C.C. (1969) 567\u2013580.","DOI":"10.1145\/1476793.1476881"},{"key":"10_CR19","first-page":"231","volume":"1","author":"I.C. Pyle","year":"1971","unstructured":"Pyle, I.C., McLatchie, R.F., Grandage, B. A second order bug with delayed effects, Software, 1 (1971) 231\u2013235.","journal-title":"Software"},{"key":"10_CR20","unstructured":"Newey, M.C., Poole, P.C., Waite, W.M. Abstract machine modelling to produce portable software \u2014 a review and evaluation, Software (to be published)."}],"container-title":["Lecture Notes in Computer Science","Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07168-7_79","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:34:39Z","timestamp":1558269279000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07168-7_79"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1975]]},"ISBN":["9783540071686","9783540375029"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-07168-7_79","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1975]]},"assertion":[{"value":"2 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}