Sign in

A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study.

Moonzoo KimYunho KimHotae Kim
Published in: IEEE Trans. Software Eng. (2011)
Keyphrases
  • computational model
  • probabilistic model
  • database
  • mathematical model
  • software tools
  • unit testing
  • databases
  • artificial intelligence
  • decision trees
  • high level
  • open source
  • building blocks
  • metamodel