Suzette Person's Publications
2014
- L. Zhang, G. Yang, N. Rungta, S. Person, S. Khurshid, "Feedback-Driven Dynamic Invariant Discovery"
International Symposium on Software Testing and Analysis 2014, pp. 362-372.
- Y. Wang, S. Person, S. Elbaum, M. Dwyer, "A Framework to Advise Test Using Tests"
International Conference on Software Engineering 2014 (NIER Track), pp. 440-443.
- A. Sarma, S. Person, N. Rungta, J. Branchaud, M. Dwyer, "Development Context Driven Change Awareness and Analysis Framework"
International Conference on Software Engineering 2014 (NIER Track), pp. 404-407.
- G. Yang, S. Kurshid, S. Person, N. Rungta, "Property Differencing for Incremental Checking"
International Conference on Software Engineering 2014, pp. 1059-1070.
- G. Yang, S. Person, N. Rungta, S. Khurshid, "Directed Incremental Symbolic Execution"
ACM Transactions on Software Engineering and Methodology (TOSEM), Vol. 24, No. 1, Article 3, Sept. 2014.
- N. Rungta, O. Tkachuk, S. Person, J. Biatek, M. Whalen, J. Castle, K. Gundy-Burlet, "Helping System Engineers Bridge the Peaks"
Fourth International Workshop on the Twin Peaks of Requirements and Architecture, pp. 9-13.
2013
- B. Hillery, E. Mercer, N. Rungta, S. Person, "Towards a Lazier Symbolic Pathfinder"
Java PathFinder Workshop, Nov. 2013.
- L. Zhang, G. Yang, N. Rungta, S. Person, S. Khurshid, "Invariant Discovery Guided by Symbolic Execution"
Java PathFinder Workshop, Nov. 2013.
- B.Ray, M. Kim, S. Person, N. Rungta, "Detecting and Characterizing Semantic Inconsistencies in Ported Code"
Automated Software Engineering, Nov. 2013.
- J. Backes, S. Person, N. Rungta, O. Tkachuk, "Regression Verification using Impact Summaries"
International SPIN Symposium on Model Checking Software, July 2013.
- S. Person, N. Rungta, "Maintaining the Health of Software Monitors"
Innovations in Systems and Software Engineering Journal, Special Issue on
Software Health Management, Vol. 9, Issue 4(2013), pp. 257-269.
2012
- E. Mercer, S. Person, N. Rungta,
"Computing and Visualizing the Impact of Change with Java PathFinder Extensions"
Java PathFinder Workshop, Nov. 2012.
- 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.
2011
- 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.
2010 and Prior
- 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.
![[*]](/images/exlink.gif)
identifies links that are outside
the NASA domain
NASA Official: César Muñoz
Web Curator: Ray Meyer
+ Contact NASA Langley
+ Contact NASA
Last Updated: January 14, 2013