27 search results - page 6 / 6 » Instantiation-Based Invariant Discovery |
CONEXT
2005
ACM
13 years 6 months ago
2005
ACM
The high bandwidth and low latency of the modern internet has made possible the deployment of distributed computing platforms. The XenoServer platform provides a distributed compu...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...