{"id":"https://openalex.org/W2095175649","doi":"https://doi.org/10.1109/tii.2014.2315972","title":"Generation of Single Input Change Test Sequences for Conformance Test of Programmable Logic Controllers","display_name":"Generation of Single Input Change Test Sequences for Conformance Test of Programmable Logic Controllers","publication_year":2014,"publication_date":"2014-04-07","ids":{"openalex":"https://openalex.org/W2095175649","doi":"https://doi.org/10.1109/tii.2014.2315972","mag":"2095175649"},"language":"en","primary_location":{"id":"doi:10.1109/tii.2014.2315972","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tii.2014.2315972","pdf_url":null,"source":{"id":"https://openalex.org/S184777250","display_name":"IEEE Transactions on Industrial Informatics","issn_l":"1551-3203","issn":["1551-3203","1941-0050"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Industrial Informatics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-00982396","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044892054","display_name":"Julien Provost","orcid":"https://orcid.org/0000-0002-8395-8577"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Julien Provost","raw_affiliation_strings":["Assistant Professorship for Safe Embedded Systems, Technische Universit\u00e4t M\u00fcnchen, Garching bei M\u00fcnchen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Assistant Professorship for Safe Embedded Systems, Technische Universit\u00e4t M\u00fcnchen, Garching bei M\u00fcnchen, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036736232","display_name":"Jean\u2010Marc Roussel","orcid":"https://orcid.org/0000-0002-6301-3234"},"institutions":[{"id":"https://openalex.org/I11559806","display_name":"\u00c9cole Normale Sup\u00e9rieure Paris-Saclay","ror":"https://ror.org/00hx6zz33","country_code":"FR","type":"education","lineage":["https://openalex.org/I11559806","https://openalex.org/I277688954"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Marc Roussel","raw_affiliation_strings":["ENS Cachan, LURPA, Cachan, France","ENS Cachan LURPA Cachan France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ENS Cachan, LURPA, Cachan, France","institution_ids":["https://openalex.org/I11559806"]},{"raw_affiliation_string":"ENS Cachan LURPA Cachan France","institution_ids":["https://openalex.org/I11559806"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5112465680","display_name":"Jean-Marc Faure","orcid":null},"institutions":[{"id":"https://openalex.org/I11559806","display_name":"\u00c9cole Normale Sup\u00e9rieure Paris-Saclay","ror":"https://ror.org/00hx6zz33","country_code":"FR","type":"education","lineage":["https://openalex.org/I11559806","https://openalex.org/I277688954"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Marc Faure","raw_affiliation_strings":["ENS Cachan, LURPA, Cachan, France","ENS Cachan LURPA Cachan France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ENS Cachan, LURPA, Cachan, France","institution_ids":["https://openalex.org/I11559806"]},{"raw_affiliation_string":"ENS Cachan LURPA Cachan France","institution_ids":["https://openalex.org/I11559806"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":6.0673,"has_fulltext":false,"cited_by_count":25,"citation_normalized_percentile":{"value":0.96326745,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"10","issue":"3","first_page":"1696","last_page":"1704"},"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.9997000098228455,"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.9997000098228455,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9995999932289124,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"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/sequence","display_name":"Sequence (biology)","score":0.7369749546051025},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.6983977556228638},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6558835506439209},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.5975574254989624},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.5538262724876404},{"id":"https://openalex.org/keywords/extended-finite-state-machine","display_name":"Extended finite-state machine","score":0.49360430240631104},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.48688092827796936},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4353615641593933},{"id":"https://openalex.org/keywords/programmable-logic-controller","display_name":"Programmable logic controller","score":0.41412073373794556},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3306613564491272},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3236343264579773},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1532418131828308}],"concepts":[{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.7369749546051025},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.6983977556228638},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6558835506439209},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.5975574254989624},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.5538262724876404},{"id":"https://openalex.org/C181062253","wikidata":"https://www.wikidata.org/wiki/Q5421886","display_name":"Extended finite-state machine","level":3,"score":0.49360430240631104},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.48688092827796936},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4353615641593933},{"id":"https://openalex.org/C37374048","wikidata":"https://www.wikidata.org/wiki/Q188674","display_name":"Programmable logic controller","level":2,"score":0.41412073373794556},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3306613564491272},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3236343264579773},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1532418131828308},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"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/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tii.2014.2315972","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tii.2014.2315972","pdf_url":null,"source":{"id":"https://openalex.org/S184777250","display_name":"IEEE Transactions on Industrial Informatics","issn_l":"1551-3203","issn":["1551-3203","1941-0050"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Industrial Informatics","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-00982396v1","is_oa":true,"landing_page_url":"https://hal.science/hal-00982396","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Transactions on Industrial Informatics, 2014, pp.1. ⟨10.1109/TII.2014.2315972⟩","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-00982396v1","is_oa":true,"landing_page_url":"https://hal.science/hal-00982396","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Transactions on Industrial Informatics, 2014, pp.1. ⟨10.1109/TII.2014.2315972⟩","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W285995161","https://openalex.org/W1509343160","https://openalex.org/W1541947827","https://openalex.org/W1754278879","https://openalex.org/W1884892816","https://openalex.org/W1967498729","https://openalex.org/W1988674287","https://openalex.org/W1998408990","https://openalex.org/W2004929506","https://openalex.org/W2013680330","https://openalex.org/W2017785898","https://openalex.org/W2039568215","https://openalex.org/W2042773624","https://openalex.org/W2047615439","https://openalex.org/W2050287007","https://openalex.org/W2058937865","https://openalex.org/W2059494389","https://openalex.org/W2062269506","https://openalex.org/W2063314113","https://openalex.org/W2097246682","https://openalex.org/W2101089915","https://openalex.org/W2108863240","https://openalex.org/W2113853304","https://openalex.org/W2120916408","https://openalex.org/W2124252349","https://openalex.org/W2126818664","https://openalex.org/W2134844398","https://openalex.org/W2137520686","https://openalex.org/W2138004002","https://openalex.org/W2140738697","https://openalex.org/W2149505323","https://openalex.org/W2150399591","https://openalex.org/W2152894214","https://openalex.org/W2169154160","https://openalex.org/W2170831076","https://openalex.org/W2235330009","https://openalex.org/W2399100674","https://openalex.org/W2581692531","https://openalex.org/W3014502717","https://openalex.org/W6639656007","https://openalex.org/W6654668134","https://openalex.org/W6689481889"],"related_works":["https://openalex.org/W2348784295","https://openalex.org/W4254792149","https://openalex.org/W2375657886","https://openalex.org/W2093565921","https://openalex.org/W4230357508","https://openalex.org/W2486976088","https://openalex.org/W2378154521","https://openalex.org/W265868621","https://openalex.org/W2163599059","https://openalex.org/W1863869541"],"abstract_inverted_index":{"Conformance":[0],"test":[1,5,37,52,74,94,143],"is":[2,8,46,54,88,133,145],"a":[3,17,69,77,82,86,130],"functional":[4],"technique":[6],"which":[7,45],"aiming":[9,89],"to":[10,22,49,97,118,139,152],"check":[11],"whether":[12],"an":[13,137],"implementation,":[14],"seen":[15],"as":[16,81],"black-box":[18],"with":[19,129],"inputs/outputs,":[20],"conforms":[21],"its":[23],"specification.":[24],"Numerous":[25],"theoretical":[26],"worthwhile":[27],"results":[28],"have":[29],"been":[30],"obtained":[31],"in":[32],"the":[33,51,55,66,105,120,123,141,153,157],"domain":[34],"of":[35,38,68,100,122,156],"conformance":[36],"finite":[39],"state":[40],"machines.":[41],"The":[42],"optimization":[43],"criterion,":[44],"usually":[47],"selected":[48],"build":[50,140],"sequence,":[53],"minimum-length":[56],"criterion.":[57],"Based":[58],"on":[59,65,115],"experimental":[60],"results,":[61],"this":[62],"paper":[63],"focuses":[64],"generation":[67],"single":[70],"input":[71,102],"change":[72],"(SIC)":[73],"sequence":[75,87,132,144],"from":[76,92],"specification":[78,124],"model":[79],"represented":[80],"Mealy":[83],"machine;":[84],"such":[85],"at":[90],"preventing":[91],"erroneous":[93],"verdicts":[95],"due":[96],"incorrect":[98],"detection":[99],"synchronous":[101],"changes":[103],"by":[104],"programmable":[106],"logic":[107],"controller":[108],"(PLC)":[109],"under":[110],"test.":[111],"A":[112],"method":[113],"based":[114],"symbolic":[116],"calculus":[117],"obtain":[119],"part":[121],"that":[125],"can":[126],"be":[127],"tested":[128],"SIC":[131,142],"first":[134],"presented.":[135],"Then,":[136],"algorithm":[138],"detailed;":[146],"three":[147],"solutions":[148],"are":[149],"proposed,":[150],"according":[151],"connectivity":[154],"properties":[155],"SIC-testable":[158],"part.":[159]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}