Login / Signup
A graph-based generic type system for object-oriented programs.
Wei Ke
Zhiming Liu
Shuling Wang
Liang 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