Login / Signup

Verification of object-oriented programs: A transformational approach.

Krzysztof R. AptFrank S. de BoerErnst-Rüdiger OlderogStijn de Gouw
Published in: J. Comput. Syst. Sci. (2012)
Keyphrases
  • object oriented programs
  • integration testing
  • specification languages
  • impact analysis
  • object oriented
  • model checking
  • formal specification
  • black box
  • first order logic
  • artificial intelligence
  • software testing