Login / Signup
Model-based Testing of a Reactive System with Coloured Petri Nets.
Simon Tjell
Published in:
GI Jahrestagung (2) (2006)
Keyphrases
</>
coloured petri nets
model based testing
test cases
software development
software design
formal verification
software testing
security policies
sequence diagrams
testing process
test data
model checking
databases
software engineering
test sequences
case study
information systems
neural network