Login / Signup

Using formal specifications to support testing.

Robert M. HieronsKirill BogdanovJonathan P. BowenRance CleavelandJohn DerrickJeremy DickMarian GheorgheMark HarmanKalpesh KapoorPaul J. KrauseGerald LüttgenAnthony J. H. SimonsSergiy A. VilkomirMartin R. WoodwardHussein Zedan
Published in: ACM Comput. Surv. (2009)
Keyphrases
  • formal specification
  • object oriented design
  • software testing
  • real world
  • end users
  • knowledge acquisition
  • knowledge based systems
  • database design
  • model checking
  • database
  • test cases