Login / Signup

Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques.

Julian TschannenCarlo A. FuriaMartin NordioBertrand Meyer
Published in: SEFM (2011)
Keyphrases
  • object oriented programs
  • specification languages
  • integration testing
  • object oriented
  • impact analysis
  • data sets
  • databases
  • model checking
  • formal specification
  • data analysis