| * | 2009 |
|---|
| 8 | EE | Saswat Anand,
Corina S. Pasareanu,
Willem Visser:
Symbolic execution with abstraction.
STTT 11(1): 53-67 (2009) |
| 2008 |
|---|
| 7 | EE | Saswat Anand,
Patrice Godefroid,
Nikolai Tillmann:
Demand-Driven Compositional Symbolic Execution.
TACAS 2008: 367-381 |
| 2007 |
|---|
| 6 | EE | Saswat Anand,
Alessandro Orso,
Mary Jean Harrold:
Type-Dependence Analysis and Program Transformation for Symbolic Execution.
TACAS 2007: 117-133 |
| 5 | EE | Saswat Anand,
Corina S. Pasareanu,
Willem Visser:
JPF-SE: A Symbolic Execution Extension to Java PathFinder.
TACAS 2007: 134-138 |
| 2006 |
|---|
| 4 | EE | Saswat Anand,
Corina S. Pasareanu,
Willem Visser:
Symbolic Execution with Abstract Subsumption Checking.
SPIN 2006: 163-181 |
| 2002 |
|---|
| 3 | EE | Saswat Anand,
Wei-Ngan Chin,
Siau-Cheng Khoo:
A Lazy Divide and Conquer Approach to Constraint Solving.
ICTAI 2002: 91- |
| 2001 |
|---|
| 2 | | Saswat Anand,
Siau-Cheng Khoo:
Efficient Interpretation of Chart Pattern Language.
APLAS 2001: 39-48 |
| 1 | | Saswat Anand,
Wei-Ngan Chin,
Siau-Cheng Khoo:
Charting Patterns on Price History.
ICFP 2001: 134-145 |
