Integration Testing from Structured First-Order Specifications via Deduction Modulo

DOI10.1007/978-3-642-03466-4_17MaRDI QIDQ3393414zbMATH OpenOpenAlexFDO

Authors Delphine Longuet, Marc Aiguier

Publication date 20 August 2009

Published in Theoretical Aspects of Computing - ICTAC 2009 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-03466-4_17

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Proof-guided test selection from first-order specifications with equality
• Test Selection Criteria for Quantifier-Free First-Order Specifications
• scientific article; zbMATH DE number 1696911
• Testing algebraic data types and processes: A unifying theory
• Specification directed module testing

Cited in

(4)

• Some general results about proof normalization
• Test Selection Criteria for Quantifier-Free First-Order Specifications
• Theoretical Aspects of Computing - ICTAC 2004
• Proof-guided test selection from first-order specifications with equality

This page was built for publication: Integration Testing from Structured First-Order Specifications via Deduction Modulo

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