Testing, Betting and Timed True Concurrency.

Published in: CONCUR (1991)

Keyphrases

petri net
database systems
concurrency control
timed automata
data sets
test cases
neural network
machine learning
genetic algorithm
bayesian networks
evolutionary algorithm
software engineering
model checking
finite state machines
test generation