Verification of Object-Oriented Programs with Invariants.

Michael Barnett Robert DeLine Manuel Fähndrich K. Rustan M. Leino Wolfram Schulte

Published in: J. Object Technol. (2004)

Keyphrases

object oriented programs
integration testing
specification languages
object oriented
impact analysis
model checking
formal specification
black box
database
data sets
databases
training data
test cases
software testing