| 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.
|
|
|
