AutoProof: Auto-Active Functional Verification of Object-Oriented Programs.

Julian Tschannen Carlo A. Furia Martin Nordio Nadia Polikarpova

Published in: TACAS (2015)

Keyphrases

functional verification
object oriented programs
integration testing
specification languages
impact analysis
object oriented
artificial intelligence
source code
formal verification
relational databases
knowledge representation