438 search results - page 53 / 88 » Bugs in the programs |
151
click to vote
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Many testing and analysis techniques have been developed for inhouse use. Although they are effective at discovering defects before a program is deployed, these techniques are oft...
164
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
165
click to vote
GECCO
2010
Springer
15 years 8 months ago
2010
Springer
Evolutionary methods have been used to repair programs automatically, with promising results. However, the fitness function used to achieve these results was based on a few simpl...
129
click to vote
SIGSOFT
2004
ACM
16 years 4 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
153
click to vote
IWMM
2009
Springer
15 years 10 months ago
2009
Springer
It is important that long running server programs retain availability amidst software failures. However, server programs do fail and one of the important causes of failures in ser...