{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:10Z","timestamp":1772164030760,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,4,11]],"date-time":"2011-04-11T00:00:00Z","timestamp":1302480000000},"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,4,11]]},"DOI":"10.1145\/1967677.1967693","type":"proceedings-article","created":{"date-parts":[[2011,4,12]],"date-time":"2011-04-12T08:01:35Z","timestamp":1302595295000},"page":"111-120","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Software debugging and testing using the abstract diagnosis theory"],"prefix":"10.1145","author":[{"given":"Samaneh","family":"Navabpour","sequence":"first","affiliation":[{"name":"University of Waterloo, Waterloo, ON, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Borzoo","family":"Bonakdarpour","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, ON, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Fischmeister","sequence":"additional","affiliation":[{"name":"University of Waterloo, Waterloo, ON, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,4,11]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Abstraction, Reformulation, and Approximation (SARA)","author":"Abreu R.","year":"2009","unstructured":"R. Abreu and A. J. C. van Gemund . A low-cost approximate minimal hitting set algorithm and its application to model-based diagnosis . In Abstraction, Reformulation, and Approximation (SARA) , 2009 . R. Abreu and A. J. C. van Gemund. A low-cost approximate minimal hitting set algorithm and its application to model-based diagnosis. In Abstraction, Reformulation, and Approximation (SARA), 2009."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/183432.183527"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/182987.184077"},{"key":"e_1_3_2_1_4_1","first-page":"105","volume-title":"Advances in Computers","author":"Binkley David","year":"2003","unstructured":"David Binkley and Mark Harman . A Survey of Empirical Results on Program Slicing . In Advances in Computers , pages 105 -- 178 , 2003 . David Binkley and Mark Harman. A Survey of Empirical Results on Program Slicing. In Advances in Computers, pages 105--178, 2003."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"key":"e_1_3_2_1_6_1","first-page":"52","volume-title":"Michel Delaunay. Automatic Testability Analysis for Data-Flow Designs of Reactive Systems. In Proceedings of the First International Workshop on Testability Assessment","author":"Do Huy Vu","year":"2004","unstructured":"Huy Vu Do , Chantal Robach , and Michel Delaunay. Automatic Testability Analysis for Data-Flow Designs of Reactive Systems. In Proceedings of the First International Workshop on Testability Assessment , pages 52 -- 61 , 2004 . Huy Vu Do, Chantal Robach, and Michel Delaunay. Automatic Testability Analysis for Data-Flow Designs of Reactive Systems. In Proceedings of the First International Workshop on Testability Assessment, pages 52--61, 2004."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2005.1559693"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.87281"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/4432"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.53597"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1128020.1128563"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-2001-2_9"},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the International Symposium on Code Generation and Optimization: Feedback directed and runtime Optimization, page 75","author":"Lattner Chris","year":"2004","unstructured":"Chris Lattner and Vikram Adve . LLVM: A Compilation Framework for Lifelong Program Analysis and Transformation . In Proceedings of the International Symposium on Code Generation and Optimization: Feedback directed and runtime Optimization, page 75 , 2004 . Chris Lattner and Vikram Adve. LLVM: A Compilation Framework for Lifelong Program Analysis and Transformation. In Proceedings of the International Symposium on Code Generation and Optimization: Feedback directed and runtime Optimization, page 75, 2004."},{"key":"e_1_3_2_1_14_1","volume-title":"Warwickshire","author":"McCall Gavin","year":"2004","unstructured":"Gavin McCall . Misra-C : 2004. MIRA Limited , Warwickshire , United Kingdom , 2004 . Gavin McCall. Misra-C: 2004. MIRA Limited, Warwickshire, United Kingdom, 2004."},{"key":"e_1_3_2_1_15_1","first-page":"351","volume-title":"Proceedings of the Third International Conference on Quality Software","author":"Nguyen Thanh Binh","year":"2003","unstructured":"Thanh Binh Nguyen , Michel Delaunay , and Chantal Robach . Testability Analysis Applied to Embedded Data-flow Software . In Proceedings of the Third International Conference on Quality Software , page 351 , Washington, DC, USA , 2003 . IEEE Computer Society. Thanh Binh Nguyen, Michel Delaunay, and Chantal Robach. Testability Analysis Applied to Embedded Data-flow Software. In Proceedings of the Third International Conference on Quality Software, page 351, Washington, DC, USA, 2003. IEEE Computer Society."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/2773808.2774071"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"e_1_3_2_1_18_1","volume-title":"The Testability of Distributed Real-Time Systems","author":"Schutz Werner","year":"1993","unstructured":"Werner Schutz . The Testability of Distributed Real-Time Systems . Kluwer Academic Publishers , Norwell, MA, USA , 1993 . Werner Schutz. The Testability of Distributed Real-Time Systems. Kluwer Academic Publishers, Norwell, MA, USA, 1993."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01088802"},{"key":"e_1_3_2_1_20_1","first-page":"360","volume-title":"Thane and Hans Hansson. Towards Systematic Testing of Distributed Real-Time Systems. In Proceedings of the 20th IEEE Real-Time Systems Symposium","author":"Henrik","year":"1999","unstructured":"Henrik Thane and Hans Hansson. Towards Systematic Testing of Distributed Real-Time Systems. In Proceedings of the 20th IEEE Real-Time Systems Symposium , pages 360 -- 369 , Washington, DC, USA , 1999 . IEEE Computer Society. Henrik Thane and Hans Hansson. Towards Systematic Testing of Distributed Real-Time Systems. In Proceedings of the 20th IEEE Real-Time Systems Symposium, pages 360--369, Washington, DC, USA, 1999. IEEE Computer Society."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/838237.838487"},{"key":"e_1_3_2_1_22_1","volume-title":"A Survey of Program Slicing Techniques. Technical report","author":"Tip Frank","year":"1994","unstructured":"Frank Tip . A Survey of Program Slicing Techniques. Technical report , IBM, Amsterdam, The Netherlands, The Netherlands , 1994 . Frank Tip. A Survey of Program Slicing Techniques. Technical report, IBM, Amsterdam, The Netherlands, The Netherlands, 1994."},{"key":"e_1_3_2_1_23_1","first-page":"162","volume-title":"Chantal Robach. Analyzing Testability on Data Flow Designs. In Proceedings of the 11th International Symposium on Software Reliability Engineering","author":"Traon Yves Le","year":"2000","unstructured":"Yves Le Traon , Farid Ouabdesselam , and Chantal Robach. Analyzing Testability on Data Flow Designs. In Proceedings of the 11th International Symposium on Software Reliability Engineering , page 162 , Washington, DC, USA , 2000 . IEEE Computer Society. Yves Le Traon, Farid Ouabdesselam, and Chantal Robach. Analyzing Testability on Data Flow Designs. In Proceedings of the 11th International Symposium on Software Reliability Engineering, page 162, Washington, DC, USA, 2000. IEEE Computer Society."},{"key":"e_1_3_2_1_24_1","first-page":"91","volume-title":"Le Traon and Chantal Robach. Testability Measurements for Data Flow Designs. In Proceedings of the 4th International Symposium on Software Metrics","author":"Yves","year":"1997","unstructured":"Yves Le Traon and Chantal Robach. Testability Measurements for Data Flow Designs. In Proceedings of the 4th International Symposium on Software Metrics , page 91 , Washington, DC, USA , 1997 . IEEE Computer Society. Yves Le Traon and Chantal Robach. Testability Measurements for Data Flow Designs. In Proceedings of the 4th International Symposium on Software Metrics, page 91, Washington, DC, USA, 1997. IEEE Computer Society."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(93)90064-5"}],"event":{"name":"LCTES '11: SIGPLAN\/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems","location":"Chicago IL USA","acronym":"LCTES '11","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 2011 SIGPLAN\/SIGBED conference on Languages, compilers and tools for embedded systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1967677.1967693","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1967677.1967693","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:52:30Z","timestamp":1750229550000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1967677.1967693"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,4,11]]},"references-count":25,"alternative-id":["10.1145\/1967677.1967693","10.1145\/1967677"],"URL":"https:\/\/doi.org\/10.1145\/1967677.1967693","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2016603.1967693","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,4,11]]},"assertion":[{"value":"2011-04-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}