Testing Safety PLCs Using QuickCheck.

David Thönnessen Nick Smallbone Martin Fabian Koen Claessen Stefan Kowalewski

Published in: CASE (2019)

Keyphrases

real time
test cases
computer vision
information systems
database
data sets
data mining
training data
bayesian networks
lower bound
test generation
nuclear power plant