Pushdown Exception-Flow Analysis of Object-Oriented Programs

Shuying Liang Matthew Might Thomas Gilray David Van Horn

Published in: CoRR (2013)

Keyphrases

flow analysis
object oriented programs
integration testing
specification languages
impact analysis
object oriented
information flow
model checking
forensic analysis
black box
formal specification
databases
decision making
software testing
protein protein interactions
test cases
open source