Login / Signup
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