Symbolic Execution Techniques for Refinement Testing

DOI10.1007/978-3-540-73770-4_8zbMath1196.68049OpenAlexW1524080654MaRDI QIDQ5423866

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

refinementconformance testingsymbolic executionsymbolic transition system

Mathematics Subject Classification ID

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

Related Items (1)

Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables

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