Title: | model-based testing of concurrent programs with predicate sequencing constraints |
Author: | Wu Peng
; Lin Huimin
|
Corresponding Author: | Wu, P (通讯作者), Ecole Polytech, CNRS, Rue Saclay, F-91128 Palaiseau, France
|
Keyword: | model-based testing
; symbolic test generation
; predicate sequencing constraints
|
Source: | World Scientific Publishing Co. Pte Ltd
|
Issued Date: | 2006
|
Volume: | 16, Issue:5, Pages:727-746 | Indexed Type: | ei,sci,istp
|
Department: | 计算机科学国家重点实验室
|
WOS ID: | WOS:000241963600005
|
Citation statistics: |
|
Content Type: | 期刊论文
|
URI: | http://ir.iscas.ac.cn/handle/311060/4456
|
Appears in Collections: | 计算机科学国家重点实验室 _期刊论文
|
File Name/ File Size |
Content Type |
Version |
Access |
License |
|
3.pdf(328KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
Wu Peng,Lin Huimin. model-based testing of concurrent programs with predicate sequencing constraints[J]. World Scientific Publishing Co. Pte Ltd,2006-01-01,16(5):727-746.
|
|
|