Publication Information

{'id': 'https://openalex.org/W2484116259', 'doi': None, 'title': 'Automatically Detecting Error Handling Bugs Using Error Specifications', 'display_name': 'Automatically Detecting Error Handling Bugs Using Error Specifications', 'publication_year': 2016, 'publication_date': '2016-01-01', 'ids': {'openalex': 'https://openalex.org/W2484116259', 'mag': '2484116259'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://atc.usenix.org/system/files/conference/usenixsecurity16/sec16_paper_jana.pdf', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4306421123', 'display_name': 'USENIX Security Symposium', 'issn_l': None, 'issn': None, 'is_oa': False, 'is_in_doaj': False, 'is_core': False, 'host_organization': None, 'host_organization_name': None, 'host_organization_lineage': [], 'host_organization_lineage_names': [], 'type': 'conference'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'article', 'type_crossref': 'proceedings-article', 'indexed_in': [], 'open_access': {'is_oa': False, 'oa_status': 'closed', 'oa_url': None, 'any_repository_has_fulltext': False}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5016425387', 'display_name': 'Suman Jana', 'orcid': 'https://orcid.org/0000-0002-9850-2169'}, 'institutions': [{'id': 'https://openalex.org/I78577930', 'display_name': 'Columbia University', 'ror': 'https://ror.org/00hj8s172', 'country_code': 'US', 'type': 'education', 'lineage': ['https://openalex.org/I78577930']}], 'countries': ['US'], 'is_corresponding': False, 'raw_author_name': 'Suman Jana', 'raw_affiliation_strings': ['Columbia University'], 'affiliations': [{'raw_affiliation_string': 'Columbia University', 'institution_ids': ['https://openalex.org/I78577930']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5031187524', 'display_name': 'Yuan Kang', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I78577930', 'display_name': 'Columbia University', 'ror': 'https://ror.org/00hj8s172', 'country_code': 'US', 'type': 'education', 'lineage': ['https://openalex.org/I78577930']}], 'countries': ['US'], 'is_corresponding': False, 'raw_author_name': 'Yuan Jochen Kang', 'raw_affiliation_strings': ['Columbia University'], 'affiliations': [{'raw_affiliation_string': 'Columbia University', 'institution_ids': ['https://openalex.org/I78577930']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5076852665', 'display_name': 'Samuel Roth', 'orcid': 'https://orcid.org/0000-0001-6024-6801'}, 'institutions': [{'id': 'https://openalex.org/I150722199', 'display_name': 'Ohio Northern University', 'ror': 'https://ror.org/052963a64', 'country_code': 'US', 'type': 'education', 'lineage': ['https://openalex.org/I150722199', 'https://openalex.org/I4210162304']}], 'countries': ['US'], 'is_corresponding': False, 'raw_author_name': 'Samuel Roth', 'raw_affiliation_strings': ['[Ohio Northern University]'], 'affiliations': [{'raw_affiliation_string': '[Ohio Northern University]', 'institution_ids': ['https://openalex.org/I150722199']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5064541855', 'display_name': 'Baishakhi Ray', 'orcid': 'https://orcid.org/0000-0003-3406-5235'}, 'institutions': [{'id': 'https://openalex.org/I51556381', 'display_name': 'University of Virginia', 'ror': 'https://ror.org/0153tk833', 'country_code': 'US', 'type': 'education', 'lineage': ['https://openalex.org/I51556381']}], 'countries': ['US'], 'is_corresponding': False, 'raw_author_name': 'Baishakhi Ray', 'raw_affiliation_strings': ['UNIVERSITY OF VIRGINIA;'], 'affiliations': [{'raw_affiliation_string': 'UNIVERSITY OF VIRGINIA;', 'institution_ids': ['https://openalex.org/I51556381']}]}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 3, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': 4.441, 'has_fulltext': False, 'cited_by_count': 34, 'citation_normalized_percentile': {'value': 0.939332, 'is_in_top_1_percent': False, 'is_in_top_10_percent': True}, 'cited_by_percentile_year': {'min': 94, 'max': 95}, 'biblio': {'volume': None, 'issue': None, 'first_page': '345', 'last_page': '362'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T12479', 'display_name': 'Web Application Security Vulnerabilities', 'score': 0.9995, '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/T12479', 'display_name': 'Web Application Security Vulnerabilities', 'score': 0.9995, '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.9992, '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/T11241', 'display_name': 'Advanced Malware Detection Techniques', 'score': 0.9989, 'subfield': {'id': 'https://openalex.org/subfields/1711', 'display_name': 'Signal Processing'}, '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/software-bug', 'display_name': 'Software bug', 'score': 0.72758096}, {'id': 'https://openalex.org/keywords/code', 'display_name': 'Code (set theory)', 'score': 0.48174217}, {'id': 'https://openalex.org/keywords/exception-handling', 'display_name': 'Exception handling', 'score': 0.43746603}], 'concepts': [{'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.82743174}, {'id': 'https://openalex.org/C1009929', 'wikidata': 'https://www.wikidata.org/wiki/Q179550', 'display_name': 'Software bug', 'level': 3, 'score': 0.72758096}, {'id': 'https://openalex.org/C55166926', 'wikidata': 'https://www.wikidata.org/wiki/Q2892946', 'display_name': 'Oracle', 'level': 2, 'score': 0.7261452}, {'id': 'https://openalex.org/C199519371', 'wikidata': 'https://www.wikidata.org/wiki/Q942695', 'display_name': 'Source lines of code', 'level': 3, 'score': 0.60716784}, {'id': 'https://openalex.org/C2776760102', 'wikidata': 'https://www.wikidata.org/wiki/Q5139990', 'display_name': 'Code (set theory)', 'level': 3, 'score': 0.48174217}, {'id': 'https://openalex.org/C103088060', 'wikidata': 'https://www.wikidata.org/wiki/Q1062839', 'display_name': 'Error detection and correction', 'level': 2, 'score': 0.47893485}, {'id': 'https://openalex.org/C145428669', 'wikidata': 'https://www.wikidata.org/wiki/Q471748', 'display_name': 'Exception handling', 'level': 2, 'score': 0.43746603}, {'id': 'https://openalex.org/C168065819', 'wikidata': 'https://www.wikidata.org/wiki/Q845566', 'display_name': 'Debugging', 'level': 2, 'score': 0.41367838}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.3102028}, {'id': 'https://openalex.org/C2777904410', 'wikidata': 'https://www.wikidata.org/wiki/Q7397', 'display_name': 'Software', 'level': 2, 'score': 0.26830834}, {'id': 'https://openalex.org/C11413529', 'wikidata': 'https://www.wikidata.org/wiki/Q8366', 'display_name': 'Algorithm', 'level': 1, 'score': 0.17766204}, {'id': 'https://openalex.org/C177264268', 'wikidata': 'https://www.wikidata.org/wiki/Q1514741', 'display_name': 'Set (abstract data type)', 'level': 2, 'score': 0.07054952}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'https://atc.usenix.org/system/files/conference/usenixsecurity16/sec16_paper_jana.pdf', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4306421123', 'display_name': 'USENIX Security Symposium', 'issn_l': None, 'issn': None, 'is_oa': False, 'is_in_doaj': False, 'is_core': False, 'host_organization': None, 'host_organization_name': None, 'host_organization_lineage': [], 'host_organization_lineage_names': [], 'type': 'conference'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}], 'best_oa_location': None, 'sustainable_development_goals': [{'display_name': 'Peace, justice, and strong institutions', 'score': 0.77, 'id': 'https://metadata.un.org/sdg/16'}], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 46, 'referenced_works': ['https://openalex.org/W1457363419', 'https://openalex.org/W1495444061', 'https://openalex.org/W1545684573', 'https://openalex.org/W1560720671', 'https://openalex.org/W157156687', 'https://openalex.org/W1657461476', 'https://openalex.org/W1710734607', 'https://openalex.org/W1720848645', 'https://openalex.org/W1802141165', 'https://openalex.org/W1809974132', 'https://openalex.org/W1856462361', 'https://openalex.org/W1926951188', 'https://openalex.org/W1971772683', 'https://openalex.org/W1973883609', 'https://openalex.org/W1975344666', 'https://openalex.org/W1976919795', 'https://openalex.org/W2009489720', 'https://openalex.org/W2028820179', 'https://openalex.org/W2038081023', 'https://openalex.org/W2043811931', 'https://openalex.org/W2054426341', 'https://openalex.org/W2064081154', 'https://openalex.org/W2076719273', 'https://openalex.org/W2086042629', 'https://openalex.org/W2088018315', 'https://openalex.org/W2094568767', 'https://openalex.org/W2096449544', 'https://openalex.org/W2101512909', 'https://openalex.org/W2103370348', 'https://openalex.org/W2117058582', 'https://openalex.org/W2119736157', 'https://openalex.org/W2119821739', 'https://openalex.org/W2122947685', 'https://openalex.org/W2129262850', 'https://openalex.org/W2132523160', 'https://openalex.org/W2134101189', 'https://openalex.org/W2141670850', 'https://openalex.org/W2145994642', 'https://openalex.org/W2146752727', 'https://openalex.org/W2146923862', 'https://openalex.org/W2153881107', 'https://openalex.org/W2155061608', 'https://openalex.org/W2156841542', 'https://openalex.org/W2163005041', 'https://openalex.org/W2166381878', 'https://openalex.org/W2240363388'], 'related_works': ['https://openalex.org/W97918613', 'https://openalex.org/W3096174798', 'https://openalex.org/W2957637878', 'https://openalex.org/W2741422284', 'https://openalex.org/W2572445426', 'https://openalex.org/W2509822438', 'https://openalex.org/W2496223032', 'https://openalex.org/W2155061608', 'https://openalex.org/W2131032015', 'https://openalex.org/W2121818394', 'https://openalex.org/W2054520963', 'https://openalex.org/W2043811931', 'https://openalex.org/W2028820179', 'https://openalex.org/W2027256755', 'https://openalex.org/W1971772683', 'https://openalex.org/W1968027261', 'https://openalex.org/W1710734607', 'https://openalex.org/W1657461476', 'https://openalex.org/W1590932886', 'https://openalex.org/W1545684573'], 'abstract_inverted_index': {'Incorrect': [0], 'error': [1, 14, 44, 48, 95, 103, 145, 162, 210, 258], 'handling': [2, 15, 31, 45, 49, 163, 211, 259], 'in': [3, 21, 131], 'security-sensitive': [4], 'code': [5], 'often': [6, 127], 'leads': [7], 'to': [8, 41, 53, 97, 150, 221], 'severe': [9], 'security': [10, 222, 227], 'vulnerabilities.': [11], 'Implementing': [12], 'correct': [13, 257], 'is': [16], 'repetitive': [17], 'and': [18, 55, 75, 88, 99, 105, 137, 143, 189, 191, 204], 'tedious': [19], 'especially': [20], 'languages': [22], 'like': [23], 'C': [24, 178], 'that': [25, 93, 155, 195, 224], 'do': [26, 66], 'not': [27, 67], 'support': [28], 'any': [29, 69, 109], 'exception': [30], 'primitives.': [32], 'This': [33, 147], 'makes': [34], 'it': [35], 'very': [36], 'easy': [37], 'for': [38], 'the': [39, 226], 'developers': [40], 'unwittingly': [42], 'introduce': [43], 'bugs.': [46], 'Moreover,': [47], 'bugs': [50, 65, 107, 164, 212], 'are': [51, 111], 'hard': [52], 'detect': [54, 157], 'locate': [56], 'using': [57], 'existing': [58], 'bug-finding': [59], 'techniques': [60], 'because': [61], 'many': [62], 'of': [63, 135, 161, 169, 177, 218, 229, 240, 254], 'these': [64, 115, 214], 'display': [68], 'obviously': [70], 'erroneous': [71], 'behaviors': [72], '(e.g.,': [73], 'crash': [74], 'assertion': [76], 'failure)': [77], 'but': [78], 'cause': [79], 'subtle': [80], 'inaccuracies.': [81], 'In': [82], 'this': [83], 'paper,': [84], 'we': [85], 'design,': [86], 'implement,': [87], 'evaluate': [89], 'EPEX,': [90], 'a': [91, 132, 152, 158, 166, 233, 247], 'tool': [92], 'uses': [94], 'specifications': [96], 'identify': [98], 'symbolically': [100], 'explore': [101], 'different': [102, 182, 193], 'paths': [104], 'reports': [106], 'when': [108], 'errors': [110, 129], 'handled': [112], 'incorrectly': [113], 'along': [114], 'paths.': [116], 'The': [117], 'key': [118], 'insights': [119], 'behind': [120], 'our': [121], 'approach': [122], 'are:': [123], '(i)': [124], 'real-world': [125], 'programs': [126], 'handle': [128], 'only': [130], 'limited': [133], 'number': [134], 'ways': [136], '(ii)': [138], 'most': [139], 'functions': [140], 'have': [141], 'simple': [142, 153], 'consistent': [144], 'specifications.': [146], 'allows': [148], 'us': [149], 'create': [151], 'oracle': [154], 'can': [156], 'large': [159], 'class': [160], 'across': [165, 213], 'wide': [167], 'range': [168], 'programs.': [170], 'We': [171], 'evaluated': [172], 'EPEX': [173, 231], 'on': [174], '867,000': [175], 'lines': [176], 'Code': [179], 'from': [180], 'four': [181], 'open-source': [183], 'SSL/TLS': [184, 197], 'libraries': [185], '(OpenSSL,': [186], 'GnuTLS,': [187], 'mbedTLS,': [188], 'wolfSSL)': [190], '5': [192], 'applications': [194], 'use': [196], 'API': [198], '(Apache': [199], 'httpd,': [200], 'cURL,': [201], 'Wget,': [202], 'LYNX,': [203], 'Mutt).': [205], 'EPEx': [206], 'discovered': [207], '102': [208], 'new': [209], 'programs—at': [215], 'least': [216], '53': [217], 'which': [219], 'lead': [220], 'flaws': [223], 'break': [225], 'guarantees': [228], 'SSL/TLS.': [230], 'has': [232], 'low': [234, 248], 'false': [235, 249], 'positive': [236], 'rate': [237, 251], '(28': [238], 'out': [239, 253], '130': [241], 'reported': [242, 256], 'bugs)': [243], 'as': [244, 246], 'well': [245], 'negative': [250], '(20': [252], '960': [255], 'cases).': [260]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2484116259', 'counts_by_year': [{'year': 2023, 'cited_by_count': 1}, {'year': 2022, 'cited_by_count': 1}, {'year': 2021, 'cited_by_count': 9}, {'year': 2020, 'cited_by_count': 2}, {'year': 2019, 'cited_by_count': 11}, {'year': 2018, 'cited_by_count': 5}, {'year': 2017, 'cited_by_count': 4}, {'year': 2016, 'cited_by_count': 1}], 'updated_date': '2025-01-12T04:55:48.530923', 'created_date': '2016-08-23'}