{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T22:53:09Z","timestamp":1775256789068,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,11,9]],"date-time":"2018-11-09T00:00:00Z","timestamp":1541721600000},"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":[[2018,11,9]]},"DOI":"10.1145\/3278177.3278178","type":"proceedings-article","created":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T11:28:39Z","timestamp":1540380519000},"page":"1-4","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Towards static recovery of micro state transitions from legacy embedded code"],"prefix":"10.1145","author":[{"given":"Ryota","family":"Yamamoto","sequence":"first","affiliation":[{"name":"Nagoya University, Japan"}]},{"given":"Norihiro","family":"Yoshida","sequence":"additional","affiliation":[{"name":"Nagoya University, Japan"}]},{"given":"Hiroaki","family":"Takada","sequence":"additional","affiliation":[{"name":"Nagoya University, Japan"}]}],"member":"320","published-online":{"date-parts":[[2018,11,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/294168.294262"},{"key":"e_1_3_2_1_2_1","volume-title":"Proc. OSDI. 209\u2013224","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar , Daniel Dunbar , and Dawson R Engler . 2008 . KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs .. In Proc. OSDI. 209\u2013224 . Cristian Cadar, Daniel Dunbar, and Dawson R Engler. 2008. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs.. In Proc. OSDI. 209\u2013224."},{"key":"e_1_3_2_1_3_1","unstructured":"Alessandro Cimatti Edmund Clarke Enrico Giunchiglia Fausto Giunchiglia Marco Pistore Marco Roveri Roberto Sebastiani and Armando Tacchella. 2002. Alessandro Cimatti Edmund Clarke Enrico Giunchiglia Fausto Giunchiglia Marco Pistore Marco Roveri Roberto Sebastiani and Armando Tacchella. 2002."},{"key":"e_1_3_2_1_4_1","volume-title":"Proc. CAV. 359\u2013 364","author":"SMV","unstructured":"Nu SMV 2 : An opensource tool for symbolic model checking . In Proc. CAV. 359\u2013 364 . NuSMV 2: An opensource tool for symbolic model checking. In Proc. CAV. 359\u2013 364."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2818000.2818035"},{"key":"e_1_3_2_1_6_1","volume-title":"Incremental Software Quality Analysis for Embedded Systems. In embedded world Conference","author":"Hummel Benjamin","year":"2015","unstructured":"Benjamin Hummel and Thomas Kinnen . 2015. Incremental Software Quality Analysis for Embedded Systems. In embedded world Conference 2015 . Benjamin Hummel and Thomas Kinnen. 2015. Incremental Software Quality Analysis for Embedded Systems. In embedded world Conference 2015."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","first-page":"292","DOI":"10.11591\/ijece.v6i1.pp292-297","article-title":"Analysis of Legacy System in Software Application Development: A Comparative Survey","volume":"6","author":"Srinivas M","year":"2016","unstructured":"M Srinivas , G Ramakrishna , K Rajasekhara Rao , and E Suresh Babu . 2016 . Analysis of Legacy System in Software Application Development: A Comparative Survey . International Journal of Electrical and Computer Engineering 6 , 1 (2016), 292 . M Srinivas, G Ramakrishna, K Rajasekhara Rao, and E Suresh Babu. 2016. Analysis of Legacy System in Software Application Development: A Comparative Survey. International Journal of Electrical and Computer Engineering 6, 1 (2016), 292.","journal-title":"International Journal of Electrical and Computer Engineering"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1387036.1387038"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-015-9367-7"}],"event":{"name":"ESEC\/FSE '18: 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Lake Buena Vista FL USA","acronym":"ESEC\/FSE '18","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3278177.3278178","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3278177.3278178","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T21:30:17Z","timestamp":1775251817000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3278177.3278178"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,9]]},"references-count":9,"alternative-id":["10.1145\/3278177.3278178","10.1145\/3278177"],"URL":"https:\/\/doi.org\/10.1145\/3278177.3278178","relation":{},"subject":[],"published":{"date-parts":[[2018,11,9]]},"assertion":[{"value":"2018-11-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}