Functional Testing in the Focal Environment

DOI10.1007/978-3-540-79124-9_7MaRDI QIDQ5458812zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Formal Approaches to Software Testing
• Foundational property-based testing
• Fully Automatic Testing with Functions as Specifications
• A first step in the design of a formally verified constraint-based testing tool: FocalTest
• Towards substructural property-based testing

Cites work

• scientific article; zbMATH DE number 2089386 (Why is no real title available?)
• Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing
• Zenon: An Extensible Automated Theorem Prover Producing Checkable Proofs

Cited in

(8)

• Functional testing based on unified structural redundancy
• A first step in the design of a formally verified constraint-based testing tool: FocalTest
• Foundational property-based testing
• Testing in functional programming
• Testing polymorphic properties
• An introduction to test specification in FQL
• Towards substructural property-based testing
• Integrating testing and interactive theorem proving

Describes a project that uses

Uses Software

• QuickCheck
• Zenon
• JUnit

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

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