Association of Under-Approximation Techniques for Generating Tests from Models

DOI10.1007/978-3-642-21768-5_5zbMath1335.68046OpenAlexW192630419MaRDI QIDQ3012965

Pierre-Christophe Bué, Pierre-Alain Masson, Jacques Julliand

Publication date: 7 July 2011

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

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

zbMATH Keywords

abstractionmodel-based testingover- and under-approximations

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Test generation from event system abstractions to cover their states and transitions

Uses Software

• CUTE
• z3
• DART
• STP

Cites Work

• Guarded commands, nondeterminacy and formal derivation of programs
• Abstract Interpretation Frameworks
• An axiomatic basis for computer programming
• Tools and Algorithms for the Construction and Analysis of Systems
• Computer Aided Verification
• Formal Methods for Components and Objects
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item