22 search results - page 5 / 5 » sigsoft 2004 |
SIGSOFT
2004
ACM
14 years 5 months ago
2004
ACM
Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide si...
SIGSOFT
2004
ACM
13 years 10 months ago
2004
ACM
Static program checking tools can find many serious bugs in software, but due to analysis limitations they also frequently emit false error reports. Such false positives can easi...