Variable strength combinatorial testing of concurrent programs.

Xiaofang Qi Jun He Peng Wang Huayang Zhou

Published in: Frontiers Comput. Sci. (2016)

Keyphrases

concurrent programs
concurrent programming
web applications
process algebra
concurrent processes
relational databases
general purpose
formal specification