symbolic test generation using a temporal logic with constrained events

	symbolic test generation using a temporal logic with constrained events
	Liu Daguang; Wu Peng; Lin Huimin
	2007
会议名称	Symposium on Formal Methods and Hybrid Real-Time Systems held in Honour of Dines Bjorner/Zhou Chaochen
会议录名称	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
页码	467-471
会议日期	SEP 24-25,
会议地点	Macao, PEOPLES R CHINA
出版地	HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY
出版者	Formal Methods and Hybrid Real-Time Systems
ISSN	0302-9743
ISBN	978-3-540-75220-2
部门归属	Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China.
摘要	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
关键词	Algorithms Data Acquisition Logic Programming Parameter Estimation
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/11114
专题	基础软件与系统重点实验室
推荐引用方式 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.