{"id":"https://openalex.org/W2098650676","doi":"https://doi.org/10.1145/1858996.1859014","title":"An automated approach for finding variable-constant pairing bugs","display_name":"An automated approach for finding variable-constant pairing bugs","publication_year":2010,"publication_date":"2010-09-20","ids":{"openalex":"https://openalex.org/W2098650676","doi":"https://doi.org/10.1145/1858996.1859014","mag":"2098650676"},"language":"en","primary_location":{"id":"doi:10.1145/1858996.1859014","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1858996.1859014","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM international conference on Automated software engineering","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/A5040879516","display_name":"Julia Lawall","orcid":"https://orcid.org/0000-0002-1684-1264"},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Julia Lawall","raw_affiliation_strings":["University of Copenhagen and INRIA-Regal, Copenhagen, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Copenhagen and INRIA-Regal, Copenhagen, Denmark","institution_ids":["https://openalex.org/I124055696"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081036622","display_name":"David Lo","orcid":"https://orcid.org/0000-0002-4367-7201"},"institutions":[{"id":"https://openalex.org/I79891267","display_name":"Singapore Management University","ror":"https://ror.org/050qmg959","country_code":"SG","type":"education","lineage":["https://openalex.org/I79891267"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"David Lo","raw_affiliation_strings":["Singapore Management University, Singapore, Singapore","[Singapore Management University, Singapore, Singapore]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Singapore Management University, Singapore, Singapore","institution_ids":["https://openalex.org/I79891267"]},{"raw_affiliation_string":"[Singapore Management University, Singapore, Singapore]","institution_ids":["https://openalex.org/I79891267"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5040879516"],"corresponding_institution_ids":["https://openalex.org/I124055696"],"apc_list":null,"apc_paid":null,"fwci":2.141,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.9150731,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"103","last_page":"112"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/correctness","display_name":"Correctness","score":0.8138241767883301},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8107856512069702},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.7723580002784729},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6408098936080933},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6055079102516174},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.5378301739692688},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4955700635910034},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.49255117774009705},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4416866600513458},{"id":"https://openalex.org/keywords/context-switch","display_name":"Context switch","score":0.4369460344314575},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09497907757759094}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8138241767883301},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8107856512069702},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.7723580002784729},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6408098936080933},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6055079102516174},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.5378301739692688},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4955700635910034},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.49255117774009705},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4416866600513458},{"id":"https://openalex.org/C53833338","wikidata":"https://www.wikidata.org/wiki/Q1061424","display_name":"Context switch","level":2,"score":0.4369460344314575},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09497907757759094},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"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/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"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":5,"locations":[{"id":"doi:10.1145/1858996.1859014","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1858996.1859014","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the IEEE/ACM international conference on Automated software engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:ink.library.smu.edu.sg:sis_research-2346","is_oa":false,"landing_page_url":"https://ink.library.smu.edu.sg/cgi/viewcontent.cgi?article=2346&context=sis_research","pdf_url":null,"source":{"id":"https://openalex.org/S4377196871","display_name":"Institutional Knowledge (InK) - Institutional Knowledge at Singapore Management University (Singapore Management University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79891267","host_organization_name":"Singapore Management University","host_organization_lineage":["https://openalex.org/I79891267"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://doi.org/10.1145/1858996.1859014","raw_type":"Conference Proceeding Article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.308.7913","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.308.7913","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.diku.dk/~julia/ase10.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.709.9616","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.709.9616","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.mysmu.edu/faculty/davidlo/papers/ase10-bugs.pdf","raw_type":"text"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/41a8ce50-e058-11df-b6d2-000ea68e967b","is_oa":false,"landing_page_url":"https://researchprofiles.ku.dk/da/publications/41a8ce50-e058-11df-b6d2-000ea68e967b","pdf_url":null,"source":{"id":"https://openalex.org/S4306401983","display_name":"Research at the University of Copenhagen (University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I124055696","host_organization_name":"University of Copenhagen","host_organization_lineage":["https://openalex.org/I124055696"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Lawall , J & Lo , D 2010 , An automated approach for finding variable-constant pairing bugs . in ASE'10 : Proceedings of the IEEE/ACM International conference on Automated Software Engineering . Association for Computing Machinery , pp. 103-112 , 25th IEEE/ACM International Conference on Automated Software Engineering , Antwerp , Belgium , 20/09/2010 . https://doi.org/10.1145/1858996.1859014","raw_type":"contributionToPeriodical"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.800000011920929,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1494199306","https://openalex.org/W1509245290","https://openalex.org/W1532325895","https://openalex.org/W1585610988","https://openalex.org/W1747826587","https://openalex.org/W1976208596","https://openalex.org/W1996565109","https://openalex.org/W2043811931","https://openalex.org/W2054520963","https://openalex.org/W2055818134","https://openalex.org/W2059215200","https://openalex.org/W2074644416","https://openalex.org/W2104301886","https://openalex.org/W2109612250","https://openalex.org/W2120797124","https://openalex.org/W2123227336","https://openalex.org/W2126834265","https://openalex.org/W2138546883","https://openalex.org/W2140190241","https://openalex.org/W2146878883","https://openalex.org/W2153964911","https://openalex.org/W2156841542","https://openalex.org/W2158391928","https://openalex.org/W2162422574","https://openalex.org/W2171705860","https://openalex.org/W2293770661","https://openalex.org/W2987803397","https://openalex.org/W4290864872"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W4241418540","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W4252501555","https://openalex.org/W2003848320"],"abstract_inverted_index":{"Named":[0],"constants":[1],"are":[2],"used":[3,40,62],"heavily":[4],"in":[5,14,41,63],"operating":[6,22,43],"systems":[7,44],"code,":[8],"both":[9],"as":[10],"internal":[11],"flags":[12],"and":[13,71],"interactions":[15],"with":[16],"devices.":[17],"Decision":[18],"making":[19],"within":[20],"an":[21],"system":[23],"thus":[24],"critically":[25],"depends":[26],"on":[27],"the":[28,37,50,78,86],"correct":[29],"usage":[30,51,83],"of":[31,52],"these":[32],"values.":[33],"Nevertheless,":[34],"compilers":[35],"for":[36,48,81],"languages":[38],"typically":[39],"implementing":[42],"provide":[45],"little":[46],"support":[47],"checking":[49],"named":[53],"constants.":[54],"This":[55],"affects":[56],"correctness,":[57],"when":[58,74],"a":[59,64,75],"constant":[60,76],"is":[61,69],"context":[65,84],"where":[66],"its":[67,82],"value":[68,80],"meaningless,":[70],"software":[72],"maintenance,":[73],"has":[77],"right":[79],"but":[85],"wrong":[87],"name.":[88]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-29T09:16:38.111599","created_date":"2025-10-10T00:00:00"}