model-based testing of concurrent programs with predicate sequencing constraints

	model-based testing of concurrent programs with predicate sequencing constraints
	Wu Peng; Lin Huimin; Wu, P (通讯作者), Ecole Polytech, CNRS, Rue Saclay, F-91128 Palaiseau, France
	2006
发表期刊	World Scientific Publishing Co. Pte Ltd
卷号	16 期号:5 页码:727-746
收录类别	ei,sci,istp
关键词	Model-based Testing Symbolic Test Generation Predicate Sequencing Constraints
部门归属	计算机科学国家重点实验室
WOS记录号	WOS:000241963600005
引用统计
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/4456
专题	基础软件与系统重点实验室
通讯作者	Wu, P (通讯作者), Ecole Polytech, CNRS, Rue Saclay, F-91128 Palaiseau, France
推荐引用方式 GB/T 7714	Wu Peng,Lin Huimin,Wu, P . model-based testing of concurrent programs with predicate sequencing constraints[J]. World Scientific Publishing Co. Pte Ltd,2006,16(5):727-746.
APA	Wu Peng,Lin Huimin,&Wu, P .(2006).model-based testing of concurrent programs with predicate sequencing constraints.World Scientific Publishing Co. Pte Ltd,16(5),727-746.
MLA	Wu Peng,et al."model-based testing of concurrent programs with predicate sequencing constraints".World Scientific Publishing Co. Pte Ltd 16.5(2006):727-746.