Applying SMT Solvers to the Test Template Framework

Maximiliano Cristiá Claudia S. Frydman

Published in: MBT (2012)

Keyphrases

probabilistic model
data sets
case study
lightweight
information systems
object recognition
pairwise
language model
software development
template matching
modulo theories