Profile directed systematic testing of concurrent programs.

Yan Hu Jun Yan Jian Zhang He Jiang

Published in: AST (2013)

Keyphrases

concurrent programs
concurrent programming
web applications
process algebra
concurrent processes
artificial intelligence
user profiles
real time
machine learning
data model
model checking