{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T20:29:45Z","timestamp":1776889785039,"version":"3.51.2"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/etfa.2015.7301602","type":"proceedings-article","created":{"date-parts":[[2015,10,26]],"date-time":"2015-10-26T18:21:19Z","timestamp":1445883679000},"page":"1-4","source":"Crossref","is-referenced-by-count":19,"title":["Automatic test case generation for PLC programs using coverage metrics"],"prefix":"10.1109","author":[{"given":"Hendrik","family":"Simon","sequence":"first","affiliation":[]},{"given":"Nico","family":"Friedrich","sequence":"additional","affiliation":[]},{"given":"Sebastian","family":"Biallas","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Hauck-Stattelmann","sequence":"additional","affiliation":[]},{"given":"Bastian","family":"Schlich","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Kowalewski","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2014.7005209"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2001.922409"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41010-9_9"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2004.1317455"},{"key":"ref14","first-page":"97","article-title":"Boolean and Modular Abstractions for Programmable Logic Controllers","author":"biallas","year":"2013","journal-title":"Dependable Control of Discrete Systems (DCDS)"},{"key":"ref15","year":"2006","journal-title":"PLCopen"},{"key":"ref16","article-title":"Verifikation von sicherheitsgerichteten SPS-Programmen mit Hilfe von Safety-Automaten","author":"biallas","year":"2013","journal-title":"Automation ser VDI Berichte"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2090147.2094081"},{"key":"ref4","first-page":"2","article-title":"Counterexample-guided Abstraction Refinement for PLCs","year":"2010","journal-title":"5th Int Workshop Syst Softw Verification"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351741"},{"key":"ref6","article-title":"Automatische Test-fallgenerierung mittels Model-Checking fur Steuerungsprogramme","author":"kormann","year":"0","journal-title":"AUTOMATION 2010"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.402"},{"key":"ref8","first-page":"232","article-title":"UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems","author":"bengtsson","year":"1995","journal-title":"Proceedings of the DIMACS\/SYCON Workshop"},{"key":"ref7","article-title":"Entwicklung sicherer Steuerungsapplikationen mit Safety-Automaten","author":"frey","year":"0","journal-title":"Mess-und Automa-tisierungstechnik 2012"},{"key":"ref2","year":"2003","journal-title":"IEC 61131–3 Programmable Controllers - Part 3 Programming Languages"},{"key":"ref1","author":"myers","year":"2004","journal-title":"The Art of Software Testing"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICARA.2011.6144856"}],"event":{"name":"2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)","location":"Luxembourg, Luxembourg","start":{"date-parts":[[2015,9,8]]},"end":{"date-parts":[[2015,9,11]]}},"container-title":["2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7295717\/7301399\/07301602.pdf?arnumber=7301602","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T22:40:38Z","timestamp":1490395238000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7301602\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/etfa.2015.7301602","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}