A framework of reachability testing for Java multithread programs.

Shuang Quan Li Huo Yan Chen Yu Xia Sun

Published in: SMC (3) (2004)

Keyphrases

lightweight
main contribution
open source
conceptual framework
data mining
case study
state space
programming language
theoretical framework