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

Adnan Khan David Thönnessen Martin Fabian

Published in: INDIN (2019)

Keyphrases

source code
control system
code generation
unit testing
concurrent programs
database
test cases
test set
software testing
test generation
neural network
evolutionary algorithm
fuzzy control
safety critical