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

(2019) [Contribution to a book, Contribution to a conference proceedings]

[17th IEEE International Conference on Industrial Informatics, INDIN 2019, 2019-07-22 - 2019-07-25, Helsinki, Finland]
Page(s): 419-424

Authors

Authors

Khan, Adnan
Thönnessen, David
Fabian, Martin

Identifier