Symbolic Execution Techniques for Refinement Testing

DOI10.1007/978-3-540-73770-4_8MaRDI QIDQ5423866zbMATH OpenOpenAlexFDO

Authors Pascale Le Gall, Nicolas Rapin, Assia Touil

Publication date 31 October 2007

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

Full work available at URL https://doi.org/10.1007/978-3-540-73770-4_8

zbMATH Keywords

conformance testingrefinementsymbolic executionsymbolic transition system

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Symbolic Execution Techniques for Test Purpose Definition
• Formal Approaches to Software Testing
• Test selection for traces refinement
• Computer Aided Verification
• Symbolic Model-based Test Selection

Cited in

(6)

• A test environment using symbolic program trace
• Symbolic Execution Techniques for Test Purpose Definition
• Symbolic and on the Fly Testing with Real-Time Observers
• Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables
• Symbolic execution of transition systems with function summaries
• Computer Aided Verification

This page was built for publication: Symbolic Execution Techniques for Refinement Testing

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