{"id":"https://openalex.org/W2272330977","doi":"https://doi.org/10.1587/transinf.2015pap0013","title":"Modeling and Testing of Network Protocols with Parallel State Machines","display_name":"Modeling and Testing of Network Protocols with Parallel State Machines","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W2272330977","doi":"https://doi.org/10.1587/transinf.2015pap0013","mag":"2272330977"},"language":"en","primary_location":{"id":"doi:10.1587/transinf.2015pap0013","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transinf.2015pap0013","pdf_url":"https://www.jstage.jst.go.jp/article/transinf/E98.D/12/E98.D_2015PAP0013/_pdf","source":{"id":"https://openalex.org/S2486202937","display_name":"IEICE Transactions on Information and Systems","issn_l":"0916-8532","issn":["0916-8532","1745-1361"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Information and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://www.jstage.jst.go.jp/article/transinf/E98.D/12/E98.D_2015PAP0013/_pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100446843","display_name":"Xia Yin","orcid":"https://orcid.org/0000-0001-9784-8742"},"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":"Xia YIN","raw_affiliation_strings":["Department of Computer Science and Technology, Tsinghua University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua University","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064572677","display_name":"Jiangyuan Yao","orcid":"https://orcid.org/0000-0001-6337-0728"},"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":"Jiangyuan YAO","raw_affiliation_strings":["Institute for Network Sciences and Cyberspace, Tsinghua University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Network Sciences and Cyberspace, Tsinghua University","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100343127","display_name":"Zhiliang Wang","orcid":"https://orcid.org/0000-0001-6587-820X"},"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":"Zhiliang WANG","raw_affiliation_strings":["Institute for Network Sciences and Cyberspace, Tsinghua University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Network Sciences and Cyberspace, Tsinghua University","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047888843","display_name":"Xingang Shi","orcid":"https://orcid.org/0000-0001-6487-9526"},"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":"Xingang SHI","raw_affiliation_strings":["Institute for Network Sciences and Cyberspace, Tsinghua University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Network Sciences and Cyberspace, Tsinghua University","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076480986","display_name":"Jun Bi","orcid":"https://orcid.org/0000-0002-8695-1047"},"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":"Jun BI","raw_affiliation_strings":["Institute for Network Sciences and Cyberspace, Tsinghua University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Network Sciences and Cyberspace, Tsinghua University","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001949272","display_name":"Jianping Wu","orcid":"https://orcid.org/0000-0002-8887-8031"},"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":"Jianping WU","raw_affiliation_strings":["Department of Computer Science and Technology, Tsinghua University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua University","institution_ids":["https://openalex.org/I99065089"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I99065089"],"apc_list":null,"apc_paid":null,"fwci":1.071,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.80711399,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"E98.D","issue":"12","first_page":"2091","last_page":"2104"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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":1.0,"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.9979000091552734,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9977999925613403,"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/computer-science","display_name":"Computer science","score":0.9011809825897217},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.8860893249511719},{"id":"https://openalex.org/keywords/extended-finite-state-machine","display_name":"Extended finite-state machine","score":0.839227020740509},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.6633691191673279},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.62440425157547},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5625062584877014},{"id":"https://openalex.org/keywords/parameterized-complexity","display_name":"Parameterized complexity","score":0.5540025234222412},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.4616844058036804},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4512913227081299},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.44276708364486694},{"id":"https://openalex.org/keywords/communications-protocol","display_name":"Communications protocol","score":0.42659008502960205},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35715579986572266},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2216261327266693},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.16382041573524475},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16360601782798767},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.10883387923240662},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09368553757667542}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9011809825897217},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.8860893249511719},{"id":"https://openalex.org/C181062253","wikidata":"https://www.wikidata.org/wiki/Q5421886","display_name":"Extended finite-state machine","level":3,"score":0.839227020740509},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.6633691191673279},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.62440425157547},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5625062584877014},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.5540025234222412},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.4616844058036804},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4512913227081299},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.44276708364486694},{"id":"https://openalex.org/C12269588","wikidata":"https://www.wikidata.org/wiki/Q132364","display_name":"Communications protocol","level":2,"score":0.42659008502960205},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35715579986572266},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2216261327266693},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.16382041573524475},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16360601782798767},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.10883387923240662},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09368553757667542},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1587/transinf.2015pap0013","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transinf.2015pap0013","pdf_url":"https://www.jstage.jst.go.jp/article/transinf/E98.D/12/E98.D_2015PAP0013/_pdf","source":{"id":"https://openalex.org/S2486202937","display_name":"IEICE Transactions on Information and Systems","issn_l":"0916-8532","issn":["0916-8532","1745-1361"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Information and Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1587/transinf.2015pap0013","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transinf.2015pap0013","pdf_url":"https://www.jstage.jst.go.jp/article/transinf/E98.D/12/E98.D_2015PAP0013/_pdf","source":{"id":"https://openalex.org/S2486202937","display_name":"IEICE Transactions on Information and Systems","issn_l":"0916-8532","issn":["0916-8532","1745-1361"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Information and Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4243412236","display_name":null,"funder_award_id":"863 Program","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4998023644","display_name":null,"funder_award_id":"61202357","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335773","display_name":"National High-tech Research and Development Program","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2272330977.pdf","grobid_xml":"https://content.openalex.org/works/W2272330977.grobid-xml"},"referenced_works_count":31,"referenced_works":["https://openalex.org/W1605529659","https://openalex.org/W1974673257","https://openalex.org/W1979876578","https://openalex.org/W1993784817","https://openalex.org/W2004929506","https://openalex.org/W2022373772","https://openalex.org/W2044107621","https://openalex.org/W2047400362","https://openalex.org/W2071152819","https://openalex.org/W2097848795","https://openalex.org/W2112640524","https://openalex.org/W2126130789","https://openalex.org/W2126818664","https://openalex.org/W2132069557","https://openalex.org/W2132622501","https://openalex.org/W2134432034","https://openalex.org/W2143578569","https://openalex.org/W2145505903","https://openalex.org/W2155479111","https://openalex.org/W2162578718","https://openalex.org/W2166906534","https://openalex.org/W2185690310","https://openalex.org/W2245788666","https://openalex.org/W2289484019","https://openalex.org/W2300404716","https://openalex.org/W2507239999","https://openalex.org/W2737364229","https://openalex.org/W2765906234","https://openalex.org/W4300819389","https://openalex.org/W6643963453","https://openalex.org/W6725074910"],"related_works":["https://openalex.org/W2348784295","https://openalex.org/W4254792149","https://openalex.org/W2375657886","https://openalex.org/W2093565921","https://openalex.org/W2486976088","https://openalex.org/W2378154521","https://openalex.org/W265868621","https://openalex.org/W2163599059","https://openalex.org/W1863869541","https://openalex.org/W237745051"],"abstract_inverted_index":{"The":[0,88,167],"researches":[1],"on":[2,7],"model-based":[3],"testing":[4,163],"mainly":[5],"focus":[6],"the":[8,19,47,135,140,161],"models":[9],"with":[10,27,83],"single":[11],"component,":[12],"such":[13,57],"as":[14],"FSM":[15],"and":[16,41,93,146,174],"EFSM.":[17],"For":[18,154],"network":[20,38,49],"protocols":[21],"which":[22],"have":[23],"multiple":[24],"components":[25,43],"communicating":[26],"messages,":[28],"CFSM":[29],"is":[30,52],"a":[31,67,84,104],"widely":[32],"accepted":[33],"solution.":[34],"But":[35],"in":[36,46,91],"some":[37],"protocols,":[39],"parallel":[40,92],"data-shared":[42],"maybe":[44],"exist":[45],"same":[48],"entity.":[50],"It":[51],"infeasible":[53],"to":[54,129,160],"precisely":[55],"specify":[56],"protocol":[58,78],"by":[59],"existing":[60],"models.":[61,112],"In":[62],"this":[63,158],"paper":[64],"we":[65,114,133,156],"present":[66,103],"new":[68,111],"model,":[69],"Parallel":[70],"Parameterized":[71],"Extended":[72],"Finite":[73],"State":[74],"Machine":[75],"(PaP-EFSM).":[76],"A":[77],"system":[79],"can":[80,95],"be":[81,126],"modeled":[82],"group":[85],"of":[86,121,164],"PaP-EFSMs.":[87],"PaP-EFSMs":[89],"work":[90],"they":[94],"read":[96],"external":[97,130,136,152],"variables":[98,120,144],"form":[99],"each":[100,122],"other.":[101],"We":[102,138],"2-stage":[105],"test":[106,116,149],"generation":[107],"approach":[108],"for":[109,118,142,151],"our":[110],"Firstly,":[113],"generate":[115,147],"sequences":[117,141,150],"internal":[119,143],"machine.":[123],"They":[124],"may":[125],"non-executable":[127],"due":[128],"variables.":[131,137,153],"Secondly,":[132],"process":[134],"make":[139],"executable":[145],"more":[148],"validation,":[155],"apply":[157],"method":[159],"conformance":[162],"real-life":[165],"protocols.":[166],"devices":[168],"from":[169],"different":[170],"vendors":[171],"are":[172,177],"tested":[173],"implementation":[175],"faults":[176],"exposed.":[178]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}