On-the-fly conformance testing of safety PLC code using QuickCheck

(2019) [Contribution to a conference proceedings]

[17th IEEE International Conference on Industrial Informatics, INDIN’19 Industrial Applications of Artificial Intelligence, INDIN, 2019-07-22 - 2019-07-25, Helsinki, Finland]

Authors

Selected Authors

Khan, Adnan
Thönnessen, David
Fabian, Martin

Identifier

  • REPORT NUMBER: RWTH-2019-04271