An introduction to test specification in FQL

DOI10.1007/978-3-642-19583-9_5MaRDI QIDQ5391520zbMATH OpenOpenAlexFDO

Authors Andreas Holzer, Michael Tautschnig, Christian Schallhart, 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)

Recommendations

• scientific article; zbMATH DE number 2084350
• Test specification based on trace description
• scientific article; zbMATH DE number 2084351
• Functional Testing in the Focal Environment
• Towards a framework for constraint-based test case generation

Cited in

(3)

• Calculating WCET estimates from timed traces
• scientific article; zbMATH DE number 1106308 (Why is no real title available?)
• Closure properties and complexity of rational sets of regular languages

Describes a project that uses

Uses Software

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

This page was built for publication: An introduction to test specification in FQL

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