44651 search results - page 8898 / 8931 » A Generalization of the Least General Generalization |
120
click to vote
ISSTA
2012
ACM
13 years 9 days ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
108
click to vote
ISSTA
2012
ACM
13 years 9 days ago
2012
ACM
We introduce a static detector, Saber, for detecting memory leaks in C programs. Leveraging recent advances on sparse pointer analysis, Saber is the first to use a full-sparse va...
110
click to vote
ISSTA
2012
ACM
13 years 9 days ago
2012
ACM
Since web applications are easily accessible, and often store a large amount of sensitive user information, they are a common target for attackers. In particular, attacks that foc...
108
click to vote
ISSTA
2012
ACM
13 years 9 days ago
2012
ACM
Swarm testing is a novel and inexpensive way to improve the diversity of test cases generated during random testing. Increased diversity leads to improved coverage and fault detec...
103
click to vote
ISSTA
2012
ACM
13 years 9 days ago
2012
ACM
Over the last decade, there has been a significant increase in the number and sophistication of malware-related attacks and infections. Many detection techniques have been propos...