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