Search the dblp DataBase

Publications of Author

1. Saswat Anand, Siau-Cheng Khoo
   Efficient Interpretation of Chart Pattern Language. [Citation Graph (0, 0)][DBLP]
   APLAS, 2001, pp:39-48 [Conf]
   
2. Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo
   Charting Patterns on Price History. [Citation Graph (0, 0)][DBLP]
   ICFP, 2001, pp:134-145 [Conf]
   
3. Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo
   A Lazy Divide and Conquer Approach to Constraint Solving. [Citation Graph (0, 0)][DBLP]
   ICTAI, 2002, pp:91-0 [Conf]
   
4. Saswat Anand, Corina S. Pasareanu, Willem Visser
   Symbolic Execution with Abstract Subsumption Checking. [Citation Graph (0, 0)][DBLP]
   SPIN, 2006, pp:163-181 [Conf]
   
5. Saswat Anand, Corina S. Pasareanu, Willem Visser
   JPF-SE: A Symbolic Execution Extension to Java PathFinder. [Citation Graph (0, 0)][DBLP]
   TACAS, 2007, pp:134-138 [Conf]
   
6. Saswat Anand, Alessandro Orso, Mary Jean Harrold
   Type-Dependence Analysis and Program Transformation for Symbolic Execution. [Citation Graph (0, 0)][DBLP]
   TACAS, 2007, pp:117-133 [Conf]
   
7. 
   Precise interface identification to improve testing and analysis of web applications. [Citation Graph (, )][DBLP]
   
   
8. 
   Demand-Driven Compositional Symbolic Execution. [Citation Graph (, )][DBLP]