Encapsulation in Object-Oriented Programs.

Jiun-Liang Chen Feng-Jian Wang

Published in: ACM SIGPLAN Notices (1996)

Keyphrases

object oriented programs
integration testing
specification languages
object oriented
black box
impact analysis
test cases
machine learning
formal specification
data sets
data sources
source code
error rate
first order logic