An Introduction to Test Specification in FQL

DOI10.1007/978-3-642-19583-9_5zbMath1325.68148OpenAlexW1508846218MaRDI QIDQ5391520

Christian Schallhart, Michael Tautschnig, Andreas Holzer, Helmut Veith

Publication date: 6 April 2011

Published in: Hardware and Software: Verification and Testing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-19583-9_5

Mathematics Subject Classification ID

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

Related Items (2)

Closure properties and complexity of rational sets of regular languages ⋮ Calculating WCET estimates from timed traces

Uses Software

• CUTE
• KLEE
• DART
• CPAchecker
• Java PathFinder
• FShell

This page was built for publication: An Introduction to Test Specification in FQL