Title: | symbolic test generation using a temporal logic with constrained events |
Author: | Liu Daguang
; Wu Peng
; Lin Huimin
|
Source: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
|
Conference Name: | Symposium on Formal Methods and Hybrid Real-Time Systems held in Honour of Dines Bjorner/Zhou Chaochen
|
Conference Date: | SEP 24-25,
|
Issued Date: | 2007
|
Conference Place: | Macao, PEOPLES R CHINA
|
Keyword: | Algorithms
; Data acquisition
; Logic programming
; Parameter estimation
|
Publisher: | Formal Methods and Hybrid Real-Time Systems
|
Publish Place: | HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
|
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 |
Content Type: | 会议论文
|
URI: | http://ir.iscas.ac.cn/handle/311060/11114
|
Appears in Collections: | 计算机科学国家重点实验室 _会议论文
|
File Name/ File Size |
Content Type |
Version |
Access |
License |
|
symbolic test generation using a temporal logic with constrained events.pdf(338KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
Liu Daguang,Wu Peng,Lin Huimin. symbolic test generation using a temporal logic with constrained events[C]. 见:Symposium on Formal Methods and Hybrid Real-Time Systems held in Honour of Dines Bjorner/Zhou Chaochen. Macao, PEOPLES R CHINA. SEP 24-25,.
|
|
|