944 search results - page 138 / 189 » Software model checking without source code |
EUROSYS
2006
ACM
14 years 7 months ago
2006
ACM
Bugs in kernel-level device drivers cause 85% of the system crashes in the Windows XP operating system [44]. One of the sources of these errors is the complexity of the Windows dr...
OSDI
2006
ACM
14 years 10 months ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...
SIGSOFT
2008
ACM
14 years 10 months ago
2008
ACM
Programs trusted with secure information should not release that information in ways contrary to system policy. However, when a program contains an illegal flow of information, cu...
FASE
2012
Springer
12 years 5 months ago
2012
Springer
The adoption of distributed version control (DVC), such as Git and Mercurial, in open-source software (OSS) projects has been explosive. Why is this and how are projects using DVC?...
ICCS
2004
Springer
14 years 3 months ago
2004
Springer
: Computational and data Grids couple geographically distributed resources such as high performance computers, workstations, clusters, and scientific instruments. Grid Workflows co...