Saswat Anand

PhD Student
College of Computing
Georgia Institute of Technology
Saswat Anand


I believe that it is possible to scale automatic test-input generation techniques to large, realistic programs. My research involves developing algorithms and tools to achieve this goal. In particular, I am interested in how light-weight program analysis techniques can be combined with heavy-weight symbolic execution for efficient generation of test-inputs.

I am a part of Aristotle research group, where I work with two great advisors Prof. Mary Jean Harrold and Prof. Alex Orso.

Last summer I worked at Microsoft Research on Pex project with Patrice Godefroid and Nikolai Tillmann. In summers of 2005 and 2006, I worked at NASA Ames Research Center on symbolic execution framework of Java Pathfinder with Willem Visser and Corina Pasareanu.

Before coming to Georgia Tech, 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.

Please see my publications for more details on my research.



Some readings that I found very interesting: