Publications

2013

• 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 (To Appear). 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 (To Appear)
• 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 (To Appear).
• 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

2012

• 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)

2011

• 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.

2010

• 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.

2009

• 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.

2008

• 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.

2007

• 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.
  

2006

• 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.

2005

• 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.

MS Thesis

• Neha S. Rungta, Improving Error Discovery using Guided Search Model Checking, Brigham Young University, Department of Computer Science, Provo, UT, December 2006.

Technical Reports

• N. Rungta and E. G. Mercer, Hardness for Explicit State Software Model Checking Benchmarks, TR SMC-BYU-0107, Computer Science Department, Brigham Young University, 2007.
• N. Rungta and E. G. Mercer, A Context-sensitive Structural Heuristic for Guided Search Model Checking, Computer Science Department, Brigham Young University, 2005.

Other Reports

• N. Rungta and E. G. Mercer, Improving error discovery in guided search model checking, Prepared for BYUs Journal of Undergraduate Research (JUG), Physical and Math Sciences, 2004.

Presentations

Conference Presentations

• 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.
• Guided model checking for programs with polymorphism. ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM), Savannah, January 2009.
• Analyzing Gene Relationships for Down Syndrome with Labeled Transition Graphs. Formal Methods in Computer Aided Design, Austin, US, November 2007.
• An Improved Distance Heuristic Function for Directed Software Model Checking. Formal Methods in Computer Aided Design, San Jose, US, November 2006.
• A Context-sensitive Structural Heuristic for Guided Search Model Checking. 20th IEEE/ACM International Conference on Automated Software Engineering, Long Beach, CA, US, November 2005.

Workshop Presentations

• Hardness in Explicit State Software Model Checking Benchmarks. Third Utah Regional Verification Workshop, Utah State University, Logan, Utah, August 2007.
• Guided Model Checking. Second Utah Regional Verification Workshop, Brigham Young University, Provo, Utah, May 2005.

Other presentations

• Guided Testing using Abstraction-Guided Symbolic Execution. NASA Ames Research Center, Moffet Field, California, USA. June 2009.
• Abstraction-Guided Symbolic Execution. Microsoft Research, Redmond, Feb 2009.
• Verifying Embedded Systems using Guided Model Checking. BYU-Nokia Seminar, Nokia Research Center, Dallas, Texas, March 2006.
• Combining Dynamic Information with Static Analysis in Structural Heuristics. National Aeronautical and Space Administration (NASA) Ames Research Center, Moffett Field, California, USA, March 2005.
• 19th, 20th, 21st, and 22nd Annual Spring Research Conference, College of Physical and Mathematical Science, Brigham Young University. Best presenter award for years: 2005, 2006, 2007, and 2008.