{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:51Z","timestamp":1772164011642,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,11,6]],"date-time":"2011-11-06T00:00:00Z","timestamp":1320537600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,11,6]]},"DOI":"10.1145\/2070337.2070361","type":"proceedings-article","created":{"date-parts":[[2011,11,21]],"date-time":"2011-11-21T14:55:03Z","timestamp":1321887303000},"page":"75-80","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Making the non-executable ACATS tests executable"],"prefix":"10.1145","author":[{"given":"Dan R.","family":"Eilers","sequence":"first","affiliation":[{"name":"Irvine Compiler Corp., Irvine, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tero","family":"Koskinen","sequence":"additional","affiliation":[{"name":"n\/a, n\/a, Finland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,11,6]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Randall L. Brukardt \"Ada Conformity Assessment Test Suite (ACATS) \" http:\/\/www.ada-auth.org\/acats.html.  Randall L. Brukardt \"Ada Conformity Assessment Test Suite (ACATS) \" http:\/\/www.ada-auth.org\/acats.html."},{"key":"e_1_3_2_1_2_1","volume-title":"2010 Functional safety of electrical\/electronic\/programmable electronic safety-related systems, Part 3: Software requirements","author":"IEC","year":"2010","unstructured":"{2} IEC 61508--3 : 2010 Functional safety of electrical\/electronic\/programmable electronic safety-related systems, Part 3: Software requirements , 2010 . {2} IEC 61508--3:2010 Functional safety of electrical\/electronic\/programmable electronic safety-related systems, Part 3: Software requirements, 2010."},{"key":"e_1_3_2_1_3_1","series-title":"Lecture Notes in Computer Science","volume-title":"International Standard ISO\/IEC 8652\/1995(E) with Technical Corrigendum 1 and Amendment 1","author":"Taft S. Tucker","year":"2006","unstructured":"S. Tucker Taft , Robert A. Duff , Randall L. Brukardt , Erhard Ploedereder , Pascal Leroy , (Eds.) Ada 2005 Reference Manual. Language and Standard Libraries . International Standard ISO\/IEC 8652\/1995(E) with Technical Corrigendum 1 and Amendment 1 , Lecture Notes in Computer Science , Vol. 4348 , Springer , 2006 . S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy, (Eds.) Ada 2005 Reference Manual. Language and Standard Libraries. International Standard ISO\/IEC 8652\/1995(E) with Technical Corrigendum 1 and Amendment 1, Lecture Notes in Computer Science, Vol. 4348, Springer, 2006."},{"key":"e_1_3_2_1_4_1","unstructured":"DARPA contract for Ada83 ACVC development MDA903--79-C-0687 1979.  DARPA contract for Ada83 ACVC development MDA903--79-C-0687 1979."},{"key":"e_1_3_2_1_5_1","unstructured":"DISA contract for Ada95 ACVC development DCA100--97-D-0025.  DISA contract for Ada95 ACVC development DCA100--97-D-0025."},{"key":"e_1_3_2_1_6_1","unstructured":"Ada Compiler Validation Implementers' Guide SofTech Waltham Massachusett| October 1980.  Ada Compiler Validation Implementers' Guide SofTech Waltham Massachusett| October 1980."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1981.220496"},{"key":"e_1_3_2_1_8_1","volume-title":"Version 3.0","author":"Brukardt Randall L.","year":"2008","unstructured":"Randall L. Brukardt , Ada Conformity Assessment Test Suite (ACATS) User's Guide , Version 3.0 , 2008 , http:\/\/www.ada-auth.org\/acats-files\/3.0\/docs\/ACATS-UG.PDF. Randall L. Brukardt, Ada Conformity Assessment Test Suite (ACATS) User's Guide, Version 3.0, 2008, http:\/\/www.ada-auth.org\/acats-files\/3.0\/docs\/ACATS-UG.PDF."},{"key":"e_1_3_2_1_9_1","volume-title":"Preface to Selected Papers on Analysis of Algorithms","author":"Knuth Donald E.","year":"2000","unstructured":"Donald E. Knuth , Preface to Selected Papers on Analysis of Algorithms , Stanford, California : Center for the Study of Language and Information, 2000 . Donald E. Knuth, Preface to Selected Papers on Analysis of Algorithms, Stanford, California: Center for the Study of Language and Information, 2000."},{"key":"e_1_3_2_1_10_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/978-3-642-21338-0_6","volume-title":"Reliable Software Technologies - Ada-Europe","author":"Eilers Dan","year":"2011","unstructured":"Dan Eilers and Tero Koskinen , Adapting ACATS to the Ahven Testing Framework , Reliable Software Technologies - Ada-Europe 2011 , Lecture Notes in Computer Science , 2011, Vol. 6652\/2011 , pp. 75 -- 88 . Dan Eilers and Tero Koskinen, Adapting ACATS to the Ahven Testing Framework, Reliable Software Technologies - Ada-Europe 2011, Lecture Notes in Computer Science, 2011, Vol. 6652\/2011, pp. 75--88."},{"key":"e_1_3_2_1_11_1","unstructured":"Tero Koskinen Ahven developer http:\/\/sourceforge.net\/projects\/ahven.  Tero Koskinen Ahven developer http:\/\/sourceforge.net\/projects\/ahven."},{"key":"e_1_3_2_1_12_1","volume-title":"May","author":"Eachus Robert","year":"2010","unstructured":"Robert Eachus , Personal communication , May 2010 . Robert Eachus, Personal communication, May 2010."},{"key":"e_1_3_2_1_13_1","unstructured":"Randall L. Brukardt ACATS 3.0 Test Objectives (partial) 2007. http:\/\/www.ada-auth.org\/acats-files\/3.0\/devs\/TESTOBJ.ZIP  Randall L. Brukardt ACATS 3.0 Test Objectives (partial) 2007. http:\/\/www.ada-auth.org\/acats-files\/3.0\/devs\/TESTOBJ.ZIP"}],"event":{"name":"SIGAda '11: ACM SIGAda Annual International Conference","location":"Denver Colorado USA","acronym":"SIGAda '11","sponsor":["SIGAda ACM Special Interest Group on Ada Programming Language","SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages","Ada Europe Ada Europe","SIGBED ACM Special Interest Group on Embedded Systems","SIGCAS ACM Special Interest Group on Computers and Society","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2070337.2070361","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2070337.2070361","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:54:52Z","timestamp":1750226092000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2070337.2070361"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11,6]]},"references-count":13,"alternative-id":["10.1145\/2070337.2070361","10.1145\/2070337"],"URL":"https:\/\/doi.org\/10.1145\/2070337.2070361","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2070336.2070361","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,11,6]]},"assertion":[{"value":"2011-11-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}