Design of Test Case for ATP Speed Monitoring Function Based on Cause-effect Graph.

Lei Dou Wudong Yang

Published in: CAA SAFEPROCESS (2019)

Keyphrases

test cases
software testing
real time
design process
data sets
monitoring system
test data
graph structure
evolutionary algorithm
semi supervised
software systems
automated theorem proving