Login / Signup
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