{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:03:23Z","timestamp":1729670603975,"version":"3.28.0"},"reference-count":40,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,7]]},"DOI":"10.1109\/memcod.2012.6292298","type":"proceedings-article","created":{"date-parts":[[2012,9,10]],"date-time":"2012-09-10T19:45:06Z","timestamp":1347306306000},"page":"33-42","source":"Crossref","is-referenced-by-count":0,"title":["FAST: Formal specification driven test harness generation"],"prefix":"10.1109","author":[{"given":"Jiong","family":"Gong","sequence":"first","affiliation":[]},{"given":"Yun","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Haihao","family":"Shen","sequence":"additional","affiliation":[]},{"given":"Xu","family":"Deng","sequence":"additional","affiliation":[]},{"given":"Wei","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Xiangning","family":"Ma","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194001000487"},{"key":"35","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/978-3-540-70545-1_20","article-title":"FS hell: Systematic Test Case Generation for Dynamic Analysis and Measurement","author":"holzer","year":"2008","journal-title":"Computer Aided Verification"},{"key":"17","article-title":"CUTE: A concolic unit testing engine for C","author":"sen","year":"0","journal-title":"Proceedings of the 10th European Software Engineering Conference 2005"},{"key":"36","first-page":"391","article-title":"Bounded model checking of concurrent programs","author":"rabinovitz","year":"2005","journal-title":"Computer Aided Verification"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1975.224259"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1145\/1218063.1217943"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/161494.161501"},{"key":"34","article-title":"Zing: A Model Checker for Concurrent Software","author":"andrews","year":"0","journal-title":"MSR Technical Report MSR-TR-2004-10"},{"key":"16","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1049\/sej.1994.0025","article-title":"applicability of modified condition\/decision coverage to software testing","volume":"9","author":"chilenski","year":"1994","journal-title":"Software Engineering Journal"},{"year":"0","key":"39"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2011.83"},{"year":"0","key":"37"},{"journal-title":"The Economic Impacts of Inadequate Infrastructure for Software Testing","year":"2002","key":"11"},{"key":"38","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/3-540-45510-8_9","article-title":"Testing transition systems: An annotated bibliography","author":"brinksma","year":"2001","journal-title":"Modeling and Verification of Parallel Processes"},{"journal-title":"Art of Software Testing","year":"1979","author":"myers","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ESEM.2011.20"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00768-2_25"},{"year":"0","key":"40"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646374"},{"year":"0","key":"23"},{"key":"24","article-title":"Testing can be formal, too","author":"gaudel","year":"0","journal-title":"TAPSOFT 1995"},{"key":"25","article-title":"Using formal methods to support testing","author":"hierons","year":"2008","journal-title":"ACM Computing Surveys"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199703)7:1<19::AID-STVR124>3.0.CO;2-N"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0024651"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2004.12"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16573-3_12"},{"journal-title":"ADL for C The Language Definition for ADL Annotations for the C Programming Language","year":"1998","key":"3"},{"journal-title":"ACSL Version 1 5 Implementation in Carbon-20110201","year":"0","author":"baudin","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"journal-title":"ACSL ANSI\/ISO C Specification Language","year":"0","author":"baudin","key":"1"},{"key":"30","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1145\/566171.566191","article-title":"Korat: Automated testing based on Java predicates","volume":"27","author":"boyapati","year":"2002","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ICRE.1998.667803"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"32","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-24730-2_15","article-title":"A tool for checking ANSI-C programs","author":"clarke","year":"2004","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems (TACAS)"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78163-9_18"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1023\/B:AUSE.0000038938.10589.b9"},{"key":"4","article-title":"Beyond Assertions: Advanced Specification and Verification with JML and ESC\/Java2","author":"chalin","year":"2005","journal-title":"Symp on Formal Methods for Components and Objects (FMCO)"},{"key":"9","article-title":"KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs","author":"cadar","year":"0","journal-title":"OSDI 2008"},{"journal-title":"E-ACSL Executable ANSI\/ISO C Specification Language","year":"0","author":"signoles","key":"8"}],"event":{"name":"2012 10th IEEE\/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2012)","start":{"date-parts":[[2012,7,16]]},"location":"Arlington, VA, USA","end":{"date-parts":[[2012,7,17]]}},"container-title":["Tenth ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMCODE2012)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6287679\/6292291\/06292298.pdf?arnumber=6292298","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,3]],"date-time":"2019-07-03T17:58:48Z","timestamp":1562176728000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6292298\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7]]},"references-count":40,"URL":"https:\/\/doi.org\/10.1109\/memcod.2012.6292298","relation":{},"subject":[],"published":{"date-parts":[[2012,7]]}}}