944 search results - page 107 / 189 » Software model checking without source code |
105
click to vote
FDL
2005
IEEE
15 years 7 months ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
119
click to vote
SOSP
2009
ACM
15 years 11 months ago
2009
ACM
Bugs in kernel extensions remain one of the main causes of poor operating system reliability despite proposed techniques that isolate extensions in separate protection domains to ...
118
click to vote
SLE
2009
Springer
15 years 8 months ago
2009
Springer
One of the most ubiquitous elements of modern computing is the relational database. Very few modern applications are created without some sort of database backend. Unfortunately, r...
114
click to vote
SIGSOFT
2004
ACM
15 years 7 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...
131
click to vote
COMPSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...