Proof-guided test selection from first-order specifications with equality

DOI10.1007/S10817-009-9128-7zbMath1214.68221OpenAlexW2073268071MaRDI QIDQ616851

Pascale Le Gall, Marc Aiguier, Delphine Longuet

Publication date: 12 January 2011

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-009-9128-7

zbMATH Keywords

unfoldingtest purposeaxiom coverageproof tree normalisationquantifier-free first-order specificationsselection criteriaspecification-based testing

Mathematics Subject Classification ID

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

Related Items (1)

Some general results about proof normalization

Uses Software

• CASL
• QuickCheck

Cites Work

• Proof systems for structured specifications with observability operators
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms
• Symbolic Execution Techniques for Test Purpose Definition
• Test Selection Criteria for Quantifier-Free First-Order Specifications
• Formal Approaches to Software Testing
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Proof-guided test selection from first-order specifications with equality