A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest
From MaRDI portal
Publication:2900178
DOI10.1007/978-3-642-30473-6_5zbMath1354.68054OpenAlexW196734950MaRDI QIDQ2900178
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
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Uses Software