{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T03:35:54Z","timestamp":1725593754331},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642213373"},{"type":"electronic","value":"9783642213380"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21338-0_6","type":"book-chapter","created":{"date-parts":[[2011,6,28]],"date-time":"2011-06-28T19:42:21Z","timestamp":1309290141000},"page":"75-88","source":"Crossref","is-referenced-by-count":5,"title":["Adapting ACATS to the Ahven Testing Framework"],"prefix":"10.1007","author":[{"given":"Dan","family":"Eilers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tero","family":"Koskinen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Brukardt, R.L.: Ada Conformity Assessment Test Suite (ACATS), http:\/\/www.ada-auth.org\/acats.html"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Ada 2005 Reference Manual. Language and Standard Libraries","author":"S.T. Taft","year":"2006","unstructured":"Taft, S.T., Duff, R.A., Brukardt, R.L., Pl\u00f6dereder, E., Leroy, P.: Ada 2005 Reference Manual. LNCS, vol.\u00a04348. Springer, Heidelberg (2006)"},{"key":"6_CR3","unstructured":"Koskinen, T.: Ahven developer, http:\/\/sourceforge.net\/projects\/ahven"},{"issue":"3","key":"6_CR4","first-page":"159","volume":"31","author":"T. Koskinen","year":"2010","unstructured":"Koskinen, T.: Ahven 1.8 announcement on comp.lang.ada newsgroup reprinted in Ada User Journal. Ada Europe\u00a031(3), 159\u2013161 (2010)","journal-title":"Ada Europe"},{"key":"6_CR5","unstructured":"Buerki, R., Rueegsegger, A.-K.: Ahven package maintainers in Debian GNU\/Linux, http:\/\/packages.debian.org\/ahven"},{"key":"6_CR6","unstructured":"Falis, E.: AUnit developer, http:\/\/libre.adacore.com\/libre\/tools\/aunit"},{"key":"6_CR7","unstructured":"Leake, S.: LibAunit package maintainer in Debian GNU\/Linux, http:\/\/packages.debian.org\/libaunit"},{"key":"6_CR8","first-page":"7","volume":"17","author":"D.E. Knuth","year":"1964","unstructured":"Knuth, D.E.: \u201cMan or boy?\u201d. ALGOL Bulletin\u00a017, 7 (1964); 19, 8\u20139 (January 1965), Reprinted as ch. 6 of Selected Papers on Computer Languages. Center for the Study of Language and Information, Stanford, California (2003)","journal-title":"ALGOL Bulletin"},{"issue":"6","key":"6_CR9","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1109\/C-M.1981.220496","volume":"13","author":"J.B. Goodenough","year":"1981","unstructured":"Goodenough, J.B.: The Ada Compiler Validation Capability. Computer\u00a013(6), 57\u201364 (1981), doi:10.1109\/C-M.1981.220496","journal-title":"Computer"},{"key":"6_CR10","unstructured":"Brukardt, R.L.: Ada Conformity Assessment Test Suite (ACATS) User\u2019s Guide, Version 3.0 (2008), http:\/\/www.ada-auth.org\/acats-files\/3.0\/docs\/ACATS-UG.PDF"},{"key":"6_CR11","unstructured":"Brenta, L., Leake, S.: Debian Ada Policy. 5th edn (May 29, 2010), http:\/\/people.debian.org\/~lbrenta\/debian-ada-policy.html"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Oliver, P.: Experiences in Building and Using Compiler Validation Systems. In: Proc. of AFIPS Conf., NCC, vol. 48, pp. 1051\u20131057 (1979)","DOI":"10.1109\/MARK.1979.8817184"},{"key":"6_CR13","unstructured":"English, J.: Ada 95: The Craft of Object-Oriented Programming (2001), http:\/\/www.it.bton.ac.uk\/staff\/je\/adacraft"},{"key":"6_CR14","volume-title":"The Art of Unix Programming","author":"E.S. Raymond","year":"2004","unstructured":"Raymond, E.S.: The Art of Unix Programming. Pearson Education, Inc., London (2004)"},{"key":"6_CR15","unstructured":"Eachus, R.: Personal communication (May 2010)"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies - Ada-Europe 2011"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21338-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,20]],"date-time":"2020-06-20T23:06:36Z","timestamp":1592694396000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21338-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642213373","9783642213380"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21338-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}