2774 search results - page 432 / 555 » Query-Driven Program Testing |
CCS
2006
ACM
14 years 27 days ago
2006
ACM
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input,...
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
A memory leak in a Java program occurs when object references that are no longer needed are unnecessarily maintained. Such leaks are difficult to understand because static analyse...
SIGSOFT
2007
ACM
14 years 10 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
SIGSOFT
2007
ACM
14 years 10 months ago
2007
ACM
Studies show that programs contain much similar code, commonly known as clones. One of the main reasons for introducing clones is programmers' tendency to copy and paste code...
WWW
2004
ACM
14 years 9 months ago
2004
ACM
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...