{"id":"https://openalex.org/W2095108448","doi":"https://doi.org/10.1155/2014/909762","title":"Formal Specification Based Automatic Test Generation for Embedded Network Systems","display_name":"Formal Specification Based Automatic Test Generation for Embedded Network Systems","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W2095108448","doi":"https://doi.org/10.1155/2014/909762","mag":"2095108448"},"language":"en","primary_location":{"id":"doi:10.1155/2014/909762","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2014/909762","pdf_url":"https://downloads.hindawi.com/journals/jam/2014/909762.pdf","source":{"id":"https://openalex.org/S190082376","display_name":"Journal of Applied Mathematics","issn_l":"1110-757X","issn":["1110-757X","1687-0042"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Applied Mathematics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://downloads.hindawi.com/journals/jam/2014/909762.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5011629857","display_name":"Eun-Hye Choi","orcid":"https://orcid.org/0000-0001-9339-8107"},"institutions":[{"id":"https://openalex.org/I73613424","display_name":"National Institute of Advanced Industrial Science and Technology","ror":"https://ror.org/01703db54","country_code":"JP","type":"government","lineage":["https://openalex.org/I73613424"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Eun Hye Choi","raw_affiliation_strings":["National Institute of Advanced Industrial Science and Technology, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Institute of Advanced Industrial Science and Technology, Japan","institution_ids":["https://openalex.org/I73613424"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079299885","display_name":"H. Nishihara","orcid":"https://orcid.org/0000-0002-1604-2075"},"institutions":[{"id":"https://openalex.org/I73613424","display_name":"National Institute of Advanced Industrial Science and Technology","ror":"https://ror.org/01703db54","country_code":"JP","type":"government","lineage":["https://openalex.org/I73613424"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Hideaki Nishihara","raw_affiliation_strings":["National Institute of Advanced Industrial Science and Technology, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Institute of Advanced Industrial Science and Technology, Japan","institution_ids":["https://openalex.org/I73613424"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102922598","display_name":"Takahiro Ando","orcid":"https://orcid.org/0000-0001-8239-5437"},"institutions":[{"id":"https://openalex.org/I135598925","display_name":"Kyushu University","ror":"https://ror.org/00p4k0j84","country_code":"JP","type":"education","lineage":["https://openalex.org/I135598925"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Takahiro Ando","raw_affiliation_strings":["Kyushu University, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Kyushu University, Japan","institution_ids":["https://openalex.org/I135598925"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061410858","display_name":"Nguyen Van Tang","orcid":null},"institutions":[{"id":"https://openalex.org/I45756140","display_name":"Hanoi University of Industry","ror":"https://ror.org/05hhz4s12","country_code":"VN","type":"education","lineage":["https://openalex.org/I45756140"]}],"countries":["VN"],"is_corresponding":false,"raw_author_name":"Nguyen Van Tang","raw_affiliation_strings":["Hanoi University of Industry, Vietnam"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hanoi University of Industry, Vietnam","institution_ids":["https://openalex.org/I45756140"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110227125","display_name":"Masahiro Aoki","orcid":null},"institutions":[{"id":"https://openalex.org/I4210098242","display_name":"Daikin (Japan)","ror":"https://ror.org/013p9v583","country_code":"JP","type":"company","lineage":["https://openalex.org/I4210098242"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Masahiro Aoki","raw_affiliation_strings":["Daikin Industries, Ltd., Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Daikin Industries, Ltd., Japan","institution_ids":["https://openalex.org/I4210098242"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026004797","display_name":"Keiichi Yoshisaka","orcid":null},"institutions":[{"id":"https://openalex.org/I4210098242","display_name":"Daikin (Japan)","ror":"https://ror.org/013p9v583","country_code":"JP","type":"company","lineage":["https://openalex.org/I4210098242"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Keiichi Yoshisaka","raw_affiliation_strings":["Daikin Industries, Ltd., Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Daikin Industries, Ltd., Japan","institution_ids":["https://openalex.org/I4210098242"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034691133","display_name":"Osamu Mizuno","orcid":"https://orcid.org/0000-0001-8061-7657"},"institutions":[{"id":"https://openalex.org/I27429435","display_name":"Kyoto Institute of Technology","ror":"https://ror.org/00965ax52","country_code":"JP","type":"education","lineage":["https://openalex.org/I27429435"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Osamu Mizuno","raw_affiliation_strings":["Kyoto Institute of Technology, Japan"],"raw_orcid":"https://orcid.org/0000-0001-8061-7657","affiliations":[{"raw_affiliation_string":"Kyoto Institute of Technology, Japan","institution_ids":["https://openalex.org/I27429435"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030642585","display_name":"Hitoshi Ohsaki","orcid":null},"institutions":[{"id":"https://openalex.org/I73613424","display_name":"National Institute of Advanced Industrial Science and Technology","ror":"https://ror.org/01703db54","country_code":"JP","type":"government","lineage":["https://openalex.org/I73613424"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Hitoshi Ohsaki","raw_affiliation_strings":["National Institute of Advanced Industrial Science and Technology, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Institute of Advanced Industrial Science and Technology, Japan","institution_ids":["https://openalex.org/I73613424"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5011629857"],"corresponding_institution_ids":["https://openalex.org/I73613424"],"apc_list":{"value":1025,"currency":"USD","value_usd":1025},"apc_paid":{"value":1025,"currency":"USD","value_usd":1025},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.143122,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2014","issue":null,"first_page":"1","last_page":"21"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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/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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.830742359161377},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.4697110056877136},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.4538421034812927},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.45020216703414917},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.43628495931625366},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3477010726928711},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3238765597343445},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.1546517312526703}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.830742359161377},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.4697110056877136},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.4538421034812927},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.45020216703414917},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.43628495931625366},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3477010726928711},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3238765597343445},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.1546517312526703},{"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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1155/2014/909762","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2014/909762","pdf_url":"https://downloads.hindawi.com/journals/jam/2014/909762.pdf","source":{"id":"https://openalex.org/S190082376","display_name":"Journal of Applied Mathematics","issn_l":"1110-757X","issn":["1110-757X","1687-0042"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Applied Mathematics","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.jam/1425305750","is_oa":false,"landing_page_url":"https://projecteuclid.org/euclid.jam/1425305750","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"pmh:oai:RePEc:hin:jnljam:909762","is_oa":false,"landing_page_url":"http://downloads.hindawi.com/journals/JAM/2014/909762.xml","pdf_url":null,"source":{"id":"https://openalex.org/S4306401271","display_name":"RePEc: Research Papers in Economics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I77793887","host_organization_name":"Federal Reserve Bank of St. Louis","host_organization_lineage":["https://openalex.org/I77793887"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},{"id":"pmh:oai:doaj.org/article:3958d2b4d4e5439081b3fe5f0e017f1b","is_oa":false,"landing_page_url":"https://doaj.org/article/3958d2b4d4e5439081b3fe5f0e017f1b","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of Applied Mathematics, Vol 2014 (2014)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1155/2014/909762","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2014/909762","pdf_url":"https://downloads.hindawi.com/journals/jam/2014/909762.pdf","source":{"id":"https://openalex.org/S190082376","display_name":"Journal of Applied Mathematics","issn_l":"1110-757X","issn":["1110-757X","1687-0042"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Applied Mathematics","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2095108448.pdf","grobid_xml":"https://content.openalex.org/works/W2095108448.grobid-xml"},"referenced_works_count":18,"referenced_works":["https://openalex.org/W10833752","https://openalex.org/W1518705996","https://openalex.org/W1522465028","https://openalex.org/W1556449297","https://openalex.org/W1764347589","https://openalex.org/W1821489642","https://openalex.org/W1959256509","https://openalex.org/W1964830323","https://openalex.org/W2055647675","https://openalex.org/W2120926795","https://openalex.org/W2133527541","https://openalex.org/W2133853708","https://openalex.org/W2152949134","https://openalex.org/W2156176134","https://openalex.org/W2163659692","https://openalex.org/W2165859533","https://openalex.org/W4234459169","https://openalex.org/W4254354208"],"related_works":["https://openalex.org/W2186864281","https://openalex.org/W4255427455","https://openalex.org/W1966025497","https://openalex.org/W68941528","https://openalex.org/W4206451355","https://openalex.org/W1553604823","https://openalex.org/W8322802","https://openalex.org/W2195994862","https://openalex.org/W314331466","https://openalex.org/W2149122936"],"abstract_inverted_index":{"Embedded":[0],"systems":[1,62],"have":[2],"become":[3],"increasingly":[4],"connected":[5],"and":[6,13,21,25,36,119,139],"communicate":[7],"with":[8],"each":[9],"other,":[10],"forming":[11],"large-scaled":[12],"complicated":[14],"network":[15,61,146],"systems.":[16,147],"To":[17],"make":[18],"their":[19],"design":[20,138],"testing":[22,101],"more":[23],"reliable":[24],"robust,":[26],"this":[27],"paper":[28],"proposes":[29],"a":[30,37,80,100],"formal":[31],"specification":[32],"language":[33],"called":[34,44],"SENS":[35,38,68,72],"-based":[39],"automatic":[40],"test":[41,74,88,106,113,140],"generation":[42,141],"tool":[43],"TGSENS":[45],".":[46,69],"Our":[47],"approach":[48,118,136],"is":[49],"summarized":[50],"as":[51],"follows:":[52],"(1)":[53],"A":[54],"user":[55],"describes":[56],"requirements":[57],"of":[58,134,142],"target":[59],"embedded":[60,144],"by":[63,103],"logical":[64],"property-based":[65],"constraints":[66],"using":[67,79],"(2)":[70],"Given":[71],"specifications,":[73],"cases":[75,89],"are":[76,90,108],"automatically":[77,109],"generated":[78],"SAT-based":[81],"solver.":[82],"Filtering":[83],"mechanisms":[84],"to":[85],"select":[86],"efficient":[87],"also":[91],"available":[92],"in":[93,137],"our":[94,117,135],"tool.":[95],"(3)":[96],"In":[97],"addition,":[98],"given":[99],"goal":[102],"the":[104,128,132],"user,":[105],"sequences":[107],"extracted":[110],"from":[111],"exhaustive":[112],"cases.":[114],"We\u2019ve":[115],"implemented":[116],"conducted":[120],"several":[121],"experiments":[122],"on":[123],"practical":[124],"case":[125],"studies.":[126],"Through":[127],"experiments,":[129],"we":[130],"confirmed":[131],"efficiency":[133],"real":[143],"air-conditioning":[145]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}