{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T16:48:20Z","timestamp":1759942100474,"version":"3.28.0"},"reference-count":41,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/icsm.2015.7332465","type":"proceedings-article","created":{"date-parts":[[2015,11,23]],"date-time":"2015-11-23T17:44:11Z","timestamp":1448300651000},"page":"191-200","source":"Crossref","is-referenced-by-count":3,"title":["Program specialization and verification using file format specifications"],"prefix":"10.1109","author":[{"given":"Raveendra Kumar","family":"Medicherla","sequence":"first","affiliation":[]},{"given":"Raghavan","family":"Komondoor","sequence":"additional","affiliation":[]},{"given":"S.","family":"Narendran","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312929"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2007.36"},{"journal-title":"Advanced Compiler Design and Implementation","year":"1997","author":"muchnick","key":"ref33"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-006-8609-1"},{"key":"ref31","article-title":"Static analysis of file-processing programs using file format specifications","author":"medicherla","year":"2015","journal-title":"CoRR"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2015.7081838"},{"journal-title":"Program Flow Analysis Theory and Application","year":"1981","author":"sharir","key":"ref37"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572299"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/BF00126959"},{"key":"ref34","article-title":"How to work with Sequential files","author":"murach","year":"2000","journal-title":"Murach's Structured COBOL"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1455770.1455820"},{"journal-title":"The United Nations rules for Electronic Data Interchange for Administration","year":"0","key":"ref40"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2000.883049"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512538"},{"journal-title":"David Krop CLIEOP Client Orders - File description","year":"0","key":"ref13"},{"key":"ref14","first-page":"522","article-title":"Static analysis for checking data format compatibility of programs","author":"devaki","year":"2012","journal-title":"Proc Foundations of Software Technology and Theoretical Computer Science"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025132"},{"journal-title":"Retail Payment System(RPS)","year":"2013","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199534"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081742"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1938551.1938556"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2007.40"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1016\/S0950-5849(98)00086-X","article-title":"Conditioned program slicing","volume":"40","author":"canfora","year":"1998","journal-title":"Information and Software Technology"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"ref3","first-page":"317","article-title":"Polyglot: Automatic extraction of protocol message format using dynamic binary analysis","author":"caballero","year":"2007","journal-title":"Proc ACM Conf on Computer and Comm Security (CCS)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/32.92907"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569814"},{"year":"2013","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/169683.174155"},{"journal-title":"Computer World","year":"2012","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/WPC.1994.341266"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"ref1","article-title":"Decidability of program verification can be achieved by replacing the equality predicate by the “constructive” one","author":"auguston","year":"1999","journal-title":"Technical Report NMSU-CSTR-9907"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/WPC.2001.921717"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(02)00135-8"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375607"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2005.2"},{"journal-title":"Dependent Types in Practical Programming","year":"1998","author":"xi","key":"ref41"},{"journal-title":"Introduction to HL7 Standards","year":"2013","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1953355.1953368"},{"journal-title":"Partial Evaluation and Automatic Program Generation","year":"1993","author":"jones","key":"ref25"}],"event":{"name":"2015 IEEE International Conference on Software Maintenance and Evolution (ICSME)","start":{"date-parts":[[2015,9,29]]},"location":"Bremen, Germany","end":{"date-parts":[[2015,10,1]]}},"container-title":["2015 IEEE International Conference on Software Maintenance and Evolution (ICSME)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7321954\/7332440\/07332465.pdf?arnumber=7332465","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T20:14:03Z","timestamp":1498248843000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7332465\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":41,"URL":"https:\/\/doi.org\/10.1109\/icsm.2015.7332465","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}