Testing object-oriented programs - an integrated approach.

Mei-Hwa Chen Howard M. Kao

Published in: ISSRE (1999)

Keyphrases

object oriented programs
integration testing
specification languages
black box
object oriented
impact analysis
software testing
test cases
first order logic
formal specification
database
case study
source code
life cycle