College of Computing
Georgia Institute of Technology
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.
Please see my homepage for detailed information.