{"id":"https://openalex.org/W2548207161","doi":"https://doi.org/10.1145/2950290.2983961","title":"RABIEF: range analysis based integer error fixing","display_name":"RABIEF: range analysis based integer error fixing","publication_year":2016,"publication_date":"2016-11-01","ids":{"openalex":"https://openalex.org/W2548207161","doi":"https://doi.org/10.1145/2950290.2983961","mag":"2548207161"},"language":"en","primary_location":{"id":"doi:10.1145/2950290.2983961","doi":"https://doi.org/10.1145/2950290.2983961","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2950290.2983961","pdf_url":null,"source":{"id":"https://openalex.org/S4363608883","display_name":"ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"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/A5086254073","display_name":"Xi Cheng","orcid":"https://orcid.org/0000-0003-3870-1577","observed_orcids":["https://orcid.org/0000-0003-3870-1577"]},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xi Cheng","raw_affiliation_strings":["Tsinghua University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tsinghua University, China","institution_ids":["https://openalex.org/I99065089"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5086254073"],"corresponding_institution_ids":["https://openalex.org/I99065089"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1094","last_page":"1096"},"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.9984999895095825,"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.9984999895095825,"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.0010999999940395355,"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/T10126","display_name":"Logic, programming, and type systems","score":0.00019999999494757503,"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/c-programming-language","display_name":"C programming language","score":0.5270000100135803},{"id":"https://openalex.org/keywords/range-analysis","display_name":"range analysis","score":0.9750000238418579},{"id":"https://openalex.org/keywords/integer-overflow","display_name":"integer overflow","score":0.6359999775886536},{"id":"https://openalex.org/keywords/sanitization","display_name":"sanitization","score":0.6779999732971191},{"id":"https://openalex.org/keywords/juliet-test-suite","display_name":"Juliet test suite","score":0.7599999904632568},{"id":"https://openalex.org/keywords/software-vulnerabilities","display_name":"software vulnerabilities","score":0.46299999952316284}],"concepts":[{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.8236727714538574},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6681454181671143},{"id":"https://openalex.org/C170130773","wikidata":"https://www.wikidata.org/wiki/Q216378","display_name":"Usability","level":2,"score":0.63709557056427},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.6314749121665955},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.6048589944839478},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.595173180103302},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.5608984231948853},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.487162321805954},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.46136918663978577},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.340902715921402},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3124605417251587},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.24220547080039978},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.16632279753684998},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.12160593271255493},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11206120252609253},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2950290.2983961","doi":"https://doi.org/10.1145/2950290.2983961","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2950290.2983961","pdf_url":null,"source":{"id":"https://openalex.org/S4363608883","display_name":"ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1531103278","https://openalex.org/W1847604698","https://openalex.org/W1975455521","https://openalex.org/W1977696633","https://openalex.org/W1994372357","https://openalex.org/W2060333670","https://openalex.org/W2063387237","https://openalex.org/W2088105804","https://openalex.org/W2122947685","https://openalex.org/W2123527946","https://openalex.org/W2138788987","https://openalex.org/W2153881107","https://openalex.org/W2274071363","https://openalex.org/W2621026180","https://openalex.org/W4236837729","https://openalex.org/W4244452926","https://openalex.org/W4256377773"],"related_works":["https://openalex.org/W2942729783","https://openalex.org/W2508583900","https://openalex.org/W2910391684","https://openalex.org/W2767391605","https://openalex.org/W2064060175","https://openalex.org/W156636521","https://openalex.org/W6960022011","https://openalex.org/W2883530877","https://openalex.org/W1904404804","https://openalex.org/W2362847699"],"abstract_inverted_index":{"C":[0,68],"language":[1],"has":[2],"complicated":[3],"semantics":[4],"for":[5,84,105],"integers.":[6],"Integer":[7],"errors":[8,70,87,159],"lead":[9],"to":[10,30,66,145,155],"serious":[11],"software":[12],"failures":[13],"or":[14,51],"exploitable":[15],"vulnerabilities":[16],"while":[17],"they":[18,45],"are":[19],"harbored":[20],"in":[21,133],"various":[22,85],"real-world":[23,162],"programs.":[24],"It":[25],"is":[26,41,76,153],"labor-intensive":[27],"and":[28,62,95,108,121],"error-prone":[29],"manually":[31],"address":[32],"integer":[33,69,86,138],"errors.":[34],"The":[35],"usability":[36],"of":[37,136],"existing":[38],"automated":[39],"techniques":[40],"generally":[42],"poor,":[43],"as":[44],"heavily":[46],"rely":[47],"on":[48,72],"external":[49],"specifications":[50],"simply":[52],"transform":[53],"bugs":[54,139],"into":[55,115],"crash.":[56],"We":[57,112],"propose":[58],"RABIEF,":[59],"a":[60,116],"novel":[61],"fully":[63],"automatic":[64],"approach":[65],"fix":[67,110,157],"based":[71],"range":[73,100],"analysis.":[74],"RABIEF":[75,114],"inspired":[77],"by":[78,126],"the":[79,127],"following":[80],"insights:":[81],"(1)":[82,130],"fixes":[83],"have":[88,123],"typical":[89],"patterns":[90],"including":[91],"sanitization,":[92],"explicit":[93],"cast":[94],"declared":[96],"type":[97],"alteration;":[98],"(2)":[99,151],"analysis":[101],"provides":[102],"sound":[103],"basis":[104],"error":[106],"detection":[107],"guides":[109],"generation.":[111],"implemented":[113],"tool":[117],"Argyi.":[118],"Its":[119],"effectiveness":[120],"efficiency":[122],"been":[124],"substantiated":[125],"facts":[128],"that:":[129],"Argyi":[131,152],"succeeds":[132],"fixing":[134],"93.9%":[135],"5414":[137],"from":[140,160],"Juliet":[141],"test":[142],"suite,":[143],"scaling":[144],"600":[146],"KLOC":[147],"within":[148,164],"5500":[149],"seconds;":[150],"confirmed":[154],"correctly":[156],"20":[158],"4":[161],"programs":[163],"only":[165],"240":[166],"seconds.":[167]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-11-11T00:00:00"}