Quantified Heap Invariants for Object-Oriented Programs.

Temesghen Kahsai Rody Kersten Philipp Rümmer Martin Schäf

Published in: LPAR (2017)

Keyphrases

object oriented programs
integration testing
specification languages
data structure
object oriented
impact analysis
black box
databases
formal specification
case study
first order logic
database
social networks
natural language
software development