{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:24:24Z","timestamp":1750307064980,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,10,7]],"date-time":"2012-10-07T00:00:00Z","timestamp":1349568000000},"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":[[2012,10,7]]},"DOI":"10.1145\/2380445.2380498","type":"proceedings-article","created":{"date-parts":[[2012,10,9]],"date-time":"2012-10-09T12:20:46Z","timestamp":1349785246000},"page":"323-332","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Generation of TLM testbenches using mutation testing"],"prefix":"10.1145","author":[{"given":"Marcelo","family":"Sousa","sequence":"first","affiliation":[{"name":"Utrecht University, Utrecht, Netherlands"}]},{"given":"Alper","family":"Sen","sequence":"additional","affiliation":[{"name":"Bogazici University, Istanbul, Turkey"}]}],"member":"320","published-online":{"date-parts":[[2012,10,7]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"IEEE Standard for Standard SystemC Language Reference Manual. IEEE Std 1666--2011 (Revision of IEEE Std 1666--2005) pages 1 -638 jan 2012.  IEEE Standard for Standard SystemC Language Reference Manual. IEEE Std 1666--2011 (Revision of IEEE Std 1666--2005) pages 1 -638 jan 2012."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/956417.956545"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062530"},{"key":"e_1_3_2_1_4_1","first-page":"737","volume-title":"Handbook of Satisfiability","author":"Barrett C.","year":"2009","unstructured":"C. Barrett , R. Sebastiani , S. Seshia , and C. Tinelli . Satisfiability Modulo Theories . In Handbook of Satisfiability , pages 737 -- 797 . IOS Press , Amsterdam, The Netherlands, 2009 . C. Barrett, R. Sebastiani, S. Seshia, and C. Tinelli. Satisfiability Modulo Theories. In Handbook of Satisfiability, pages 737--797. IOS Press, Amsterdam, The Netherlands, 2009."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403472"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1874620.1874666"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/MUTATION.2006.10"},{"key":"e_1_3_2_1_8_1","first-page":"129","volume-title":"Computer Program Testing","author":"Budd T. A.","year":"1981","unstructured":"T. A. Budd . Mutation analysis : Ideas, examples, problems and prospects . In Computer Program Testing , pages 129 -- 148 . North-Holland , 1981 . T. A. Budd. Mutation analysis: Ideas, examples, problems and prospects. In Computer Program Testing, pages 129--148. North-Holland, 1981."},{"key":"e_1_3_2_1_9_1","first-page":"209","volume-title":"OSDI","author":"Cadar C.","year":"2008","unstructured":"C. Cadar , D. Dunbar , and D. R. Engler . Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs . In OSDI , pages 209 -- 224 , 2008 . C. Cadar, D. Dunbar, and D. R. Engler. Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs. In OSDI, pages 209--224, 2008."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/296333.296347"},{"key":"e_1_3_2_1_11_1","unstructured":"clang: a C language family frontend for LLVM http:\/\/clang.llvm.org\/ 2012.  clang: a C language family frontend for LLVM http:\/\/clang.llvm.org\/ 2012."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.92910"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(96)00154-9"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831728"},{"key":"e_1_3_2_1_15_1","first-page":"203","volume-title":"Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007","author":"Hampton M.","year":"2007","unstructured":"M. Hampton and S. Petithomme . Leveraging a commercial mutation analysis tool for research . In Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007 , pages 203 -- 209 , Sept. 2007 . M. Hampton and S. Petithomme. Leveraging a commercial mutation analysis tool for research. In Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007, pages 203--209, Sept. 2007."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0075-z"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2008.4547687"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/348019.348288"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.04.016"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"e_1_3_2_1_21_1","unstructured":"S. P. Jones editor. Haskell 98 Language and Libraries: The Revised Report. http:\/\/haskell.org\/ September 2002.  S. P. Jones editor. Haskell 98 Language and Libraries: The Revised Report. http:\/\/haskell.org\/ September 2002."},{"key":"e_1_3_2_1_22_1","volume-title":"LLVM: An Infrastructure for Multi-Stage Optimization. Master's thesis","author":"Lattner C.","year":"2002","unstructured":"C. Lattner . LLVM: An Infrastructure for Multi-Stage Optimization. Master's thesis , University of Illinois at Urbana-Champaign , 2002 . C. Lattner. LLVM: An Infrastructure for Multi-Stage Optimization. Master's thesis, University of Illinois at Urbana-Champaign, 2002."},{"key":"e_1_3_2_1_23_1","volume-title":"Proc. First Annual GCC Developers' Summit","author":"Lattner C.","year":"2003","unstructured":"C. Lattner and V. Adve . Architecture for a Next-Generation GCC . In Proc. First Annual GCC Developers' Summit , Ottawa, Canada , May 2003 . C. Lattner and V. Adve. Architecture for a Next-Generation GCC. In Proc. First Annual GCC Developers' Summit, Ottawa, Canada, May 2003."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032354"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2145816.2145844"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2009.30"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.v15:2"},{"volume-title":"2008 Joint IEEE-NEWCAS and TAISA Conference","author":"Maraninchi F.","key":"e_1_3_2_1_28_1","unstructured":"F. Maraninchi , M. Moy , J. Cornet , L. Maillet-Contoz , C. Helmstetter , and C. Traulsen . SystemC\/TLM Semantics for Heterogeneous System-on-Chip Validation. In IEEE, editor , 2008 Joint IEEE-NEWCAS and TAISA Conference , page unknown, Montr\u00e9al, Canada, June 2008. F. Maraninchi, M. Moy, J. Cornet, L. Maillet-Contoz, C. Helmstetter, and C. Traulsen. SystemC\/TLM Semantics for Heterogeneous System-on-Chip Validation. In IEEE, editor, 2008 Joint IEEE-NEWCAS and TAISA Conference, page unknown, Montr\u00e9al, Canada, June 2008."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27705-4_12"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/MUTATION.2006.11"},{"key":"e_1_3_2_1_32_1","volume-title":"Mutation 2000: Uniting the Orthogonal","author":"Offutt J.","year":"2001","unstructured":"J. Offutt and R. H. Untch . Mutation 2000: Uniting the Orthogonal . Kluwer Academic Publishers , 2001 . J. Offutt and R. H. Untch. Mutation 2000: Uniting the Orthogonal. Kluwer Academic Publishers, 2001."},{"key":"e_1_3_2_1_33_1","first-page":"220","volume-title":"Mutation Analysis Testing for Finite State Machines. In 5th International Symposium on Software Reliability Engineering","author":"Fabbri S. P. F.","year":"1994","unstructured":"S. P. F. Fabbri , M. Delamaro , J. Maldonado , and P. Masiero . Mutation Analysis Testing for Finite State Machines. In 5th International Symposium on Software Reliability Engineering , pages 220 -- 229 , Nov 1994 . S. P. F. Fabbri, M. Delamaro, J. Maldonado, and P. Masiero. Mutation Analysis Testing for Finite State Machines. In 5th International Symposium on Software Reliability Engineering, pages 220--229, Nov 1994."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.55"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73562"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572282"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2003695.2003697"},{"key":"e_1_3_2_1_38_1","first-page":"150","volume-title":"Advanced Functional Programming","author":"Swierstra S. D.","year":"1998","unstructured":"S. D. Swierstra , P. R. A. Alcocer , and J. Saraiva . Designing and implementing combinator languages . In Advanced Functional Programming , pages 150 -- 206 , 1998 . S. D. Swierstra, P. R. A. Alcocer, and J. Saraiva. Designing and implementing combinator languages. In Advanced Functional Programming, pages 150--206, 1998."},{"issue":"4","key":"e_1_3_2_1_40_1","first-page":"465","volume":"25","author":"E","year":"1982","unstructured":"E . J. Weyuker. On Testing Non-Testable Programs. The Computer Journal , 25 ( 4 ): 465 -- 470 , 1982 . E. J. Weyuker. On Testing Non-Testable Programs. The Computer Journal, 25(4):465--470, 1982.","journal-title":"J. Weyuker. On Testing Non-Testable Programs. The Computer Journal"}],"event":{"name":"ESWEEK'12: Eighth Embedded System Week","sponsor":["CEDA","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing","IEEE CS"],"location":"Tampere Finland","acronym":"ESWEEK'12"},"container-title":["Proceedings of the eighth IEEE\/ACM\/IFIP international conference on Hardware\/software codesign and system synthesis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2380445.2380498","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2380445.2380498","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:21:21Z","timestamp":1750238481000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2380445.2380498"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,7]]},"references-count":38,"alternative-id":["10.1145\/2380445.2380498","10.1145\/2380445"],"URL":"https:\/\/doi.org\/10.1145\/2380445.2380498","relation":{},"subject":[],"published":{"date-parts":[[2012,10,7]]},"assertion":[{"value":"2012-10-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}