192 search results - page 21 / 39 » Non-Deterministic Games and Program Analysis: An Application... |
110
click to vote
JAR
2006
15 years 1 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
126
click to vote
WWW
2009
ACM
16 years 2 months 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...
95
Voted
IOR
2002
15 years 1 months ago
2002
abstract mathematics. My mentor was Professor S. Bochner, a distinguished contributor to harmonic analysis. My classmates included Richard Bellman (who later nurtured the method of...
123
Voted
ICSM
2005
IEEE
15 years 7 months ago
2005
IEEE
Automated cost-effective test strategies are needed to provide reliable, secure, and usable web applications. As a software maintainer updates an application, test cases must accu...
171
Voted
OOPSLA
2001
Springer
15 years 6 months ago
2001
Springer
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...