Login / Signup
Specification and execution of tests using tMsc.
Iulian Ober
Alain Kerbrat
Published in:
FORTE (1999)
Keyphrases
</>
control flow
execution model
active rules
transactional properties
concurrent execution
exception handling
user defined
active databases
protocol specification
post hoc
specification language
databases
test suite
test data
multi agent
high level
social networks
learning algorithm
machine learning
real world