3090 search results - page 480 / 618 » On Testing Answer-Set Programs |
129
Voted
STVR
2010
15 years 27 days ago
2010
Failures triggered by hard to debug defects usually involve complex interactions between many program elements. We hypothesize that information flows present a good model for such ...
130
Voted
ICISS
2010
Springer
15 years 15 days ago
2010
Springer
Abstract. Code injection attacks that target the control-data of an application have been prevalent amongst exploit writers for over 20 years. Today however, these attacks are gett...
136
click to vote
VSTTE
2010
Springer
15 years 12 days ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
153
Voted
INFSOF
2010
14 years 11 months ago
2010
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
160
Voted
ASSETS
2010
ACM
14 years 9 months ago
2010
ACM
Individuals diagnosed with autism spectrum disorder (ASD) often fixate on narrow, restricted interests. These interests can be highly motivating, but they can also create attentio...