Suzette Person

<first name>.<last name>@nasa.gov

+1 757 864 6408

I am a research computer scientist at NASA Langley Research Center, Hampton, VA. I received my PhD from the University of Nebraska-Lincoln where I was a member of the ESQuaReD Lab.

Publications

• E. Mercer, S. Person, N. Rungta, "Computing and Visualizing the Impact of Change with Java PathFinder Extensions" Java PathFinder Workshop, Nov. 2012, (to appear).
• N. Rungta, S. Person, J. Branchaud, "A Change-impact Analysis to Characterize Evolving Program Behaviors" in Proceedings of the 28th IEEE Conference on Software Maintenance (ICSM'12), Sept. 2012.
• R. Siminiceanu, P. Miner and S. Person, "A Methodology for Evaluating Artifacts Produced by a Formal Verification Process", Technical Publication, NASA/TM-2011-217193, November 2011.
• S. Person, G. Yang, N. Rungta and S. Khurshid, "Directed Incremental Symbolic Execution" in Proceedings of the 32nd ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI11), June 2011, pp. 504-515.
• M.Dwyer, R. Purandare and S. Person, "Runtime Verification in Context: Can Optimizing Error Detection Impove Fault Diagnosis?" in Proceedings of the first International Conference on Runtime Verification (RV10), November 2010, pp. 36-50.
• S.Person, M.Dwyer, "Generalized Abstract Symbolic Summaries" in Proceedings of the First NASA Formal Methods Symposium, April 2009, pp. 46-55.
• S.Person, M.Dwyer, S.Elbaum, and C.S.Pasareanu, "Differential Symbolic Execution" in Proceedings of the 16th ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE08), Atlanta, GA, November 10-13, 2008, pp.226-237.
• C.S.Pasareanu, P.C.Mehlitz, D.H.Bushnell, K.Gundy-Burlet, M.Lowry, S.Person, and M.Pape, "Combining Unit-level Symbolic Execution and System-level Concrete Execution for Testing NASA Software" in International Symposium on Software Testing and Analysis, July 2008, pp. 15-26.
• M.Dwyer, S.Elbaum, S.Person, and R. Purandare, "Parallel Randomized State-space Search," in Proceedings of the 29th International Conference on Software Engineering, May 2007, pp. 3-12.
• S.Elbaum, S.Person, J.Dokulil, and M.Jorde, "Bug Hunt: Making Early Software Testing Lessons Engaging and Affordable," in Proceedings of the 29th International Conference on Software Engineering, May 2007, pp. 688-697.
• M.Dwyer, S.Person, and S.Elbaum, "Controlling Factors in Evaluating Path-sensitive Error Detection Techniques," in Proceedings of the 14th ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE), Portland, OR, November 5-11, 2006, pp. 92-103. (ACM SIGSOFT Distinguished Paper)
• L.-K.Soh, A.Samal, S.Person, G.Nugent, and J.Lang, "Analyzing Relationships between Closed Labs and Course Activities in CS1," in Proceedings of the 10th annual SIGCSE Conference on Innovation and Technology in Computer Science Education (ITiCSE'05), Capacrica, Portugal, June 27-29, 2005, pp 183-187.
• L.-K.Soh, A.Samal, S.Person, G.Nugent, J.Lang, "Designing, Implementing and Analyzing a Placement Test for Introductory CS Courses," in Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education (SIGCSE'05), St. Louis, MO, February 23-27, 2005, pp. 505-509.
• L.-K.Soh, A.Samal, S.Person, G.Nugent, J.Lang, "Closed Laboratories with Embedded Instructional Research Design for CS1," in Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education (SIGCSE'05), St. Louis, MO, February 23-27, 2005, pp. 297-301.

Talks

• FSE 2008
• Dissertation Defense

Other Interesting Projects

• Java PathFinder
• Bug Hunt

Software Engineering Links

• Software Enginnering Quotes

Note: The tag identifies links that are outside of the NASA domain