Abstraction of multiple executions of object-oriented programs.

Chunying Zhao Kang Zhang Yu Lei

Published in: SAC (2009)

Keyphrases

object oriented programs
database
artificial intelligence
specification languages
data model
computational biology
integration testing