AutoProof: Auto-active Functional Verification of Object-oriented Programs.

Julian Tschannen Carlo A. Furia Martín Nordio Nadia Polikarpova

Published in: CoRR (2015)

Keyphrases

object oriented programs
functional verification
integration testing
specification languages
impact analysis
object oriented
black box
information systems
wireless networks
dependency analysis
hardware software