{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T08:17:06Z","timestamp":1765268226015,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1109\/wcre.2013.6671323","type":"proceedings-article","created":{"date-parts":[[2013,12,3]],"date-time":"2013-12-03T22:00:42Z","timestamp":1386108042000},"page":"462-466","source":"Crossref","is-referenced-by-count":10,"title":["Specification extraction by symbolic execution"],"prefix":"10.1109","author":[{"given":"Josef","family":"Pichler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/SEW.2005.46"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1980.1653453"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572299"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.1996.566751"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2000.873678"},{"key":"15","first-page":"272","article-title":"Marple: A demand-driven path-sensitive buffer overflow detector","author":"soffa","year":"2008","journal-title":"Proceedings of the 16th International Symposium on Foundations of Software Engineering (FSE'08)"},{"key":"16","first-page":"263","article-title":"CUTE: A concolic unit testing engine for C\" in Proceedings of the 10th European Software Engineering Conference held jointly with 13th","author":"sen","year":"2005","journal-title":"ACM SIGSOFT International Symposium on Foundations of Software Engineering Ser (ESEC\/FSE-13) New York NY USA ACM"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368127"},{"journal-title":"The Elements of Programming Style","year":"1978","author":"kernighan","key":"14"},{"key":"11","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/s10009-009-0118-1","article-title":"A survey of new trends in symbolic execution for software testing and analysis","volume":"11","author":"psreanu","year":"2009","journal-title":"International Journal Software Tools & Technology Transfere"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985995"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"3","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/S0065-2458(10)79005-7","article-title":"The tools perspective on software reverse engineering: Requirements, construction, and evaluation","volume":"79","author":"kienle","year":"2010","journal-title":"Advances in Computers"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/347127.347439"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1096-908X(199809\/10)10:5<305::AID-SMR175>3.0.CO;2-7"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2013.58"},{"key":"10","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1049\/sej.1988.0029","article-title":"symbolic execution systems-a review","volume":"3","author":"coward","year":"1988","journal-title":"Software Engineering Journal"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"6","first-page":"249","article-title":"Business rules extraction from large legacy systems","author":"wang","year":"2004","journal-title":"Proceedings of the 8th European Conference on Software Maintenance and Reengineering (CSMR'04)"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32689-9_3"},{"key":"4","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1109\/CMPSAC.1996.544158","article-title":"Business rule extraction from legacy code","author":"huang","year":"1996","journal-title":"Proceedings of the 20th Conference on Computer Software and Applications (COMPSAC'96)"},{"journal-title":"Algorithmen und Datenstrukturen","year":"2008","author":"dobler","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233817"}],"event":{"name":"2013 20th Working Conference on Reverse Engineering (WCRE)","start":{"date-parts":[[2013,10,14]]},"location":"Koblenz, Germany","end":{"date-parts":[[2013,10,17]]}},"container-title":["2013 20th Working Conference on Reverse Engineering (WCRE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6656028\/6671267\/06671323.pdf?arnumber=6671323","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T03:35:29Z","timestamp":1498102529000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6671323\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/wcre.2013.6671323","relation":{},"subject":[],"published":{"date-parts":[[2013,10]]}}}