A Conformance Relation for Model-Based Testing of PLC.

Anaïs Guignard Jean-Marc Faure

Published in: WODES (2014)

Keyphrases

model based testing
software design
test cases
control system
software development
neural network
software testing
security policies
sequence diagrams
databases
low level
testing process