I am interested in the problem of automatic test-input generation.
In particular, I am investigating how light-weight program analysis techniques
can be combined with heavy-weight symbolic execution to
generate test-inputs for realistic programs.
I am a part of Aristotle
research group, where I work with two great advisors Prof. Mary Jean Harrold
and Prof. Alex Orso.
I have been fortunate enough to also work 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.
Publications
PhD work:
- 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.
- 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.
- 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.
- 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.
- 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.
- 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)
Earlier Work:
- CPL: A Language for Programming Chart Patterns(Summary, Introduction)
Saswat Anand
Master's thesis, National Univ. of Singapore, 2003.
- Lazy Divide & Conquer Constraint Solving
Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo
IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2002.
- Charting Patterns on Price History
Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo
ACM SIGPLAN International Conference in Functional Programming (ICFP), 2001.
- Efficient Interpretation of s-CPL
Saswat Anand, Siau-Cheng Khoo.
Asian Symposium on Programming Languages and Systems (APLAS), 2001.
- Forecasting S&P500: A comparison between MLP and functional ANN
Saswat Anand, B. Majhi
International conference in Advanced Computing (ADCOMP), 1999.
|