NASA Logo, National Aeronautics and Space Administration


Neha Rungta, Oksana Tkachuk: 2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014. ACM 2014.

Guillaume Brat, Neha Rungta, Arnaud Venet: NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings. Lecture Notes in Computer Science 7871, Springer 2013, ISBN 978-3-642-38087-7



Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person: Exact Heap Summaries for Symbolic Execution. VMCAI 2016: 206-225 2015

Neha Rungta, Eric G. Mercer, Franco Raimondi, Bjorn C. Krantz, Richard Stocker, Andrew Wallace: Modeling complex air traffic management systems . MiSE@ICSE 2016: 41-47

Eric Mercer, Neha Rungta, Douglas J. Gillan Guest Editorial Special Issue on Systematic Approaches to Human-Machine Interface: Improving Resilience, Robustness, and Stability . IEEE Trans. Human-Machine Systems 46(2): 169-173 (2016)


Richard Stocker, Neha Rungta, Eric Mercer, Franco Raimondi, Jon Holbrook, Colleen Cardoza, Michael A. Goodrich: An Approach to Quantify Workload in a System of Agents. AAMAS 2015: 1041-1050

Michael W. Whalen, Suzette Person, Neha Rungta, Matt Staats, Daniela Grijincu: A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage Metrics. ICSE (1) 2015: 506-516

Rody Kersten, Suzette Person, Neha Rungta, Oksana Tkachuk: Improving Coverage of Test Cases Generated by Symbolic PathFinder for Programs with Loops . ACM SIGSOFT Software Engineering Notes 40(1): 1-5 (2015)


Guowei Yang, Sarfraz Khurshid, Suzette Person, Neha Rungta: Property differencing for incremental checking . ICSE 2014: 1059-1070

Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, Sarfraz Khurshid: Feedback-driven dynamic invariant discovery . ISSTA 2014: 362-372

Anitha Murugesan, Michael W. Whalen, Neha Rungta, Oksana Tkachuk, Suzette Person, Mats Per Erik Heimdahl, Dongjiang You: Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites . NFM 2015: 279-294, 2014

Guowei Yang, Suzette Person, Neha Rungta, Sarfraz Khurshid: Directed Incremental Symbolic Execution . ACM Trans. Softw. Eng. Methodol. 24(1): 3:1-3:42 (2014)

Giuseppe Primiero, Franco Raimondi, Neha Rungta: Model checking degrees of belief in a system of agents . AAMAS 2014: 133-140

Neha Rungta, Oksana Tkachuk, Suzette Person, Jason Biatek, Michael W. Whalen, Joseph Castle, Karen Gundy-Burlet: Helping system engineers bridge the peaks . TwinPeaks 2014: 9-13

Anita Sarma, Joshua Branchaud, Matthew B. Dwyer, Suzette Person, Neha Rungta: Development context driven change awareness and analysis framework . ICSE Companion 2014: 404-407

Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person: Towards a lazier symbolic pathfinder . ACM SIGSOFT Software Engineering Notes 39(1): 1-5 (2014)

Eric Noonan, Eric Mercer, Neha Rungta: Vector-clock based partial order reduction for JPF . ACM SIGSOFT Software Engineering Notes 39(1): 1-5 (2014)

Manish Jain, Albert Xin Jiang, Takashi Kido, Keiki Takadama, Eric G. Mercer, Neha Rungta, Mark Waser, Alan Wagner, Jennifer L. Burke, Donald A. Sofge, William F. Lawless, Mohan Sridharan, Nick Hawes, Tim Hwang: Reports of the 2014 AAAI Spring Symposium Series. AI Magazine 35(3): 70-76 (2014)


Suzette Person, Neha Rungta: Maintaining the health of software monitors. ISSE 9(4): 257-269 (2013)

Peter C. Mehlitz, Neha Rungta, Willem Visser: A hands-on Java PathFinder tutorial. ICSE 2013: 1493-1495

Baishakhi Ray, Miryung Kim, Suzette Person, Neha Rungta: Detecting and characterizing semantic inconsistencies in ported code. ASE 2013: 367-377

