Symbolic Execution Techniques for Test Purpose Definition
From MaRDI portal
Publication:3434649
DOI10.1007/11754008_1zbMath1185.68413OpenAlexW1484700963MaRDI QIDQ3434649
Nicolas Rapin, Christophe Gaston, Pascale Le Gall, Assia Touil
Publication date: 2 May 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11754008_1
conformance testingsymbolic executioncoverage criteriainput/output symbolic transition systemstest purposes
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Reliability, testing and fault tolerance of networks and computer systems (68M15)
Related Items (9)
A General Testability Theory ⋮ Proof-guided test selection from first-order specifications with equality ⋮ Symbolic execution of Reo circuits using constraint automata ⋮ Model-Based Test Selection for Infinite-State Reactive Systems ⋮ Symbolic Model-based Test Selection ⋮ A formal abstract framework for modelling and testing complex software systems ⋮ Introducing complexity to formal testing ⋮ Slicing communicating automata specifications: Polynomial algorithms for model reduction ⋮ Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables
This page was built for publication: Symbolic Execution Techniques for Test Purpose Definition
