Institutional Repository
| symbolic test generation using a temporal logic with constrained events | |
| Liu Daguang; Wu Peng; Lin Huimin | |
| 2007 | |
| Conference Name | Symposium on Formal Methods and Hybrid Real-Time Systems held in Honour of Dines Bjorner/Zhou Chaochen |
| Source | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Pages | 467-471 |
| Conference Date | SEP 24-25, |
| Conference Place | Macao, PEOPLES R CHINA |
| Publish Place | HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY |
| Publisher | Formal Methods and Hybrid Real-Time Systems |
| ISSN | 0302-9743 |
| ISBN | 978-3-540-75220-2 |
| Department | Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China. |
| English Abstract | A temporal logic with constrained event modallities, TLCE, is proposed to represent test purposes for testing concurrent programs. The logic is capable can express not only temporal relationships among input and output events, but also data de |
| Keyword | Algorithms Data Acquisition Logic Programming Parameter Estimation |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/11114 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | Liu Daguang,Wu Peng,Lin Huimin. symbolic test generation using a temporal logic with constrained events[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:Formal Methods and Hybrid Real-Time Systems,2007:467-471. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| symbolic test genera（338KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment