1404 search results - page 194 / 281 » Increasing Concurrency in Databases Using Program Analysis |
ISSTA
2004
ACM
15 years 6 months ago
2004
ACM
This paper presents a new compile-time analysis that enables a testing methodology for white-box coverage testing of error recovery code (i.e., exception handlers) in Java web ser...
122
click to vote
CLUSTER
2002
IEEE
15 years 14 days ago
2002
IEEE
The need to conduct and manage large sets of experiments for scientific applications dramatically increased over the last decade. However, there is still very little tool support ...
116
click to vote
ISSTA
2012
ACM
13 years 3 months ago
2012
ACM
Use-after-free vulnerabilities are rapidly growing in popularity, especially for exploiting web browsers. Use-afterfree (and double-free) vulnerabilities are caused by a program o...
ICPP
2006
IEEE
15 years 6 months ago
2006
IEEE
The MPI standard provides tool builders with an efficient profiling interface, PMPI. Although many tools have successfully used this interface, it has three major drawbacks: a n...
100
Voted
ISSTA
2009
ACM
15 years 7 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...