Specifying and Verifying the Correctness of Dynamic Software Updates.

Christopher M. Hayden Stephen Magill Michael Hicks Nate Foster Jeffrey S. Foster

Published in: VSTTE (2012)

Keyphrases

computer systems
database
dynamic environments
software package
software development
software design
dynamic analysis
search engine
knowledge base
test cases
model checking
software architecture
software testing
static analysis