121 search results - page 17 / 25 » Automatic verification of Java programs with dynamic frames |
SIGSOFT
2005
ACM
16 years 12 days ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
101
Voted
WWW
2009
ACM
16 years 10 days ago
2009
ACM
We present a static control-flow analysis for JavaScript programs running in a web browser. Our analysis tackles numerous challenges posed by modern web applications including asy...
101
click to vote
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...
120
Voted
SP
2010
IEEE
15 years 3 months ago
2010
IEEE
—To handle the growing flood of malware, security vendors and analysts rely on tools that automatically identify and analyze malicious code. Current systems for automated malwar...
132
click to vote
RV
2010
Springer
14 years 9 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...