Appyling Model-based Testing to a Train Control System.

Klaus Didrich Stefan Herbst Marlon Vieira

Published in: GI Jahrestagung (2) (2006)

Keyphrases

control system
model based testing
test cases
software development
software design
software testing
security policies
testing process
sequence diagrams
real time
artificial intelligence
neural network
database
data mining
open source
petri net
test data