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