model-based testing of concurrent programs with predicate sequencing constraints

Autoria(s): Wu Peng; Lin Huimin
Data(s)

2006
Identificador

http://ir.iscas.ac.cn/handle/311060/4456

http://www.irgrid.ac.cn/handle/1471x/66821
Fonte

Wu Peng; Lin Huimin.model-based testing of concurrent programs with predicate sequencing constraints,World Scientific Publishing Co. Pte Ltd,2006,16(5):727-746
Palavras-Chave #model-based testing #symbolic test generation #predicate sequencing constraints
Tipo

期刊论文
Acesso ao item digital