Login / Signup

Verification of Object Oriented Programs Using Class Invariants.

Kees HuizingRuurd Kuiper
Published in: FASE (2000)
Keyphrases
  • object oriented programs
  • integration testing
  • specification languages
  • object oriented
  • model checking
  • formal specification
  • decision trees
  • multi agent systems
  • expert systems