| 题名: | 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
|
| 关键词: | model-based testing
; symbolic test generation
; predicate sequencing constraints
|
| 刊名: | World Scientific Publishing Co. Pte Ltd
|
| 发表日期: | 2006
|
| 卷: | 16, 期:5, 页:727-746 | | 收录类别: | ei,sci,istp
|
| 部门归属: | 计算机科学国家重点实验室
|
| WOS记录号: | WOS:000241963600005
|
| Citation statistics: |
|
| 内容类型: | 期刊论文
|
| 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.
|
|
|
