Saswat Anand

PhD Student
College of Computing
Georgia Institute of Technology
 Saswat Anand


My current work focuses on the problem of automatic generation of program-inputs for software testing. Specifically, my goal is to leverage light-weight program-analysis and program-transformation techniques in combination with heavy-weight symbolic execution to generate program-inputs for real-world software.

I work with Prof. Mary Jean Harrold, Prof. Alex Orso, and Prof. Mayur Naik. During summer internships, I haved worked with some well-known researchers, Patrice Godefroid and Nikolai Tillmann at Microsoft Research in Pex project, and Willem Visser and Corina Pasareanu at NASA Ames Research Center in Java Pathfinder project.

Before starting PhD, I was interested in computational techniques for stock-market forecasting. In my masters, I designed and implemented CPL, a domain specific programming language (embedded in Haskell) for stock market forecasting at National Univ. of Singapore with Prof. Khoo Siau Cheng.

Publication


  1. Symbolic Execution with Interval Constraint Solving and Meta-heuristic Search
    Mateus Borges, Marcelo d'Amorim, Saswat Anand, David Bushnell, Corina Pasareanu
    IEEE International Conference on Software Testing, Verification and Validation (ICST), 2012.

  2. Heap Cloning: Enabling Dynamic Symbolic Execution of Java Programs (slides)
    Saswat Anand, Mary Jean Harrold
    IEEE/ACM International Conference on Automated Software Engineering (ASE), 2011.

  3. Precise Interface Identification to Improve Testing and Analysis of Web Applications
    [ACM Distinguished Paper Award]
    William G.J. Halfond, Saswat Anand, Alessandro Orso
    ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2009.

  4. Symbolic Execution with Abstraction
    Saswat Anand, Corina Pasareanu, Willem Visser
    International Journal on Software Tools for Technology Transfer (STTT), Volume 11, No. 1/February 2009.

  5. Demand-Driven Compositional Symbolic Execution
    Saswat Anand, Patrice Godefroid, Nikolai Tillmann
    International conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2008.

  6. Type-dependence Analysis and Program Transformation for Symbolic Execution
    Saswat Anand, Alessandro Orso, Mary Jean Harrold
    International conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2007.

  7. JPF-SE: A Symbolic Execution Extension to Java Pathfinder
    Saswat Anand, Corina Pasareanu, Willem Visser
    International conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2007.

  8. Symbolic Execution with Abstract Subsumption Checking
    Saswat Anand, Corina Pasareanu, Willem Visser
    International SPIN Workshop on Model Checking of Software (SPIN), 2006. (extended version in STTT journal)

  9. CPL: A Language for Programming Chart Patterns(Summary, Introduction)
    Saswat Anand
    Master's thesis, National Univ. of Singapore, 2003.

  10. Lazy Divide & Conquer Constraint Solving
    Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo
    IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2002.

  11. Charting Patterns on Price History
    Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo
    ACM SIGPLAN International Conference in Functional Programming (ICFP), 2001.

  12. Efficient Interpretation of s-CPL
    Saswat Anand, Siau-Cheng Khoo.
    Asian Symposium on Programming Languages and Systems (APLAS), 2001.

  13. Forecasting S&P500: A comparison between MLP and functional ANN
    Saswat Anand, B. Majhi
    International conference in Advanced Computing (ADCOMP), 1999.

Some Links

  1. symexbib: a bibliography on symbolic execution that I try to keep up to date.