Login / Signup

Interactive Verification Environments for Object-Oriented Programs.

Jörg MeyerArnd Poetzsch-Heffter
Published in: J. Univers. Comput. Sci. (1999)
Keyphrases
  • object oriented programs
  • integration testing
  • specification languages
  • object oriented
  • model checking
  • impact analysis
  • databases
  • test set
  • database
  • artificial intelligence
  • case study
  • high level