A first step in the design of a formally verified constraint-based testing tool: FocalTest

DOI10.1007/978-3-642-30473-6_5zbMATH Open1354.68054OpenAlexW196734950MaRDI QIDQ2900178FDOQ2900178

Authors: Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb 

Publication date: 20 July 2012

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

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

Recommendations

• Towards a framework for constraint-based test case generation
• Functional Testing in the Focal Environment
• Tools and Algorithms for the Construction and Analysis of Systems
• Efficient generation of test data structures using constraint logic programming and program transformation
• Foundational property-based testing

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Cited In (5)

• Functional Testing in the Focal Environment
• FocalTest
• Foundational property-based testing
• Testing from structured algebraic specifications: the \textsc{Veritas} case study
• Title not available (Why is that?)

Uses Software

• Coq
• SageMath
• GATeL
• Euclide
• Pex
• CompCert

This page was built for publication: A first step in the design of a formally verified constraint-based testing tool: FocalTest

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