Function Summaries in Software Upgrade Checking.

Grigory Fedyukovich Ondrej Sery Natasha Sharygina

Published in: Haifa Verification Conference (2011)

Keyphrases

software tools
software systems
software design
databases
real time
software development
computer systems
test cases
embedded systems
software maintenance
software package
database
source code
design patterns
piecewise linear
consistency checking