Sign in

A graph-based generic type system for object-oriented programs.

Wei KeZhiming LiuShuling WangLiang Zhao
Published in: Frontiers Comput. Sci. (2013)
Keyphrases
  • object oriented programs
  • integration testing
  • specification languages
  • object oriented
  • black box
  • data sets
  • software engineering
  • complex systems
  • component analysis