{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T15:04:44Z","timestamp":1726412684145},"publisher-location":"Berlin\/Heidelberg","reference-count":5,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354018712X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022117","type":"book-chapter","created":{"date-parts":[[2006,1,12]],"date-time":"2006-01-12T06:45:40Z","timestamp":1137048340000},"page":"244-253","source":"Crossref","is-referenced-by-count":0,"title":["Automated testing techniques for real-time embedded software"],"prefix":"10.1007","author":[{"given":"M. A.","family":"Hennell","sequence":"first","affiliation":[]},{"given":"D.","family":"Hedley","sequence":"additional","affiliation":[]},{"given":"I. J.","family":"Riddell","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"G.A.Gaines, \"An External Debugging System for Weapon System Programs Written in a Higher Level Language\", Proceedings of COMPSAC, Chicago, pp. 158\u2013162, 1978.","DOI":"10.1109\/CMPSAC.1978.810337"},{"issue":"5","key":"25_CR2","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1145\/358855.358857","volume":"23","author":"R.L. Glass","year":"1980","unstructured":"R.L. Glass, \"Real-Time: The \"Lost World\" of Software Debugging and Testing\", Communications of the ACM, Vol. 23, No. 5, pp.264\u2013271, 1980.","journal-title":"Communications of the ACM"},{"key":"25_CR3","unstructured":"M.A.Hennell, D.Hedley and I.J.Riddell, \"The LDRA Software Testbeds: Their Roles and Capabilities\", Proceedings of IEEE SoftFair '83 Conference, Arlington, Virginia, pp. 69\u201377, July 1983."},{"issue":"9","key":"25_CR4","doi-asserted-by":"crossref","first-page":"845","DOI":"10.1002\/spe.4380140905","volume":"14","author":"J.C. Huang","year":"1984","unstructured":"J.C. Huang, M. Ho and T. Law, \"A Simulator for Real-time Software Debugging and Testing\", Software \u2014 Practice and Experience, Vol. 14, No. 9, pp. 845\u2013855, 1984.","journal-title":"Software \u2014 Practice and Experience"},{"issue":"8","key":"25_CR5","doi-asserted-by":"crossref","first-page":"697","DOI":"10.1002\/spe.4380130805","volume":"13","author":"R.N. Taylor","year":"1983","unstructured":"R.N. Taylor, \"An Integrated Verification and Testing Environment\", Software \u2014 Practice and Experience, Vol. 13, No. 8, pp. 697\u2013713, 1983.","journal-title":"Software \u2014 Practice and Experience"}],"container-title":["Lecture Notes in Computer Science","ESEC '87"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022117.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:47:40Z","timestamp":1607532460000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022117"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354018712X"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/bfb0022117","relation":{},"subject":[]}}