438 search results - page 66 / 88 » Bugs in the programs |
113
click to vote
CRYPTO
2007
Springer
15 years 10 months ago
2007
Springer
The economics of information security has recently become a thriving and fast-moving discipline. As distributed systems are assembled from machines belonging to principals with div...
107
click to vote
FASE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Software debugging is the activity of locating and correcting erroneous statements in programs. Automated tools to locate and correct the erroneous statements in a progra...
132
Voted
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
A reachability question is a search across feasible paths through a program for target statements matching search criteria. In three separate studies, we found that reachability q...
160
click to vote
AADEBUG
2005
Springer
15 years 6 months ago
2005
Springer
In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant...
253
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...