• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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