Symbolic Test Generation Using a Temporal Logic with Constrained Events

DOI10.1007/978-3-540-75221-9_21MaRDI QIDQ3526943zbMATH OpenOpenAlexFDO

Authors Daguang Liu, Peng Wu, Huimin Lin

Publication date 25 September 2008

Published in Formal Methods and Hybrid Real-Time Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75221-9_21

Mathematics Subject Classification ID

Temporal logic (03B44) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 2079824
• scientific article; zbMATH DE number 2080058
• Formal Approaches to Software Testing
• Towards a framework for constraint-based test case generation
• scientific article; zbMATH DE number 2080069

Cited in

(3)

• Synthesizing adaptive test strategies from temporal logic specifications
• Symbolic and on the Fly Testing with Real-Time Observers
• scientific article; zbMATH DE number 1870537 (Why is no real title available?)

This page was built for publication: Symbolic Test Generation Using a Temporal Logic with Constrained Events

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3526943)