Publication Information

{'id': 'https://openalex.org/W2044213223', 'doi': 'https://doi.org/10.5555/2486788.2487001', 'title': 'Memoise: a tool for memoized symbolic execution', 'display_name': 'Memoise: a tool for memoized symbolic execution', 'publication_year': 2013, 'publication_date': '2013-05-18', 'ids': {'openalex': 'https://openalex.org/W2044213223', 'doi': 'https://doi.org/10.5555/2486788.2487001', 'mag': '2044213223'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.1109/ICSE.2013.6606713', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4306419842', 'display_name': 'International Conference on Software Engineering', '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/A5039642499', 'display_name': 'Guowei Yang', 'orcid': 'https://orcid.org/0000-0002-1404-4560'}, 'institutions': [{'id': 'https://openalex.org/I86519309', 'display_name': 'The University of Texas at Austin', 'ror': 'https://ror.org/00hj54h04', 'country_code': 'US', 'type': 'education', 'lineage': ['https://openalex.org/I86519309']}], 'countries': ['US'], 'is_corresponding': False, 'raw_author_name': 'Guowei Yang', 'raw_affiliation_strings': ['Electr. & Comput. Eng., Univ. of Texas at Austin, Austin, TX, USA#TAB#'], 'affiliations': [{'raw_affiliation_string': 'Electr. & Comput. Eng., Univ. of Texas at Austin, Austin, TX, USA#TAB#', 'institution_ids': ['https://openalex.org/I86519309']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5102146282', 'display_name': 'Sarfraz Khurshid', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I86519309', 'display_name': 'The University of Texas at Austin', 'ror': 'https://ror.org/00hj54h04', 'country_code': 'US', 'type': 'education', 'lineage': ['https://openalex.org/I86519309']}], 'countries': ['US'], 'is_corresponding': False, 'raw_author_name': 'Sarfraz Khurshid', 'raw_affiliation_strings': ['Electr. & Comput. Eng., Univ. of Texas at Austin, Austin, TX, USA#TAB#'], 'affiliations': [{'raw_affiliation_string': 'Electr. & Comput. Eng., Univ. of Texas at Austin, Austin, TX, USA#TAB#', 'institution_ids': ['https://openalex.org/I86519309']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5053134485', 'display_name': 'Corina S. Păsăreanu', 'orcid': 'https://orcid.org/0000-0002-5579-6961'}, 'institutions': [{'id': 'https://openalex.org/I1280536761', 'display_name': 'Ames Research Center', 'ror': 'https://ror.org/02acart68', 'country_code': 'US', 'type': 'facility', 'lineage': ['https://openalex.org/I1280536761', 'https://openalex.org/I4210124779']}], 'countries': ['US'], 'is_corresponding': False, 'raw_author_name': 'Corina S. Pasareanu', 'raw_affiliation_strings': ['Carnegie Mellon Silicon Valley, USA / NASA Ames Research Center, USA'], 'affiliations': [{'raw_affiliation_string': 'Carnegie Mellon Silicon Valley, USA / NASA Ames Research Center, USA', 'institution_ids': ['https://openalex.org/I1280536761']}]}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 2, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': 1.203, 'has_fulltext': False, 'cited_by_count': 10, 'citation_normalized_percentile': {'value': 0.694396, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 85, 'max': 86}, 'biblio': {'volume': None, 'issue': None, 'first_page': '1343', 'last_page': '1346'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10743', 'display_name': 'Software Testing and Debugging Techniques', 'score': 0.9999, '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.9999, '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.9998, '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/T12423', 'display_name': 'Software Reliability and Analysis Research', 'score': 0.9974, '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/concolic-testing', 'display_name': 'Concolic testing', 'score': 0.82352793}, {'id': 'https://openalex.org/keywords/symbolic-trajectory-evaluation', 'display_name': 'Symbolic trajectory evaluation', 'score': 0.68085045}, {'id': 'https://openalex.org/keywords/symbolic-data-analysis', 'display_name': 'Symbolic data analysis', 'score': 0.5777134}, {'id': 'https://openalex.org/keywords/trie', 'display_name': 'Trie', 'score': 0.48700887}, {'id': 'https://openalex.org/keywords/the-symbolic', 'display_name': 'The Symbolic', 'score': 0.4775687}], 'concepts': [{'id': 'https://openalex.org/C2779639559', 'wikidata': 'https://www.wikidata.org/wiki/Q7661178', 'display_name': 'Symbolic execution', 'level': 3, 'score': 0.95099056}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.8770491}, {'id': 'https://openalex.org/C11219265', 'wikidata': 'https://www.wikidata.org/wiki/Q5158734', 'display_name': 'Concolic testing', 'level': 4, 'score': 0.82352793}, {'id': 'https://openalex.org/C23123167', 'wikidata': 'https://www.wikidata.org/wiki/Q7661193', 'display_name': 'Symbolic trajectory evaluation', 'level': 3, 'score': 0.68085045}, {'id': 'https://openalex.org/C65620979', 'wikidata': 'https://www.wikidata.org/wiki/Q7661176', 'display_name': 'Symbolic data analysis', 'level': 2, 'score': 0.5777134}, {'id': 'https://openalex.org/C548217200', 'wikidata': 'https://www.wikidata.org/wiki/Q251', 'display_name': 'Java', 'level': 2, 'score': 0.49580416}, {'id': 'https://openalex.org/C2989134064', 'wikidata': 'https://www.wikidata.org/wiki/Q288510', 'display_name': 'Execution time', 'level': 2, 'score': 0.48702222}, {'id': 'https://openalex.org/C190290938', 'wikidata': 'https://www.wikidata.org/wiki/Q387015', 'display_name': 'Trie', 'level': 3, 'score': 0.48700887}, {'id': 'https://openalex.org/C2776095079', 'wikidata': 'https://www.wikidata.org/wiki/Q489538', 'display_name': 'The Symbolic', 'level': 2, 'score': 0.4775687}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.46829978}, {'id': 'https://openalex.org/C173801870', 'wikidata': 'https://www.wikidata.org/wiki/Q201413', 'display_name': 'Heuristic', 'level': 2, 'score': 0.42479667}, {'id': 'https://openalex.org/C80444323', 'wikidata': 'https://www.wikidata.org/wiki/Q2878974', 'display_name': 'Theoretical computer science', 'level': 1, 'score': 0.34544832}, {'id': 'https://openalex.org/C162319229', 'wikidata': 'https://www.wikidata.org/wiki/Q175263', 'display_name': 'Data structure', 'level': 2, 'score': 0.28265697}, {'id': 'https://openalex.org/C110251889', 'wikidata': 'https://www.wikidata.org/wiki/Q1569697', 'display_name': 'Model checking', 'level': 2, 'score': 0.22266221}, {'id': 'https://openalex.org/C2777904410', 'wikidata': 'https://www.wikidata.org/wiki/Q7397', 'display_name': 'Software', 'level': 2, 'score': 0.14683974}, {'id': 'https://openalex.org/C154945302', 'wikidata': 'https://www.wikidata.org/wiki/Q11660', 'display_name': 'Artificial intelligence', 'level': 1, 'score': 0.107890606}, {'id': 'https://openalex.org/C15744967', 'wikidata': 'https://www.wikidata.org/wiki/Q9418', 'display_name': 'Psychology', 'level': 0, 'score': 0.0}, {'id': 'https://openalex.org/C11171543', 'wikidata': 'https://www.wikidata.org/wiki/Q41630', 'display_name': 'Psychoanalysis', 'level': 1, 'score': 0.0}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'https://doi.org/10.1109/ICSE.2013.6606713', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4306419842', 'display_name': 'International Conference on Software Engineering', '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': [], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 12, 'referenced_works': ['https://openalex.org/W1548806133', 'https://openalex.org/W1710734607', 'https://openalex.org/W1991346612', 'https://openalex.org/W1992105245', 'https://openalex.org/W2046569047', 'https://openalex.org/W2047694629', 'https://openalex.org/W2061686717', 'https://openalex.org/W2066353350', 'https://openalex.org/W2096449544', 'https://openalex.org/W2101512909', 'https://openalex.org/W2138856138', 'https://openalex.org/W2152565783'], 'related_works': ['https://openalex.org/W3091157996', 'https://openalex.org/W3007193137', 'https://openalex.org/W2944986035', 'https://openalex.org/W2761359361', 'https://openalex.org/W2517404595', 'https://openalex.org/W2406227170', 'https://openalex.org/W2244080217', 'https://openalex.org/W2156585713', 'https://openalex.org/W2152565783', 'https://openalex.org/W2101512909', 'https://openalex.org/W2066353350', 'https://openalex.org/W2061731456', 'https://openalex.org/W2028170982', 'https://openalex.org/W2025823549', 'https://openalex.org/W2019299443', 'https://openalex.org/W1990880047', 'https://openalex.org/W1989476956', 'https://openalex.org/W1965767399', 'https://openalex.org/W1710734607', 'https://openalex.org/W1552900908'], 'abstract_inverted_index': {'This': [0], 'tool': [1, 5, 92, 113, 137], 'paper': [2], 'presents': [3], 'a': [4, 60, 70], 'for': [6, 19, 78, 134], 'performing': [7], 'memoized': [8], 'symbolic': [9, 24, 36, 43, 73, 94, 125], 'execution': [10, 37, 44, 95, 126], '(Memoise),': [11], 'an': [12], 'approach': [13], 'we': [14], 'developed': [15], 'in': [16, 29, 54, 96], 'previous': [17], 'work': [18], 'more': [20, 123], 'efficient': [21, 124], 'application': [22], 'of': [23, 35, 42, 72, 127], 'execution.': [25], 'The': [26, 136], 'key': [27], 'idea': [28], 'Memoise': [30, 58, 114], 'is': [31, 102, 131, 140], 'to': [32, 47, 64, 121], 'allow': [33], 're-use': [34], 'results': [38, 51], 'across': [39], 'different': [40], 'runs': [41], 'without': [45], 'having': [46], 're-compute': [48], 'previously': [49], 'computed': [50], 'as': [52], 'done': [53], 'earlier': [55], 'approaches.': [56], 'Specifically,': [57], 'builds': [59, 115], 'trie-based': [61], 'data': [62], 'structure': [63], 'record': [65], 'path': [66], 'exploration': [67], 'information': [68], 'during': [69, 87], 'run': [71], 'execution,': [74], 'optimizes': [75, 93], 'the': [76, 79, 84, 88, 117], 'trie': [77, 86], 'next': [80, 89], 'run,': [81], 'and': [82, 109, 130], 're-uses': [83], 'resulting': [85], 'run.': [90], 'Our': [91, 112], 'three': [97], 'standard': [98], 'scenarios': [99], 'where': [100], 'it': [101], 'commonly': [103], 'applied:': [104], 'iterative': [105], 'deepening,': [106], 'regression': [107], 'analysis,': [108], 'heuristic': [110], 'search.': [111], 'on': [116], 'Symbolic': [118], 'PathFinder': [119], 'framework': [120], 'provide': [122], 'Java': [128], 'programs': [129], 'available': [132, 141], 'online': [133], 'download.': [135], 'demonstration': [138], 'video': [139], 'at': [142], 'http://www.youtube.com/watch?v=ppfYOB0Z2vY.': [143]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2044213223', 'counts_by_year': [{'year': 2020, 'cited_by_count': 1}, {'year': 2019, 'cited_by_count': 1}, {'year': 2017, 'cited_by_count': 2}, {'year': 2016, 'cited_by_count': 1}, {'year': 2015, 'cited_by_count': 2}, {'year': 2014, 'cited_by_count': 3}], 'updated_date': '2024-12-14T03:13:05.368608', 'created_date': '2016-06-24'}