{"id":"https://openalex.org/W3092304161","doi":"https://doi.org/10.1002/spe.2910","title":"Finite\u2010state model extraction and visualization from Java program execution","display_name":"Finite\u2010state model extraction and visualization from Java program execution","publication_year":2020,"publication_date":"2020-10-11","ids":{"openalex":"https://openalex.org/W3092304161","doi":"https://doi.org/10.1002/spe.2910","mag":"3092304161"},"language":"en","primary_location":{"id":"doi:10.1002/spe.2910","doi":"https://doi.org/10.1002/spe.2910","is_oa":false,"landing_page_url":"https://doi.org/10.1002/spe.2910","pdf_url":null,"source":{"id":"https://openalex.org/S122199241","display_name":"Software Practice and Experience","issn_l":"0038-0644","issn":["0038-0644","1097-024X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["ccf-b","cwts-core","dongbi-c","jufo-2","ki-jl-1","norway-1","poland-70","russia-white-list-1"],"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software: Practice and Experience","raw_type":"journal-article"},"volume":null,"type":"article","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/A5047467154","display_name":"K. P. Jevitha","orcid":"https://orcid.org/0000-0002-0428-6531","observed_orcids":["https://orcid.org/0000-0002-0428-6531"]},"institutions":[{"id":"https://openalex.org/I81556334","display_name":"Amrita Vishwa Vidyapeetham","ror":"https://ror.org/03am10p12","country_code":"IN","type":"education","lineage":["https://openalex.org/I81556334"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Jevitha K. P.","raw_affiliation_strings":["Department of Computer Science and Engineering, Amrita School of Engineering, Coimbatore, Amrita Vishwa Vidyapeetham, Coimbatore, India"],"raw_orcid":"https://orcid.org/0000-0002-0428-6531","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Amrita School of Engineering, Coimbatore, Amrita Vishwa Vidyapeetham, Coimbatore, India","institution_ids":["https://openalex.org/I81556334"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103429521","display_name":"Bharat Jayaraman","orcid":"https://orcid.org/0000-0001-5646-3213","observed_orcids":["https://orcid.org/0000-0001-5646-3213","https://orcid.org/0009-0008-0443-8794"]},"institutions":[{"id":"https://openalex.org/I81556334","display_name":"Amrita Vishwa Vidyapeetham","ror":"https://ror.org/03am10p12","country_code":"IN","type":"education","lineage":["https://openalex.org/I81556334"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Swaminathan Jayaraman","raw_affiliation_strings":["Department of Computer Science and Engineering, Amrita School of Engineering, Amritapuri, Amrita Vishwa Vidyapeetham, Kollam, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Amrita School of Engineering, Amritapuri, Amrita Vishwa Vidyapeetham, Kollam, India","institution_ids":["https://openalex.org/I81556334"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103429521","display_name":"Bharat Jayaraman","orcid":"https://orcid.org/0000-0001-5646-3213","observed_orcids":["https://orcid.org/0000-0001-5646-3213","https://orcid.org/0009-0008-0443-8794"]},"institutions":[{"id":"https://openalex.org/I63190737","display_name":"University at Buffalo, State University of New York","ror":"https://ror.org/01y64my43","country_code":"US","type":"education","lineage":["https://openalex.org/I63190737"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bharat Jayaraman","raw_affiliation_strings":["Department of Computer Science and Engineering, State University of New York at Buffalo, Buffalo, New York, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, State University of New York at Buffalo, Buffalo, New York, USA","institution_ids":["https://openalex.org/I63190737"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5011090929","display_name":"Madathil Sethumadhavan","orcid":"https://orcid.org/0000-0001-5476-5461","observed_orcids":["https://orcid.org/0000-0001-5476-5461"]},"institutions":[{"id":"https://openalex.org/I81556334","display_name":"Amrita Vishwa Vidyapeetham","ror":"https://ror.org/03am10p12","country_code":"IN","type":"education","lineage":["https://openalex.org/I81556334"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Sethumadhavan M","raw_affiliation_strings":["TIFAC CORE in Cyber Security, Amrita School of Engineering, Coimbatore, Amrita Vishwa Vidyapeetham, Coimbatore, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TIFAC CORE in Cyber Security, Amrita School of Engineering, Coimbatore, Amrita Vishwa Vidyapeetham, Coimbatore, India","institution_ids":["https://openalex.org/I81556334"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5047467154"],"corresponding_institution_ids":["https://openalex.org/I81556334"],"apc_list":{"value":3600,"currency":"USD","value_usd":3600},"apc_paid":null,"fwci":3.9203,"has_fulltext":false,"cited_by_count":23,"citation_normalized_percentile":{"value":0.93630383,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":87,"max":99},"biblio":{"volume":"51","issue":"2","first_page":"409","last_page":"437"},"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.7437000274658203,"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.7437000274658203,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.09740000218153,"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/T10142","display_name":"Formal Methods in Verification","score":0.06729999929666519,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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-models","display_name":"finite-state models","score":0.8889999985694885},{"id":"https://openalex.org/keywords/model-extraction","display_name":"model extraction","score":0.949999988079071},{"id":"https://openalex.org/keywords/execution-traces","display_name":"execution traces","score":0.6309999823570251},{"id":"https://openalex.org/keywords/java-programs","display_name":"Java programs","score":0.9409999847412109},{"id":"https://openalex.org/keywords/model-abstraction","display_name":"model abstraction","score":0.8790000081062317},{"id":"https://openalex.org/keywords/model-visualization","display_name":"model visualization","score":0.7940000295639038},{"id":"https://openalex.org/keywords/bytecode-instrumentation","display_name":"bytecode instrumentation","score":0.7950000166893005},{"id":"https://openalex.org/keywords/program-comprehension","display_name":"program comprehension","score":0.5860000252723694},{"id":"https://openalex.org/keywords/debugging","display_name":"debugging","score":0.9340000152587891},{"id":"https://openalex.org/keywords/concurrency-control","display_name":"concurrency control","score":0.7009999752044678},{"id":"https://openalex.org/keywords/apache-tomcat","display_name":"Apache Tomcat","score":0.906000018119812},{"id":"https://openalex.org/keywords/declarative-specification","display_name":"declarative specification","score":0.7889999747276306}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8779382705688477},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6138927340507507},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.5981471538543701},{"id":"https://openalex.org/C36464697","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Visualization","level":2,"score":0.48589056730270386},{"id":"https://openalex.org/C2779818221","wikidata":"https://www.wikidata.org/wiki/Q837330","display_name":"Bytecode","level":3,"score":0.4636382460594177},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.43654370307922363},{"id":"https://openalex.org/C4924752","wikidata":"https://www.wikidata.org/wiki/Q184148","display_name":"Plug-in","level":2,"score":0.4259134829044342},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.4101417660713196},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.33640408515930176},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3265436291694641},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.22820571064949036}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/spe.2910","doi":"https://doi.org/10.1002/spe.2910","is_oa":false,"landing_page_url":"https://doi.org/10.1002/spe.2910","pdf_url":null,"source":{"id":"https://openalex.org/S122199241","display_name":"Software Practice and Experience","issn_l":"0038-0644","issn":["0038-0644","1097-024X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["ccf-b","cwts-core","dongbi-c","jufo-2","ki-jl-1","norway-1","poland-70","russia-white-list-1"],"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software: Practice and Experience","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W209133351","https://openalex.org/W1483213041","https://openalex.org/W1485658078","https://openalex.org/W1496007014","https://openalex.org/W1497571013","https://openalex.org/W1553925515","https://openalex.org/W1974940962","https://openalex.org/W1982953929","https://openalex.org/W1984936841","https://openalex.org/W1989362795","https://openalex.org/W1993921835","https://openalex.org/W2002691587","https://openalex.org/W2004865374","https://openalex.org/W2010624068","https://openalex.org/W2023808162","https://openalex.org/W2024445190","https://openalex.org/W2048327004","https://openalex.org/W2080593426","https://openalex.org/W2080946064","https://openalex.org/W2093056009","https://openalex.org/W2109233982","https://openalex.org/W2115309705","https://openalex.org/W2117189826","https://openalex.org/W2135220153","https://openalex.org/W2135274583","https://openalex.org/W2153256103","https://openalex.org/W2158517458","https://openalex.org/W2171480813","https://openalex.org/W2295399529","https://openalex.org/W2375391601","https://openalex.org/W2407790672","https://openalex.org/W2414833407","https://openalex.org/W2596959602","https://openalex.org/W2788911151","https://openalex.org/W2888213593","https://openalex.org/W4235545194","https://openalex.org/W4242057943","https://openalex.org/W4250359162"],"related_works":["https://openalex.org/W2035741602","https://openalex.org/W4256144738","https://openalex.org/W4244353652","https://openalex.org/W4312133694","https://openalex.org/W4312696927","https://openalex.org/W1980487816","https://openalex.org/W4399837852","https://openalex.org/W7099923715","https://openalex.org/W2126597389","https://openalex.org/W852639242"],"abstract_inverted_index":{"Abstract":[0],"Finite\u2010state":[1],"models":[2,92,102,134],"are":[3,138,166],"extensively":[4],"used":[5,111],"for":[6,15,119,162,234],"discrete":[7],"systems":[8],"and":[9,18,33,64,106,122,203,222],"they":[10,107,137],"have":[11,25,187],"also":[12,109,123],"been":[13],"adopted":[14],"the":[16,45,50,75,78,81,96,129,132,150,177,192],"analysis":[17,204],"verification":[19],"of":[20,52,60,67,74,77,88,95,131,152,176,194,205,216,219,227],"concurrent":[21],"systems.":[22],"Programs":[23],"that":[24,70,136,199,242],"a":[26,53,61,65,72,114,157,214,231,239],"repetitive":[27],"cycle,":[28],"such":[29],"as":[30],"event\u2010driven":[31],"servers":[32],"controllers,":[34],"lend":[35],"themselves":[36],"to":[37,49,127,140,148,169,230,238],"finite\u2010state":[38,54,91],"modeling.":[39],"In":[40],"this":[41],"article,":[42],"we":[43,145,171],"use":[44],"termmodel":[46],"extractionto":[47],"refer":[48],"construction":[51],"model":[55,120,179],"from":[56,224],"an":[57,196],"execution":[58,97,153],"trace":[59,154],"Java":[62,206],"program":[63,82,104,207],"set":[66],"key":[68,174],"attributes,":[69,89],"is,":[71],"subset":[73],"fields":[76],"objects":[79],"in":[80,112,191],"execution.":[83],"By":[84],"choosing":[85],"different":[86,90],"sets":[87],"(or":[93],"views)":[94],"can":[98,108,180],"be":[99,110,181],"obtained.":[100],"Such":[101],"aid":[103],"comprehension":[105],"debugging":[113],"program.":[115],"We":[116,186,209],"present":[117],"algorithms":[118],"extraction":[121],"formodel":[124],"abstractionin":[125],"order":[126],"reduce":[128],"size":[130,221],"extracted":[133,178],"so":[135],"amenable":[139,168],"visualization.":[141],"For":[142],"long":[143],"executions,":[144],"show":[146,172],"how":[147,173],"minimize":[149],"overhead":[151],"collection":[155,215],"through":[156,213],"bytecode":[158],"instrumentation":[159],"technique;":[160],"and,":[161],"large":[163],"models,":[164],"which":[165],"not":[167],"visualization,":[170],"properties":[175],"checked":[182],"against":[183],"declarative":[184],"specifications.":[185],"implemented":[188],"our":[189,211],"techniques":[190,212],"context":[193],"JIVE,":[195],"Eclipse":[197],"plugin":[198],"supports":[200],"runtime":[201],"visualization":[202],"executions.":[208],"illustrate":[210],"case":[217],"studies":[218],"varying":[220],"complexity,":[223],"classic":[225],"problems":[226],"concurrency":[228],"control":[229],"medium\u2010size":[232],"protocol":[233],"authorization":[235],"(OAuth2.0":[236],"protocol)":[237],"large\u2010scale":[240],"software":[241],"underlies":[243],"web":[244],"applications":[245],"(Apache":[246],"Tomcat":[247],"server).":[248]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":9},{"year":2021,"cited_by_count":1}],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2020-10-15T00:00:00"}