{"id":"https://openalex.org/W2982859709","doi":"https://doi.org/10.1145/3338502.3359760","title":"Automated Finite State Machine Extraction","display_name":"Automated Finite State Machine Extraction","publication_year":2019,"publication_date":"2019-11-08","ids":{"openalex":"https://openalex.org/W2982859709","doi":"https://doi.org/10.1145/3338502.3359760","mag":"2982859709"},"language":"en","primary_location":{"id":"doi:10.1145/3338502.3359760","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3338502.3359760","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 3rd ACM Workshop on Forming an Ecosystem Around Software Transformation","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/A5002430973","display_name":"Yongheng Chen","orcid":"https://orcid.org/0000-0001-8139-6892"},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Yongheng Chen","raw_affiliation_strings":["NJU, Pennsylvania State University, State College, PA, USA"],"affiliations":[{"raw_affiliation_string":"NJU, Pennsylvania State University, State College, PA, USA","institution_ids":["https://openalex.org/I130769515"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060633759","display_name":"Linhai Song","orcid":"https://orcid.org/0000-0002-3185-9278"},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Linhai Song","raw_affiliation_strings":["Pennsylvania State University, State College, PA, USA"],"affiliations":[{"raw_affiliation_string":"Pennsylvania State University, State College, PA, USA","institution_ids":["https://openalex.org/I130769515"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041094652","display_name":"Xinyu Xing","orcid":"https://orcid.org/0000-0001-6733-226X"},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xinyu Xing","raw_affiliation_strings":["Pennsylvania State University, State College, PA, USA"],"affiliations":[{"raw_affiliation_string":"Pennsylvania State University, State College, PA, USA","institution_ids":["https://openalex.org/I130769515"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5114549816","display_name":"Fengyuan Xu","orcid":"https://orcid.org/0000-0003-3388-7544"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fengyuan Xu","raw_affiliation_strings":["Nanjing University, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031365162","display_name":"Wenfei Wu","orcid":"https://orcid.org/0000-0002-1357-3137"},"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":false,"raw_author_name":"Wenfei Wu","raw_affiliation_strings":["Tsinghua University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5002430973"],"corresponding_institution_ids":["https://openalex.org/I130769515"],"apc_list":null,"apc_paid":null,"fwci":0.9595,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.78323826,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"9","last_page":"15"},"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.9998999834060669,"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.9998999834060669,"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.9994999766349792,"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"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9987999796867371,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.8199173212051392},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8149048686027527},{"id":"https://openalex.org/keywords/false-positive-paradox","display_name":"False positive paradox","score":0.6680219173431396},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5732715725898743},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.5602202415466309},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4668709933757782},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.45235708355903625},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.42901140451431274},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.39732304215431213},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.39340049028396606},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3444247245788574},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.3032524287700653}],"concepts":[{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.8199173212051392},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8149048686027527},{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.6680219173431396},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5732715725898743},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5602202415466309},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4668709933757782},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.45235708355903625},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.42901140451431274},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.39732304215431213},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.39340049028396606},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3444247245788574},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3032524287700653}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3338502.3359760","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3338502.3359760","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 3rd ACM Workshop on Forming an Ecosystem Around Software Transformation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W77946476","https://openalex.org/W158224344","https://openalex.org/W207759855","https://openalex.org/W1488666798","https://openalex.org/W1582456956","https://openalex.org/W1589769328","https://openalex.org/W1675033504","https://openalex.org/W1710734607","https://openalex.org/W1882012874","https://openalex.org/W1989445634","https://openalex.org/W2046105247","https://openalex.org/W2047937237","https://openalex.org/W2052951836","https://openalex.org/W2085040115","https://openalex.org/W2098883184","https://openalex.org/W2115526539","https://openalex.org/W2133638476","https://openalex.org/W2133802223","https://openalex.org/W2137530017","https://openalex.org/W2144344516","https://openalex.org/W2153185479","https://openalex.org/W2160821812","https://openalex.org/W2334220851","https://openalex.org/W2339906640","https://openalex.org/W2516285678","https://openalex.org/W2547314365","https://openalex.org/W2574017551","https://openalex.org/W2613534458","https://openalex.org/W2647579703","https://openalex.org/W2741175893","https://openalex.org/W2765325137","https://openalex.org/W2765372222","https://openalex.org/W2765403767","https://openalex.org/W2888875512","https://openalex.org/W2918935582","https://openalex.org/W2927166905","https://openalex.org/W2964097210","https://openalex.org/W2966252319","https://openalex.org/W4213049518"],"related_works":["https://openalex.org/W4213243744","https://openalex.org/W2360139790","https://openalex.org/W2901649410","https://openalex.org/W2295023886","https://openalex.org/W4240545424","https://openalex.org/W2019168903","https://openalex.org/W4285586714","https://openalex.org/W2751940653","https://openalex.org/W2998602372","https://openalex.org/W2964781046"],"abstract_inverted_index":{"Finite":[0],"state":[1],"machine":[2],"(FSM)":[3],"is":[4],"a":[5,59],"type":[6],"of":[7,52],"computation":[8],"models":[9],"widely":[10],"used":[11],"in":[12,23,46],"various":[13],"software":[14,26,74],"programs.":[15],"Extracting":[16],"implemented":[17,45,69,85],"FSMs":[18,43,86],"has":[19],"many":[20],"important":[21],"applications":[22],"the":[24,50],"networking,":[25],"engineering":[27],"and":[28,67,87],"security":[29],"domains.":[30],"In":[31],"this":[32],"paper,":[33],"we":[34,56],"first":[35],"conduct":[36],"an":[37],"empirical":[38],"study":[39,54],"to":[40,64],"understand":[41],"how":[42],"are":[44],"real-world":[47],"software.":[48],"Under":[49],"guidance":[51],"our":[53],"results,":[55],"then":[57],"design":[58],"static":[60],"analysis":[61],"tool,":[62],"FSMExtractor,":[63],"automatically":[65],"identify":[66],"synthesize":[68],"FSMs.":[70],"Evaluation":[71],"using":[72],"160":[73],"programs":[75],"from":[76],"three":[77],"sources":[78],"shows":[79],"that":[80],"FSMExtractor":[81],"can":[82],"extract":[83],"all":[84],"report":[88],"very":[89],"few":[90],"false":[91],"positives.":[92]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}