Login / Signup

A framework for automatic functional testing based on formal specifications.

Shaoying LiuShin Nakajima
Published in: AST (2011)
Keyphrases
  • main contribution
  • formal specification
  • semi automatic
  • object oriented databases
  • software testing
  • building blocks