Complementary Criteria for Testing Temporal Logic Properties

DOI10.1007/978-3-642-02949-3_6zbMath1246.68154OpenAlexW1505422411MaRDI QIDQ3637251

Gordon Fraser, Franz Wotawa

Publication date: 7 July 2009

Published in: Tests and Proofs (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02949-3_6

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• NuSMV

Cites Work

• Towards Property Oriented Testing
• Introduction to Software Testing
• Using Model Checking to Generate Fault Detecting Tests
• Formal Approaches to Software Testing
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Complementary Criteria for Testing Temporal Logic Properties