J. Backes, S. Person, N. Rungta and O. Tkachuk. Regression Verification using Impact Summaries In International SPIN Symposium on Model Checking of Software, July 2013. Extended tech report

N. Rungta, G. Brat, W. Clancey, C. Linde, F. Raimondi, Chin S. and M. Shafto, Aviation Safety: Modeling and Analyzing Complex Interactions between Humans and Automated Systems , In International Conference on Application and Theory of Automation in Command and Control Systems (ATACCS), May 2013

J. Hunter, F. Raimondi, N. Rungta, R. Stocker, A Synergistic and Extensible Framework for Multi-Agent System Verification In International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), May 2013.

C. S. Pasareanu, W. Visser, D. Bushnell, J. Geldenhuys, P. Mehlitz, N. Rungta, Symbolic PathFinder: Integrating Symbolic Execution with Model Checking for Java bytecode analysis Automated Software Engineering Journal, 2013


N. Rungta, S. Person, J. Branchaud, A change impact analysis to characterize evolving program behaviors In International Conference on Software Maintenance (ICSM), Sept 2012.

E. Mercer, S. Person, N. Rungta, Computing and visualizing the impact of change with Java PathFinder extensions ACM SIGSOFT Software Engineering Notes 37(6): 1-5 (2012)


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.

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.

D. Giannakopoulou, N. Rungta, M. Feary, Automated test case generation for an autopilot requirement prototype IEEE International Conference on Systems, Man, and Cybernetics (SMC) 2011.

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.

S. Wesonga, Eric G. Mercer, N. Rungta, Guided test visualization: Making sense of errors in concurrent programs The Java PathFinder Workshop, ASE 2011.


C. Pasareanu and N. Rungta, Symbolic PathFinder: Symbolic Execution of Java Bytecode, Automated Software Engineering, Tool Demo, Antwerp, Beligum, October 2010

N. Rungta and E. Mercer, Slicing and Dicing Bugs in Concurrent programs, New Ideas and Emerging Results Track, International Conference on Software Engineering (ICSE), Cape Town, SA, May 2010.


N. Rungta and E. G. Mercer, Clash of the Titans: Tools and Techniques for Hunting Bugs in Concurrent Programs. Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD VII), Chicago, US, July 2009.

N. Rungta, E. G. Mercer, and W. Visser, Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution In Proceedings of SPIN Workshop on Model Checking of Software, Grenoble, France, June 2009.

N. Rungta and E. G. Mercer, Guided model checking for programs with polymorphism, In the Proceedings of ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM), Savannah, Georgia, USA, January 2009.


N. Rungta and E. G. Mercer, A meta heuristic for effectively detecting concurrency errors , in the Proceedings of Haifa Verification Conference 2008, Haifa, Israel, November 2008.


N. Rungta, H. Carroll, E. G. Mercer, R. Roper, M. Clement and Q. Snell, Analyzing Gene Relationships for Down Syndrome with Labeled Transition Graphs, in Proceedings of Formal Methods in Computer Aided Design (FMCAD), Austin, Texas, US, November 2007.

N. Rungta and E. G. Mercer, Hardness for Explicit State Software Model Checking Benchmarks, in Proceedings of the 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM), London, UK, pages247-256, September 2007.

N. Rungta and E. G. Mercer, Generating Counter-examples through Randomized Guided Search, in Proceedings of the SPIN Workshop on Model Checking of Software, Berlin, Germany, pages 39-57, July 2007.


N. Rungta and E. G. Mercer, An Improved Distance Heuristic Function for Directed Software Model Checking, in Proceedings of Formal Methods in Computer Aided Design (FMCAD), San Jose, USA, pages 60-67, November 2006.


N. Rungta and E. G. Mercer, A Context-sensitive Structural Heuristic for Guided Search Model Checking, in Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering(ASE), Long Beach, USA, pages 410-413, November 2005.


Neha S. Rungta, Guided Testing for Automatic Error Discovery in Concurrent Software, Brigham Young University, Department of Computer Science, Provo, UT, December 2009.

MS Thesis

Technical Reports



MS 269 - 1

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

neha.s.rungta "at"

Links :

+ Brigham Young University
+ BYU CS Department
+ Blog

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

First Gov logo
NASA Logo -