4079 search results - page 656 / 816 » Differential Testing for Software |
146
click to vote
COMPSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
Access control is one of the most fundamental and widely used security mechanisms. Access control mechanisms control which principals such as users or processes have access to whi...
146
click to vote
ECLIPSE
2007
ACM
15 years 7 months ago
2007
ACM
We present a declarative and visual debugging environment for Eclipse called JIVE.1 Traditional debugging is procedural in that a programmer must proceed step-by-step and objectby...
128
click to vote
FPGA
2007
ACM
15 years 7 months ago
2007
ACM
Progress in reconfigurable hardware technology allows the implementation of complete SoCs in today's FPGAs. In the context design for reliability, software checkpointing is a...
113
click to vote
ASWEC
2004
IEEE
15 years 7 months ago
2004
IEEE
Network protocol implementations are susceptible to problems caused by their lack of ability to handle invalid inputs. We present ASPIRE: Automated Systematic Protocol Implementat...
151
click to vote
ECOOPW
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Software security has become more important than ever. Unfortunately, still now, the security of a software system is almost always retrofitted to an afterthought. When s...