A Logic of Object-Oriented Programs.

Martín Abadi K. Rustan M. Leino

Published in: TAPSOFT (1997)

Keyphrases

object oriented programs
specification languages
integration testing
formal specification
impact analysis
object oriented
first order logic
software testing
open source
black box
data sets
artificial intelligence
business processes
test cases
high precision
dependency analysis