{"id":"https://openalex.org/W2118595631","doi":"https://doi.org/10.1145/1882291.1882332","title":"Representation dependence testing using program inversion","display_name":"Representation dependence testing using program inversion","publication_year":2010,"publication_date":"2010-11-07","ids":{"openalex":"https://openalex.org/W2118595631","doi":"https://doi.org/10.1145/1882291.1882332","mag":"2118595631"},"language":"en","primary_location":{"id":"doi:10.1145/1882291.1882332","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1882291.1882332","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://repository.upenn.edu/bitstreams/f6921b2f-dea1-4285-9f1c-5a9b0e5a93bc/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037631148","display_name":"Aditya Kanade","orcid":"https://orcid.org/0000-0001-8701-6977"},"institutions":[{"id":"https://openalex.org/I59270414","display_name":"Indian Institute of Science Bangalore","ror":"https://ror.org/04dese585","country_code":"IN","type":"education","lineage":["https://openalex.org/I59270414"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Aditya Kanade","raw_affiliation_strings":["Indian Institute of Science, Bangalore, India"],"affiliations":[{"raw_affiliation_string":"Indian Institute of Science, Bangalore, India","institution_ids":["https://openalex.org/I59270414"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065059795","display_name":"Rajeev Alur","orcid":"https://orcid.org/0000-0003-1733-7083"},"institutions":[{"id":"https://openalex.org/I922845939","display_name":"Philadelphia University","ror":"https://ror.org/03zzmyz63","country_code":"US","type":"education","lineage":["https://openalex.org/I922845939"]},{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rajeev Alur","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, USA"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, USA","institution_ids":["https://openalex.org/I922845939","https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076139746","display_name":"Sriram K. Rajamani","orcid":"https://orcid.org/0000-0002-1400-7065"},"institutions":[{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]},{"id":"https://openalex.org/I4210124949","display_name":"Microsoft Research (India)","ror":"https://ror.org/02w7f3w92","country_code":"IN","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210124949"]}],"countries":["IN","US"],"is_corresponding":false,"raw_author_name":"Sriram Rajamani","raw_affiliation_strings":["Microsoft Research India, Bangalore, India","Microsoft Research india, Bangalore, India#TAB#"],"affiliations":[{"raw_affiliation_string":"Microsoft Research India, Bangalore, India","institution_ids":["https://openalex.org/I4210124949"]},{"raw_affiliation_string":"Microsoft Research india, Bangalore, India#TAB#","institution_ids":["https://openalex.org/I1290206253"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010020490","display_name":"Ganesan Ramanlingam","orcid":null},"institutions":[{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]},{"id":"https://openalex.org/I4210124949","display_name":"Microsoft Research (India)","ror":"https://ror.org/02w7f3w92","country_code":"IN","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210124949"]}],"countries":["IN","US"],"is_corresponding":false,"raw_author_name":"Ganesan Ramanlingam","raw_affiliation_strings":["Microsoft Research India, Bangalore, India","Microsoft Research india, Bangalore, India#TAB#"],"affiliations":[{"raw_affiliation_string":"Microsoft Research India, Bangalore, India","institution_ids":["https://openalex.org/I4210124949"]},{"raw_affiliation_string":"Microsoft Research india, Bangalore, India#TAB#","institution_ids":["https://openalex.org/I1290206253"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5037631148"],"corresponding_institution_ids":["https://openalex.org/I59270414"],"apc_list":null,"apc_paid":null,"fwci":1.8103,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":{"value":0.86409736,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"277","last_page":"286"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9980000257492065,"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":0.9980000257492065,"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/T11986","display_name":"Scientific Computing and Data Management","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/normalization","display_name":"Normalization (sociology)","score":0.7427722811698914},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7171471118927002},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.6102148294448853},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.6020078659057617},{"id":"https://openalex.org/keywords/inverse","display_name":"Inverse","score":0.5738404989242554},{"id":"https://openalex.org/keywords/inversion","display_name":"Inversion (geology)","score":0.5442630648612976},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5301438570022583},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5226007103919983},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4624026417732239},{"id":"https://openalex.org/keywords/canonical-form","display_name":"Canonical form","score":0.4515971541404724},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3747203052043915},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2894425094127655},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.16917535662651062},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.11605009436607361}],"concepts":[{"id":"https://openalex.org/C136886441","wikidata":"https://www.wikidata.org/wiki/Q926129","display_name":"Normalization (sociology)","level":2,"score":0.7427722811698914},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7171471118927002},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6102148294448853},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.6020078659057617},{"id":"https://openalex.org/C207467116","wikidata":"https://www.wikidata.org/wiki/Q4385666","display_name":"Inverse","level":2,"score":0.5738404989242554},{"id":"https://openalex.org/C1893757","wikidata":"https://www.wikidata.org/wiki/Q3653001","display_name":"Inversion (geology)","level":3,"score":0.5442630648612976},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5301438570022583},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5226007103919983},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4624026417732239},{"id":"https://openalex.org/C204707403","wikidata":"https://www.wikidata.org/wiki/Q1152398","display_name":"Canonical form","level":2,"score":0.4515971541404724},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3747203052043915},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2894425094127655},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16917535662651062},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.11605009436607361},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C19165224","wikidata":"https://www.wikidata.org/wiki/Q23404","display_name":"Anthropology","level":1,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C109007969","wikidata":"https://www.wikidata.org/wiki/Q749565","display_name":"Structural basin","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/1882291.1882332","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1882291.1882332","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:repository.upenn.edu:20.500.14332/6568","is_oa":false,"landing_page_url":"https://repository.upenn.edu/handle/20.500.14332/6568","pdf_url":null,"source":{"id":"https://openalex.org/S4377196331","display_name":"Scholarly Commons (University of Pennsylvania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79576946","host_organization_name":"University of Pennsylvania","host_organization_lineage":["https://openalex.org/I79576946"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"published","raw_type":"Presentation"},{"id":"pmh:oai:repository.upenn.edu:cis_papers-1553","is_oa":true,"landing_page_url":"https://repository.upenn.edu/cis_papers/509","pdf_url":"https://repository.upenn.edu/bitstreams/f6921b2f-dea1-4285-9f1c-5a9b0e5a93bc/download","source":{"id":"https://openalex.org/S4306402083","display_name":"ScholarlyCommons (University of Pennsylvania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79576946","host_organization_name":"University of Pennsylvania","host_organization_lineage":["https://openalex.org/I79576946"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Departmental Papers (CIS)","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.299.2428","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.299.2428","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cis.upenn.edu/~alur/Fse10.pdf","raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:repository.upenn.edu:cis_papers-1553","is_oa":true,"landing_page_url":"https://repository.upenn.edu/cis_papers/509","pdf_url":"https://repository.upenn.edu/bitstreams/f6921b2f-dea1-4285-9f1c-5a9b0e5a93bc/download","source":{"id":"https://openalex.org/S4306402083","display_name":"ScholarlyCommons (University of Pennsylvania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79576946","host_organization_name":"University of Pennsylvania","host_organization_lineage":["https://openalex.org/I79576946"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Departmental Papers (CIS)","raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2118595631.pdf","grobid_xml":"https://content.openalex.org/works/W2118595631.grobid-xml"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W92576581","https://openalex.org/W1514383643","https://openalex.org/W1539335665","https://openalex.org/W1796427326","https://openalex.org/W1824857183","https://openalex.org/W1847062091","https://openalex.org/W1988524530","https://openalex.org/W1992570401","https://openalex.org/W2006599089","https://openalex.org/W2006872422","https://openalex.org/W2009715851","https://openalex.org/W2013368693","https://openalex.org/W2053718235","https://openalex.org/W2055477538","https://openalex.org/W2073407646","https://openalex.org/W2110409011","https://openalex.org/W2118577607","https://openalex.org/W2138577276","https://openalex.org/W2160456755","https://openalex.org/W2162120832","https://openalex.org/W2913026635","https://openalex.org/W3008797115","https://openalex.org/W4230859820","https://openalex.org/W4253606798","https://openalex.org/W6603841182","https://openalex.org/W6638263536","https://openalex.org/W6677885195","https://openalex.org/W6759142343"],"related_works":["https://openalex.org/W2953716828","https://openalex.org/W2904857019","https://openalex.org/W2944728705","https://openalex.org/W3011538607","https://openalex.org/W2904022177","https://openalex.org/W2591697403","https://openalex.org/W4321441197","https://openalex.org/W2359348847","https://openalex.org/W4294432981","https://openalex.org/W4321276295"],"abstract_inverted_index":{"The":[0],"definition":[1],"of":[2,12,56,58,100,137,156],"a":[3,23,32,49,59,77,87,147,153,189],"data":[4,24,60],"structure":[5,25,61],"may":[6],"permit":[7],"many":[8],"different":[9],"concrete":[10,84],"representations":[11],"the":[13,66,69,72,96,119,122,157,181],"same":[14],"logical":[15,73],"content.":[16],"A":[17],"(client)":[18],"program":[19,79],"that":[20,81],"accepts":[21],"such":[22,174],"as":[26,126,175],"input":[27,42,104,127],"is":[28,188],"said":[29],"to":[30,86,115,144,167],"have":[31],"representation":[33,63,85,168],"dependence":[34,169],"if":[35],"its":[36],"behavior":[37],"differs":[38],"for":[39,53,62,134,193],"logically":[40,113],"equivalent":[41,114],"values.":[43],"In":[44,65],"this":[45],"paper,":[46],"we":[47,107],"present":[48,130,152],"methodology":[50,163],"and":[51,159,178],"tool":[52],"automated":[54],"testing":[55],"clients":[57],"dependence.":[64],"proposed":[67],"methodology,":[68],"developer":[70],"expresses":[71],"equivalence":[74],"by":[75,117],"writing":[76],"normalization":[78,138],"f":[80],"maps":[82],"each":[83],"canonical":[88,123],"one.":[89],"Our":[90],"solution":[91],"relies":[92],"on":[93],"automatically":[94],"synthesizing":[95],"one-to-many":[97],"inverse":[98,120],"function":[99],"f:":[101],"given":[102],"an":[103,131],"value":[105,124],"x,":[106],"can":[108],"generate":[109],"multiple":[110],"test":[111],"inputs":[112],"x":[116],"executing":[118],"with":[121],"f(x)":[125],"repeatedly.":[128],"We":[129,151],"inversion":[132],"algorithm":[133],"restricted":[135],"classes":[136],"programs":[139,141],"including":[140],"mapping":[142],"arrays":[143,145],"in":[146,170],"typical":[148],"iterative":[149],"manner.":[150],"prototype":[154],"implementation":[155],"algorithm,":[158],"demonstrate":[160],"how":[161],"our":[162,194],"reveals":[164],"bugs":[165],"due":[166],"open":[171],"source":[172],"software":[173],"Open":[176],"Office":[177],"Picasa":[179],"using":[180],"widely":[182],"used":[183],"image":[184],"format":[185],"TIFF.":[186],"TIFF":[187],"challenging":[190],"case":[191],"study":[192],"approach.":[195]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}