Login / Signup
Improved usability and performance of SMT solvers for debugging specifications.
David R. Cok
Published in:
Int. J. Softw. Tools Technol. Transf. (2010)
Keyphrases
</>
statistical machine translation
modulo theories
user satisfaction
specification language
data sets
formal specification
fault localization