Suzette Person

Publication Activity (10 Years)

Years Active: 1996-2022
Publications (10 Years): 3

Top Topics

Powerpoint Slides

Symbolic Execution

Software Engineering Education

Top Venues

ACM SIGSOFT Softw. Eng. Notes

Publications

Ethan Bütt, Suzette Person, Christopher Bohn
Student-Sponsored Projects in a Capstone Course : Reflections and Lessons Learned. ICSE (SEET) (2022)
Colin Maly, Suzette Person, Leen-Kiat Soh
SE-First: A New Approach to Software Engineering Education. FIE (2021)
Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person
Exact Heap Summaries for Symbolic Execution. VMCAI (2016)
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)
Rody Kersten, Suzette Person, Neha Rungta, Oksana Tkachuk
Improving Coverage of Test Cases Generated by Symbolic PathFinder for Programs with Loops. ACM SIGSOFT Softw. Eng. Notes 40 (1) (2015)
Matias Waterloo, Suzette Person, Sebastian G. Elbaum
Test Analysis: Searching for Faults in Tests (N). ASE (2015)
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)
Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, Sarfraz Khurshid
Feedback-driven dynamic invariant discovery. ISSTA (2014)
Guowei Yang, Suzette Person, Neha Rungta, Sarfraz Khurshid
Directed Incremental Symbolic Execution. ACM Trans. Softw. Eng. Methodol. 24 (1) (2014)
Guowei Yang, Sarfraz Khurshid, Suzette Person, Neha Rungta
Property differencing for incremental checking. ICSE (2014)
Anita Sarma, Joshua Branchaud, Matthew B. Dwyer, Suzette Person, Neha Rungta
Development context driven change awareness and analysis framework. ICSE Companion (2014)
Neha Rungta, Oksana Tkachuk, Suzette Person, Jason Biatek, Michael W. Whalen, Joseph Castle, Karen Gundy-Burlet
Helping system engineers bridge the peaks. TwinPeaks (2014)
Yurong Wang, Suzette Person, Sebastian G. Elbaum, Matthew B. Dwyer
A framework to advise tests using tests. ICSE Companion (2014)
Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person
Towards a lazier symbolic pathfinder. ACM SIGSOFT Softw. Eng. Notes 39 (1) (2014)
Suzette Person, Neha Rungta
Maintaining the health of software monitors. Innov. Syst. Softw. Eng. 9 (4) (2013)
Baishakhi Ray, Miryung Kim, Suzette Person, Neha Rungta
Detecting and characterizing semantic inconsistencies in ported code. ASE (2013)
John D. Backes, Suzette Person, Neha Rungta, Oksana Tkachuk
Regression Verification Using Impact Summaries. SPIN (2013)
Neha Rungta, Suzette Person, Joshua Branchaud
A change impact analysis to characterize evolving program behaviors. ICSM (2012)
Eric Mercer, Suzette Person, Neha Rungta
Computing and visualizing the impact of change with Java PathFinder extensions. ACM SIGSOFT Softw. Eng. Notes 37 (6) (2012)
Suzette Person, Guowei Yang, Neha Rungta, Sarfraz Khurshid
Directed incremental symbolic execution. PLDI (2011)
Matthew B. Dwyer, Rahul Purandare, Suzette Person
Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis? RV (2010)
Suzette Person, Matthew B. Dwyer
Generalized Abstract Symbolic Summaries for Differencing Heap-manipulating Programs. NASA Formal Methods (2009)
Suzette Person, Matthew B. Dwyer, Sebastian G. Elbaum, Corina S. Pasareanu
Differential symbolic execution. SIGSOFT FSE (2008)
Corina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape
Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. ISSTA (2008)
Matthew B. Dwyer, Sebastian G. Elbaum, Suzette Person, Rahul Purandare
Parallel Randomized State-Space Search. ICSE (2007)
Sebastian G. Elbaum, Suzette Person, Jonathan Dokulil, Matthew Jorde
Bug Hunt: Making Early Software Testing Lessons Engaging and Affordable. ICSE (2007)
Matthew B. Dwyer, Suzette Person, Sebastian G. Elbaum
Controlling factors in evaluating path-sensitive error detection techniques. SIGSOFT FSE (2006)
Leen-Kiat Soh, Ashok Samal, Suzette Person, Gwen Nugent, Jeff Lang
Designing, implementing, and analyzing a placement test for introductory CS courses. SIGCSE (2005)
Gwen Nugent, Leen-Kiat Soh, Ashok Samal, Suzette Person, Jeff Lang
Design, development, and validation of a learning object for CS1. ITiCSE (2005)
Leen-Kiat Soh, Ashok Samal, Suzette Person, Gwen Nugent, Jeff Lang
Closed laboratories with embedded instructional research design for CS1. SIGCSE (2005)
Leen-Kiat Soh, Ashok Samal, Suzette Person, Gwen Nugent, Jeff Lang
Analyzing relationships between closed labs and course activities in CS1. ITiCSE (2005)
Todd Blank, Leen-Kiat Soh, Lee Dee Miller, Suzette Person
Case-based learning mechanisms to deliver learning materials. ICMLA (2004)
Suzette Person
Book Reviews: What Every Software Manager MUST KNOW TO SUCCEED With Object Technology, John Williams. ACM SIGSOFT Softw. Eng. Notes 22 (1) (1997)
Suzette Person
Book Review: The Object Primer. ACM SIGSOFT Softw. Eng. Notes 21 (4) (1996)