{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T23:43:19Z","timestamp":1746229399144,"version":"3.28.0"},"reference-count":55,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/wpc.2004.1311051","type":"proceedings-article","created":{"date-parts":[[2004,11,13]],"date-time":"2004-11-13T00:14:14Z","timestamp":1100304854000},"page":"89-97","source":"Crossref","is-referenced-by-count":9,"title":["Building executable union slices using conditioned slicing"],"prefix":"10.1109","author":[{"given":"S.","family":"Danicic","sequence":"first","affiliation":[]},{"given":"A.","family":"De Lucia","sequence":"additional","affiliation":[]},{"given":"M.","family":"Harman","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Interprocedural Dynamic Slicing with Applications to Debugging and Testing","year":"1993","author":"kamkar","key":"35"},{"key":"36","first-page":"162","article-title":"Aspect oriented programming","volume":"32","author":"kiczales","year":"1997","journal-title":"ACM SIGPLAN Notices"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1145\/65979.65980"},{"key":"34","doi-asserted-by":"crossref","DOI":"10.1007\/s001650070004","article-title":"Generating test sequences from non-deterministic X-machines","author":"ipate","year":"0","journal-title":"Formal Aspects of Computing"},{"key":"39","first-page":"383","article-title":"The relationship between program complexity and slice complexity during debugging tasks","author":"longworth","year":"1986","journal-title":"Proceedings of the Computer Software and Applications Conference (COMPSAC'86)"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"38","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(88)90054-3"},{"key":"43","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0030541"},{"key":"42","doi-asserted-by":"publisher","DOI":"10.1145\/74587.74614"},{"key":"41","first-page":"877","article-title":"Automatic program bug location by program slicing","author":"lyle","year":"1987","journal-title":"II Int Conference on Computers and Applications"},{"key":"40","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1109\/CSMR.2003.1192445","article-title":"Union of slices are not slices","author":"lucia","year":"2003","journal-title":"Proc 5th European Conf Software Maintenance and Reengineering"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.1998.732577"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1002\/spe.556"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/WPC.2001.921717"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/32.83912"},{"journal-title":"The Codesurfer Slicing System","year":"2002","key":"26"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1007\/BF00873408"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.4370050303"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.04.002"},{"key":"3","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1109\/ICSM.2002.1167743","article-title":"Union slices for the approximation of the precise slice","author":"beszedes","year":"2002","journal-title":"IEEE International Conference on Software Maintenance (ICSM 2002)"},{"key":"2","first-page":"187","article-title":"Validity checking for combinations of theories with equality","volume":"1166","author":"barrett","year":"1996","journal-title":"Formal Methods in Computer-aided Design Volume 1166 of Lecture Notes in Computer Science"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/93542.93576"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2003.1235405"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<233::AID-STVR191>3.0.CO;2-3"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201212"},{"key":"5","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"},{"journal-title":"Correct Systems Building a Business Process Solution","year":"1998","author":"holcombe","key":"32"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/32.310673"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.232"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/201055.201056"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/WPC.2000.852490"},{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2002.1173069"},{"key":"55","doi-asserted-by":"publisher","DOI":"10.1109\/WPC.2002.1021346"},{"key":"17","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":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2000.883049"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1995.526534"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.1995.514706"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1002\/smr.4360060202"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(98)10006-7"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(98)00086-X"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1994.336752"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199534"},{"journal-title":"A Discipline of Programming","year":"1972","author":"dijkstra","key":"20"},{"key":"49","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1145\/113446.113455","volume":"26","year":"1991","journal-title":"Proceedings in SIGPlan Notices"},{"key":"48","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113455"},{"key":"45","article-title":"MOOSE - A software comprehension framework","author":"rilling","year":"0","journal-title":"5th World Multi-Conf Systems Cybernetics and Informatics (SCI 2001)"},{"key":"44","article-title":"The semantics of program slicing","volume":"777","author":"reps","year":"1988","journal-title":"Technical Report Technical Report"},{"key":"47","first-page":"121","article-title":"A survey of program slicing techniques","volume":"3","author":"tip","year":"1995","journal-title":"Journal of Programming Languages"},{"key":"46","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45657-0_40","article-title":"CVC: A cooperating validity checker","author":"stump","year":"2002","journal-title":"Proc Conf Computer-Aided Verification"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-16780-3_133"},{"key":"51","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1989.65225"},{"key":"52","doi-asserted-by":"publisher","DOI":"10.1145\/358557.358577"},{"key":"53","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"key":"54","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1992.242542"},{"key":"50","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)"}],"event":{"name":"Proceedings. 12th IEEE International Workshop on Program Comprehension, 2004.","location":"Bari, Italy"},"container-title":["Proceedings. 12th IEEE International Workshop on Program Comprehension, 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9175\/29108\/01311051.pdf?arnumber=1311051","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,30]],"date-time":"2023-04-30T05:49:18Z","timestamp":1682833758000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1311051\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":55,"URL":"https:\/\/doi.org\/10.1109\/wpc.2004.1311051","relation":{},"subject":[]}}