Symbolic and Timed Testing.

Sabrina von Styp

Published in: AlgoSyn (2010)

Keyphrases

petri net
high level
database
databases
neural network
real world
symbolic representation
social networks
metadata
digital libraries
expert systems
test set
test cases
test data
test suite