Test Suite Generation Methods for Concurrent Systems Based on Colored Petri Nets.

Harumi Watanabe Tomohiro Kudoh

Published in: APSEC (1995)

Keyphrases

concurrent systems
benchmark datasets
significant improvement
petri net
machine learning methods
test suite
database
data mining
case study
training set
computational cost
data mining techniques
empirical studies
life cycle
statistical methods