944 search results - page 61 / 189 » Software model checking without source code |
MSR
2006
ACM
14 years 4 months ago
2006
ACM
With the success of libre (free, open source) software, a new type of software compilation has become increasingly common. Such compilations, often referred to as ‘distributions...
QUATIC
2007
IEEE
14 years 4 months ago
2007
IEEE
—The amount of effort needed to maintain a software system is related to the technical quality of the source code of that system. The ISO 9126 model for software product quality ...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper presents a framework based on a user driven methodology to obtain analytical models of MPI applications on parallel systems in a systematic and easy to use way. This me...
SBMF
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
IJISEC
2006
13 years 10 months ago
2006
We examine the problem of containing buffer overflow attacks in a safe and efficient manner. Briefly, we automatically augment source code to dynamically catch stack and heap-based...