TY  - RPRT
TI  - Applying SMT Solvers to the Test Template Framework
AU  - Maximiliano Cristiá
AU  - Claudia Frydman
PY  - 2012
DO  - 10.4204/eptcs.80.3
UR  - https://arxiv.org/abs/1202.6120
ID  - 1202.6120
ER  -