Institutional Repository
| 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 | |
| Source | World Scientific Publishing Co. Pte Ltd
 |
| Volume | 16Issue:5Pages:727-746 |
| Indexed Type | ei,sci,istp |
| Keyword | Model-based Testing Symbolic Test Generation Predicate Sequencing Constraints |
| Department | 计算机科学国家重点实验室 |
| WOS ID | WOS:000241963600005 |
| Citation statistics | |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/4456 |
| Collection | 基础软件与系统重点实验室 |
| Corresponding Author | Wu, P (通讯作者), Ecole Polytech, CNRS, Rue Saclay, F-91128 Palaiseau, France |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 3.pdf（328KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment