{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:26:23Z","timestamp":1748071583744,"version":"3.28.0"},"reference-count":42,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/wcre.2002.1173076","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T21:03:42Z","timestamp":1056575022000},"page":"181-189","source":"Crossref","is-referenced-by-count":8,"title":["A denotational interprocedural program slicer"],"prefix":"10.1109","author":[{"given":"L.","family":"Ouarbya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Danicic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Daoudi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Harman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Fox","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1989.65225"},{"key":"ref38","article-title":"Assembler to c migration using the fermat transformation system","author":"ward","year":"1999","journal-title":"IEEE International Conference on Software Maintenance (ICSM'99)"},{"key":"ref33","first-page":"1","article-title":"A multiple backtracking algorithm","volume":"1","author":"ward","year":"1994","journal-title":"Journal of Symbolic Computation"},{"key":"ref32","article-title":"Assembler to c migration using the fermat transformation system","author":"ward","year":"1999","journal-title":"Proc Of the Internation Conference on Software Maintenance"},{"key":"ref31","first-page":"877","article-title":"Automatic program bug location by program slicing","author":"lyle","year":"1987","journal-title":"2nd Int Conf on Computers and Applications"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1993.346057"},{"key":"ref37","first-page":"121","article-title":"A survey of program slicing techniques","volume":"3","author":"tip","year":"1995","journal-title":"J Programming Languages"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/174245.174252"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/77606.77608"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/METRIC.1993.263799"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1096-908X(199605)8:3<145::AID-SMR127>3.0.CO;2-9"},{"journal-title":"Program Slices Formal Psychological and Practical Investigations of an Automatic Program Abstraction Method","year":"1979","author":"weiser","key":"ref40"},{"journal-title":"Dataflow Minimal Slicing","year":"1999","author":"danicic","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(95)00170-0"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2001.972675"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/WPC.1996.501116"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1992.242538"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/32.83912"},{"journal-title":"GrammaTech Inc","year":"1999","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1992.242531"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.4370050303"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/53990.53994"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1016\/S0950-5849(98)00085-8","article-title":"The application of program slicing to regression testing","volume":"40","author":"binkley","year":"1998","journal-title":"Information and Software Technology special issue on program slicing"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/65979.65980"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/32.310673"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/201055.201056"},{"journal-title":"Interprocedural Dynamic Slicing with Applications to Debugging and Testing","year":"1993","author":"kamkar","key":"ref29"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(08)60641-5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1002\/smr.4360060202"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1994.336752"},{"key":"ref2","first-page":"509","article-title":"Program and interface slicing for reverse engineering","author":"beck","year":"1993","journal-title":"IEEE\/ACM 15th Conference on Software Engineering (ICSE'93)"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1995.526534"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380230603"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1002\/swf.41"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2001.972724"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-5939-6_4"},{"key":"ref42","first-page":"187","article-title":"Experiments on slicing-based debugging aids","author":"weiser","year":"1985","journal-title":"Empirical Studies of Programmers"},{"journal-title":"Flow Analysis of Computer Programs","year":"1977","author":"hecht","key":"ref24"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"key":"ref23","first-page":"486","article-title":"Denotational program slicing","volume":"ii","author":"hausler","year":"1989","journal-title":"22nd Annual Hawaii International Conference on System Sciences"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.232"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<233::AID-STVR191>3.0.CO;2-3"}],"event":{"name":"Ninth Working Conference on Reverse Engineering","acronym":"WCRE-02","location":"Richmond, VA, USA"},"container-title":["Ninth Working Conference on Reverse Engineering, 2002. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8373\/26362\/01173076.pdf?arnumber=1173076","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T18:46:01Z","timestamp":1497552361000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1173076\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":42,"URL":"https:\/\/doi.org\/10.1109\/wcre.2002.1173076","relation":{},"subject":[]}}