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:
|
