 | 2011 |
|---|
| 10 |       | Saswat Anand,
Mary Jean Harrold:
Heap cloning: Enabling dynamic symbolic execution of java programs.
ASE 2011: 33-42 |
| 2009 |
|---|
| 9 | | William G. J. Halfond,
Saswat Anand,
Alessandro Orso:
Precise interface identification to improve testing and analysis of web applications.
ISSTA 2009: 285-296 |
| 8 | | Saswat Anand,
Corina S. Pasareanu,
Willem Visser:
Symbolic execution with abstraction.
STTT 11(1): 53-67 (2009) |
| 2008 |
|---|
| 7 | | Saswat Anand,
Patrice Godefroid,
Nikolai Tillmann:
Demand-Driven Compositional Symbolic Execution.
TACAS 2008: 367-381 |
| 2007 |
|---|
| 6 | | Saswat Anand,
Alessandro Orso,
Mary Jean Harrold:
Type-Dependence Analysis and Program Transformation for Symbolic Execution.
TACAS 2007: 117-133 |
| 5 | | Saswat Anand,
Corina S. Pasareanu,
Willem Visser:
JPF-SE: A Symbolic Execution Extension to Java PathFinder.
TACAS 2007: 134-138 |
| 2006 |
|---|
| 4 | | Saswat Anand,
Corina S. Pasareanu,
Willem Visser:
Symbolic Execution with Abstract Subsumption Checking.
SPIN 2006: 163-181 |
| 2002 |
|---|
| 3 | | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page