TY  - CONF

T1  - Resource-Driven CLP-Based Test Case Generation

UR  - https://doi.org/10.1007/978-3-642-32211-2_3

PY  - 2012/08/23

AU  - Albert E

AU  - Gómez-Zamalloa M

AU  - Rojas JM

ED  - 

DO  - DOI: 10.1007/978-3-642-32211-2_3

PB  - Springer Berlin Heidelberg

SN  - 9783642322105

SP  - 25

EP  - 41

Y2  - 2025/11/20

ER  -