Login / Signup

Abstracting graph-based specifications of object-oriented programs.

Ignacio Silva-Lepe
Published in: SAC (1994)
Keyphrases
  • object oriented programs
  • specification languages
  • formal specification
  • integration testing
  • impact analysis
  • object oriented
  • model checking
  • high level
  • black box
  • software components
  • test cases
  • reverse engineering