{"id":"https://openalex.org/W2618827452","doi":"https://doi.org/10.1145/3019612.3019896","title":"Computing super reduced program slices by composing slicing techniques","display_name":"Computing super reduced program slices by composing slicing techniques","publication_year":2017,"publication_date":"2017-04-03","ids":{"openalex":"https://openalex.org/W2618827452","doi":"https://doi.org/10.1145/3019612.3019896","mag":"2618827452"},"language":"en","primary_location":{"id":"doi:10.1145/3019612.3019896","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3019612.3019896","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Symposium on Applied Computing","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/A5071216572","display_name":"David Insa","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"David Insa","raw_affiliation_strings":["Departamento de Sistemas Inform\u00e1ticos y Computaci\u00f3n (DSIC), Valencia, Espa\u00f1a"],"affiliations":[{"raw_affiliation_string":"Departamento de Sistemas Inform\u00e1ticos y Computaci\u00f3n (DSIC), Valencia, Espa\u00f1a","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080474207","display_name":"Sergio P\u00e9rez","orcid":"https://orcid.org/0000-0002-4384-7004"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sergio P\u00e9rez","raw_affiliation_strings":["Departamento de Sistemas Inform\u00e1ticos y Computaci\u00f3n (DSIC), Valencia, Espa\u00f1a"],"affiliations":[{"raw_affiliation_string":"Departamento de Sistemas Inform\u00e1ticos y Computaci\u00f3n (DSIC), Valencia, Espa\u00f1a","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003503212","display_name":"Josep Silva","orcid":"https://orcid.org/0000-0001-5096-0008"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Josep Silva","raw_affiliation_strings":["Departamento de Sistemas Inform\u00e1ticos y Computaci\u00f3n (DSIC), Valencia, Espa\u00f1a"],"affiliations":[{"raw_affiliation_string":"Departamento de Sistemas Inform\u00e1ticos y Computaci\u00f3n (DSIC), Valencia, Espa\u00f1a","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5071216572"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3392,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.6125731,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1631","last_page":"1633"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9979000091552734,"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.9973999857902527,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/program-slicing","display_name":"Program slicing","score":0.9597083330154419},{"id":"https://openalex.org/keywords/slicing","display_name":"Slicing","score":0.933586835861206},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8210129737854004},{"id":"https://openalex.org/keywords/undecidable-problem","display_name":"Undecidable problem","score":0.6739457249641418},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6390447616577148},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.6013631224632263},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5889962315559387},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.4953666925430298},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4736522436141968},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.450662761926651},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.429410457611084},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12875759601593018},{"id":"https://openalex.org/keywords/computer-graphics","display_name":"Computer graphics (images)","score":0.11493480205535889}],"concepts":[{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.9597083330154419},{"id":"https://openalex.org/C2776190703","wikidata":"https://www.wikidata.org/wiki/Q488148","display_name":"Slicing","level":2,"score":0.933586835861206},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8210129737854004},{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.6739457249641418},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6390447616577148},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.6013631224632263},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5889962315559387},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.4953666925430298},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4736522436141968},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.450662761926651},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.429410457611084},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12875759601593018},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.11493480205535889},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3019612.3019896","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3019612.3019896","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Symposium on Applied Computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3862295456","display_name":null,"funder_award_id":"PROMETEO-II/2015/013","funder_id":"https://openalex.org/F4320321864","funder_display_name":"Generalitat Valenciana"},{"id":"https://openalex.org/G6032960130","display_name":null,"funder_award_id":"TIN2013-44742-C4-1-R, TIN2016-76843-C4-1-R, PEJ-2014-A-24709","funder_id":"https://openalex.org/F4320321837","funder_display_name":"Ministerio de Econom\u00eda y Competitividad"}],"funders":[{"id":"https://openalex.org/F4320321837","display_name":"Ministerio de Econom\u00eda y Competitividad","ror":"https://ror.org/034900433"},{"id":"https://openalex.org/F4320321864","display_name":"Generalitat Valenciana","ror":"https://ror.org/0097mvx21"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W189518529","https://openalex.org/W303139982","https://openalex.org/W1575308494","https://openalex.org/W2027929331","https://openalex.org/W2037677490","https://openalex.org/W2072426153","https://openalex.org/W2079083905","https://openalex.org/W2088263927","https://openalex.org/W2092483417","https://openalex.org/W2098347737","https://openalex.org/W2101609988","https://openalex.org/W2167153801","https://openalex.org/W2913256667","https://openalex.org/W4241211222","https://openalex.org/W6610773549"],"related_works":["https://openalex.org/W2134982133","https://openalex.org/W1964336761","https://openalex.org/W2991905743","https://openalex.org/W2169437772","https://openalex.org/W4239953224","https://openalex.org/W2112395437","https://openalex.org/W2034103799","https://openalex.org/W2008059658","https://openalex.org/W2053408591","https://openalex.org/W1504483725"],"abstract_inverted_index":{"Program":[0],"slicing":[1,103],"is":[2,17,31,46,96],"a":[3,10,20,25,43,78,83],"technique":[4],"to":[5,80],"extract":[6],"the":[7,34,39,99,106],"part":[8],"of":[9,22,42,86,101,108],"program":[11,45,58,110],"(the":[12],"slice)":[13],"that":[14,68,88],"influences":[15],"or":[16],"influenced":[18],"by":[19],"set":[21],"variables":[23],"at":[24],"given":[26,44],"point.":[27],"Computing":[28],"minimal":[29,40],"slices":[30,70],"undecidable":[32],"in":[33,62],"general":[35],"case,":[36],"and":[37],"obtaining":[38],"slice":[41,87,93],"computationally":[47],"prohibitive":[48],"even":[49],"for":[50],"very":[51],"small":[52],"programs.":[53],"Hence,":[54],"no":[55],"matter":[56],"what":[57],"sheer":[59],"we":[60,64,76,89],"use,":[61],"general,":[63],"cannot":[65],"be":[66],"sure":[67],"our":[69],"are":[71],"minimal.":[72],"In":[73],"this":[74],"work,":[75],"present":[77],"method":[79],"automatically":[81],"produce":[82],"new":[84],"notion":[85],"call":[90],"super":[91],"reduced":[92],"because":[94],"it":[95],"constructed":[97],"with":[98],"combination":[100],"different":[102],"techniques,":[104],"including":[105],"composition":[107],"standard":[109],"sheers.":[111]},"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}