TY  - CPAPER
AU  - Albert Albiol, Elvira
AU  - Arenas Sánchez, Purificación
AU  - Gómez Zamalloa, Miguel
AU  - Rojas, José Miguel
PY  - 2014
UR  - https://hdl.handle.net/20.500.14352/36150
AB  - The focus of this tutorial is white-box test case generation (TCG) based on symbolic execution. Symbolic execution consists in executing a program with the contents of its input arguments being symbolic variables rather than concrete values. A...
LA  - eng
M2  - 263
TI  - Test Case Generation by Symbolic Execution:Basic Concepts, a CLP-based Instance, andActor-based Concurrency
TY  - conference paper
ER  -