{"id":"https://openalex.org/W2170006119","doi":"https://doi.org/10.1109/wpc.2004.1311051","title":"Building executable union slices using conditioned slicing","display_name":"Building executable union slices using conditioned slicing","publication_year":2004,"publication_date":"2004-11-13","ids":{"openalex":"https://openalex.org/W2170006119","doi":"https://doi.org/10.1109/wpc.2004.1311051","mag":"2170006119"},"language":"en","primary_location":{"id":"doi:10.1109/wpc.2004.1311051","is_oa":false,"landing_page_url":"https://doi.org/10.1109/wpc.2004.1311051","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. 12th IEEE International Workshop on Program Comprehension, 2004.","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109293057","display_name":"S. Danicic","orcid":null},"institutions":[{"id":"https://openalex.org/I55521800","display_name":"Goldsmiths University of London","ror":"https://ror.org/01khx4a30","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I55521800"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"S. Danicic","raw_affiliation_strings":["Department of Computing Goldsmiths College, University of London, London, UK"],"affiliations":[{"raw_affiliation_string":"Department of Computing Goldsmiths College, University of London, London, UK","institution_ids":["https://openalex.org/I55521800"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079088548","display_name":"Andrea De Lucia","orcid":"https://orcid.org/0000-0002-4238-1425"},"institutions":[{"id":"https://openalex.org/I131729948","display_name":"University of Salerno","ror":"https://ror.org/0192m2k53","country_code":"IT","type":"education","lineage":["https://openalex.org/I131729948"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"A. De Lucia","raw_affiliation_strings":["Dipartimento di Matematica e Informatica, University of Salerno, Salerno, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Matematica e Informatica, University of Salerno, Salerno, Italy","institution_ids":["https://openalex.org/I131729948"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000019783","display_name":"Mark Harman","orcid":"https://orcid.org/0000-0002-5864-4488"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"M. Harman","raw_affiliation_strings":["Department of Information Systems and Computing, Brunei University, Uxbridge, Middlesex, UK"],"affiliations":[{"raw_affiliation_string":"Department of Information Systems and Computing, Brunei University, Uxbridge, Middlesex, UK","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5109293057"],"corresponding_institution_ids":["https://openalex.org/I55521800"],"apc_list":null,"apc_paid":null,"fwci":3.436,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.92122871,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"89","last_page":"97"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.9594945311546326},{"id":"https://openalex.org/keywords/slicing","display_name":"Slicing","score":0.942522406578064},{"id":"https://openalex.org/keywords/program-slicing","display_name":"Program slicing","score":0.8760032653808594},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7650068402290344},{"id":"https://openalex.org/keywords/program-comprehension","display_name":"Program comprehension","score":0.6122163534164429},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5745565891265869},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1611430048942566},{"id":"https://openalex.org/keywords/computer-graphics","display_name":"Computer graphics (images)","score":0.11238378286361694},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.08125379681587219}],"concepts":[{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.9594945311546326},{"id":"https://openalex.org/C2776190703","wikidata":"https://www.wikidata.org/wiki/Q488148","display_name":"Slicing","level":2,"score":0.942522406578064},{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.8760032653808594},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7650068402290344},{"id":"https://openalex.org/C2777561058","wikidata":"https://www.wikidata.org/wiki/Q2652119","display_name":"Program comprehension","level":4,"score":0.6122163534164429},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5745565891265869},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1611430048942566},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.11238378286361694},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.08125379681587219}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/wpc.2004.1311051","is_oa":false,"landing_page_url":"https://doi.org/10.1109/wpc.2004.1311051","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. 12th IEEE International Workshop on Program Comprehension, 2004.","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.5.1018","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.5.1018","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.brunel.ac.uk/~csstmmh2/iwpc04.ps","raw_type":"text"},{"id":"pmh:oai:eprints.ucl.ac.uk.OAI2:1302173","is_oa":false,"landing_page_url":"http://discovery.ucl.ac.uk/1302173/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400024","display_name":"UCL Discovery (University College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45129253","host_organization_name":"University College London","host_organization_lineage":["https://openalex.org/I45129253"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"     In:  IWPC 2004: 12TH IEEE INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION, PROCEEDINGS.  (pp. 89 - 97).  IEEE COMPUTER SOC (2004)     ","raw_type":"Proceedings paper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":62,"referenced_works":["https://openalex.org/W303139982","https://openalex.org/W1531082202","https://openalex.org/W1538137835","https://openalex.org/W1562266624","https://openalex.org/W1563415963","https://openalex.org/W1575308494","https://openalex.org/W1586167239","https://openalex.org/W1636146262","https://openalex.org/W1821701318","https://openalex.org/W1929502661","https://openalex.org/W1966640665","https://openalex.org/W1967889788","https://openalex.org/W1975807602","https://openalex.org/W1984248430","https://openalex.org/W1986083235","https://openalex.org/W1990595067","https://openalex.org/W1997493115","https://openalex.org/W1997880406","https://openalex.org/W2002828015","https://openalex.org/W2029414465","https://openalex.org/W2032609241","https://openalex.org/W2056038097","https://openalex.org/W2057992103","https://openalex.org/W2064625489","https://openalex.org/W2064885277","https://openalex.org/W2094944943","https://openalex.org/W2097347001","https://openalex.org/W2101512909","https://openalex.org/W2103953153","https://openalex.org/W2107967474","https://openalex.org/W2109918206","https://openalex.org/W2110066339","https://openalex.org/W2111710182","https://openalex.org/W2120933861","https://openalex.org/W2122839514","https://openalex.org/W2124657291","https://openalex.org/W2125498610","https://openalex.org/W2126308222","https://openalex.org/W2126875022","https://openalex.org/W2135926579","https://openalex.org/W2135942296","https://openalex.org/W2137204686","https://openalex.org/W2139805637","https://openalex.org/W2140963262","https://openalex.org/W2141109493","https://openalex.org/W2141716727","https://openalex.org/W2145322672","https://openalex.org/W2151318864","https://openalex.org/W2162046779","https://openalex.org/W2162310108","https://openalex.org/W2170886957","https://openalex.org/W2293624369","https://openalex.org/W4234528212","https://openalex.org/W4242362838","https://openalex.org/W4243383578","https://openalex.org/W4248866631","https://openalex.org/W4285719527","https://openalex.org/W6610773549","https://openalex.org/W6633854507","https://openalex.org/W6640221887","https://openalex.org/W6657725327","https://openalex.org/W6676484036"],"related_works":["https://openalex.org/W2134982133","https://openalex.org/W1964336761","https://openalex.org/W4239953224","https://openalex.org/W87824331","https://openalex.org/W2026532851","https://openalex.org/W2170006119","https://openalex.org/W1594437224","https://openalex.org/W2007121005","https://openalex.org/W2123609798","https://openalex.org/W2094122659"],"abstract_inverted_index":{"Program":[0],"slicing":[1,37,47,94],"can":[2,27],"be":[3,18,28,78],"used":[4,113],"as":[5],"a":[6,14,54,59,85],"support":[7],"for":[8,57,101],"program":[9,16,64],"comprehension,":[10],"because":[11],"it":[12,70],"allows":[13],"large":[15],"to":[17,92,114,126],"divided":[19],"up":[20],"into":[21],"smaller":[22],"slices,":[23,105],"each":[24],"of":[25,42,50,87],"which":[26,89],"understood":[29],"in":[30],"isolation":[31],"from":[32],"the":[33,39,75,93,116,120,127,138],"rest.":[34],"As":[35],"such,":[36],"facilitates":[38],"familiar":[40],"approach":[41,139],"'divide":[43],"and":[44,118],"conquer'.":[45],"Union":[46],"(the":[48],"union":[49,76,104,122,130],"dynamic":[51],"slices)":[52],"is":[53,71,112,124],"useful":[55],"technique":[56],"approximating":[58],"precise":[60],"static":[61],"slice.":[62,131],"For":[63],"comprehension":[65],"(and":[66],"many":[67],"other":[68],"applications)":[69],"often":[72],"important":[73],"that":[74,137],"slice":[77,123],"an":[79,99],"executable":[80,103,121],"program,":[81],"rather":[82],"than":[83,143],"merely":[84],"collection":[86],"statements":[88],"are":[90],"relevant":[91],"criterion.":[95],"This":[96],"paper":[97,133],"presents":[98],"algorithm":[100,117],"computing":[102],"using":[106],"conditioned":[107],"slicing.":[108],"A":[109],"case":[110],"study":[111],"illustrate":[115],"how":[119],"preferable":[125],"(possibly":[128],"nonexecutable)":[129],"The":[132],"also":[134],"shows,":[135],"briefly,":[136],"has":[140],"wider":[141],"applications":[142],"comprehension.":[144]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}