32 search results - page 6 / 7 » Effective static race detection for Java |
ECOOP
2007
Springer
13 years 9 months ago
2007
Springer
With the advent of Java 5 annotations, we note a marked increase in the availability of tools that can statically detect potential null dereferences. For such tools to be truly eff...
WWW
2011
ACM
13 years 2 days ago
2011
ACM
Malicious web pages that host drive-by-download exploits have become a popular means for compromising hosts on the Internet and, subsequently, for creating large-scale botnets. In...
IEE
2008
13 years 5 months ago
2008
With Java 5 annotations, we note a marked increase in tools that can statically detect potential null dereferences. To be effective such tools require that developers annotate decl...
OOPSLA
2005
Springer
13 years 10 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
ECLIPSE
2007
ACM
13 years 9 months ago
2007
ACM
In the software development life cycle, unit testing is an important phase that helps in early detection of bugs. A unit test case consists of two parts: a test input, which is of...