Functional Testing in the Focal Environment

DOI10.1007/978-3-540-79124-9_7zbMath1138.68440OpenAlexW1870406604MaRDI QIDQ5458812

Matthieu Carlier, Catherine Dubois

Publication date: 24 April 2008

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

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

Mathematics Subject Classification ID

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

Uses Software

• Zenon
• JUnit
• QuickCheck

Cites Work

• Unnamed Item
• Zenon: An Extensible Automated Theorem Prover Producing Checkable Proofs
• Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing

This page was built for publication: Functional Testing in the Focal Environment