{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T13:59:03Z","timestamp":1773323943062,"version":"3.50.1"},"reference-count":42,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2014,8,1]],"date-time":"2014-08-01T00:00:00Z","timestamp":1406851200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Ind. Inf."],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1109\/tii.2014.2315972","type":"journal-article","created":{"date-parts":[[2014,4,7]],"date-time":"2014-04-07T21:21:46Z","timestamp":1396905706000},"page":"1696-1704","source":"Crossref","is-referenced-by-count":20,"title":["Generation of Single Input Change Test Sequences for Conformance Test of Programmable Logic Controllers"],"prefix":"10.1109","volume":"10","author":[{"given":"Julien","family":"Provost","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Marc","family":"Roussel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Marc","family":"Faure","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1080\/00207217.2010.538899"},{"key":"ref38","first-page":"352","article-title":"An implementation of random single input change technique for low-power test","author":"yi","year":"0","journal-title":"Proc 2nd Int Conf Anti-Counterfeit Security Identif"},{"key":"ref33","article-title":"Conformance test of programmable logic controllers—Execution of minimum-length test sequences","author":"provost","year":"2014"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/DCDS.2011.5970309"},{"key":"ref31","first-page":"238","article-title":"Fault detection for sequential machines by transitions tours","author":"naito","year":"0","journal-title":"Proc IEEE Fault Tolerant Comput Symp"},{"key":"ref30","year":"2002","journal-title":"Grafcet specification language for sequential function charts"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cds:20045149"},{"key":"ref36","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1023\/A:1012259227622","article-title":"Delay fault testing: Choosing between random SIC and random MIC test sequences","volume":"17","author":"virazel","year":"2001","journal-title":"J Electron Test Theory Appl"},{"key":"ref35","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1023\/A:1014941525735","article-title":"Hardware generation of random single input change test sequences","volume":"18","author":"david","year":"2002","journal-title":"J Electron Test"},{"key":"ref34","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1023\/A:1008247801050","article-title":"Classification and test generation for path-delay faults using single struck-at fault tests","volume":"11","author":"gharaybeh","year":"1997","journal-title":"J Electron Test"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2008.2008998"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2012.2195689"},{"key":"ref11","first-page":"261","article-title":"A modeling approach for verification of IEC 1499 function blocks using net condition\/event systems","volume":"1","author":"vyatkin","year":"0","journal-title":"Proc 7th IEEE Int Conf Emerg Technol Factory Autom (ETFA’99)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2000.876987"},{"key":"ref13","article-title":"Supporting the changeability of SIPN-based logic control algorithms by verification and validation","author":"klein","year":"0","journal-title":"Proc IMACS–IEEE Int Conf Comput Eng Syst Appl"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2000.884359"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4493-7_25"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678428"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1109\/TII.2010.2040392","article-title":"On formal analysis of IEC 61499 applications, part A: Modeling","volume":"6","author":"?engi?","year":"2010","journal-title":"IEEE Trans Ind Informat"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2040393"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2012.09.015"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0065-1"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2186585"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.39"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2011.2174248"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2000.884356"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2010.10.001"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2013.2240308"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.1016\/j.conengprac.2012.05.002","article-title":"Building meaningful timed models of closed-loop DES for verification purposes","volume":"21","author":"perin","year":"2012","journal-title":"Control Eng Pract"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2012.6489678"},{"key":"ref2","first-page":"616","article-title":"Automation ML—The glue for seamless automation engineering","author":"drath","year":"0","journal-title":"Proc IEEE Int Conf Emerg Technol Factory Autom (ETFA’08)"},{"key":"ref9","first-page":"1","article-title":"Closed-loop system modeling, validation, and verification","author":"preu\u00dfe","year":"0","journal-title":"Proc 17th Int Conf Emerg Technol Factory Autom (ETFA’12)"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2013.2258165"},{"key":"ref20","year":"2006","journal-title":"Nuclear Power Plants—Instrumentation and Control Systems Important to Safety—Software Aspects for Computer-Based Systems Performing Category A Functions"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1049\/ir:19970312"},{"key":"ref21","year":"2005","journal-title":"Communications Networks and Systems in Substations—Part 10 Conformance Testing"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1287\/opre.2.4.393"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICIT.2013.6505881"},{"key":"ref41","doi-asserted-by":"crossref","DOI":"10.1007\/b137241","author":"broy","year":"2005","journal-title":"Model-Based Testing of Reactive Systems Advanced Lectures"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2007.4341787"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78917-8_1"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/5.533956"}],"container-title":["IEEE Transactions on Industrial Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9424\/6866288\/06784098.pdf?arnumber=6784098","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:20:58Z","timestamp":1642004458000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6784098\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8]]},"references-count":42,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tii.2014.2315972","relation":{},"ISSN":["1551-3203","1941-0050"],"issn-type":[{"value":"1551-3203","type":"print"},{"value":"1941-0050","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,8]]}}}