NASA Logo, National Aeronautics and Space Administration

Neha Rungta, Ph.D.

I am a researcher at the Robust Software Engineering group at the NASA Ames Research Center in California. I graduated with my PhD from Brigham Young University in the Computer Science department.

Recent papers:

  • C. Pasareanu, N. Rungta, and W. Visser, Symbolic Execution with Mixed Concrete-Symbolic Solving In International Symposium on Software Testing and Analysis (ISSTA), July 2011 (To Appear).
  • S. Person, G. Yang, N. Rungta, and S. Khurshid, Directed Incremental Symbolic Execution In 32nd ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI), June 2011 (To Appear).
  • T. Fischer, E. Mercer, and N. Rungta, Symbolically Modeling Concurrent MCAPI Executions In 16th ACM SIGPLAN Annual Symposium on Principles and Practices of Parallel Programming, San Antonio, Texas, February 2011.

My research on guided test provides a potentially scalable systematic verification technique that uses information derived automatically from the source of the programs to intelligently test parts of the behavior space that are more likely to contain an error. The algorithm is an abstraction refinement technique that uses as input potential errors generated by imprecise, but scalable, static analyses. The symbolic execution is then guided through the program to check the feasibility of the error. A class of heuristics and stochastic methods have been developed to improve the rate of error discovery by the guided symbolic execution technique. The guided test is implemented within the Java Pathfinder (JPF) model checker .

Portrait

Contact

Address:
MS 269 - 1

Bldg 269 Room 230
NASA Ames Research Center
Moffett Field CA 94035

Email:
neha.s.rungta "at" nasa.gov

Links :

+ Brigham Young University
+ BYU CS Department
+ Blog

+ NASA Ames
+ TI Home Page
+ RSE Homepage
+ NASA Home Page

First Gov logo
NASA Logo - nasa.gov