Boogie: A Modular Reusable Verifier for Object-Oriented Programs.

Michael Barnett Bor-Yuh Evan Chang Robert DeLine Bart Jacobs K. Rustan M. Leino

Published in: FMCO (2005)

Keyphrases

object oriented programs
specification languages
integration testing
impact analysis
object oriented
black box
source code
software components
formal specification
database
databases
test cases