Login / Signup

Infeasible paths in object-oriented programs.

Frank Tip
Published in: Sci. Comput. Program. (2015)
Keyphrases
  • object oriented programs
  • integration testing
  • specification languages
  • impact analysis
  • black box
  • object oriented
  • formal specification
  • database
  • databases
  • artificial intelligence
  • database systems
  • test cases