Suzette Person

According to our database, Suzette Person authored at least 33 papers between 1996 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Student-Sponsored Projects in a Capstone Course : Reflections and Lessons Learned.

Ethan Bütt, Suzette Person, Christopher Bohn

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training, 2022

2021

SE-First: A New Approach to Software Engineering Education.

Colin Maly, Suzette Person, Leen-Kiat Soh

Proceedings of the IEEE Frontiers in Education Conference, 2021

2016

Exact Heap Summaries for Symbolic Execution.

Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

2015

Improving Coverage of Test Cases Generated by Symbolic PathFinder for Programs with Loops.

Rody Kersten, Suzette Person, Neha Rungta, Oksana Tkachuk

ACM SIGSOFT Softw. Eng. Notes, 2015

Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites.

Anitha Murugesan, Michael W. Whalen, Neha Rungta, Oksana Tkachuk, Suzette Person, Mats Per Erik Heimdahl, Dongjiang You

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Test Analysis: Searching for Faults in Tests (N).

Matias Waterloo, Suzette Person, Sebastian G. Elbaum

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage Metrics.

Michael W. Whalen, Suzette Person, Neha Rungta, Matt Staats, Daniela Grijincu

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

Directed Incremental Symbolic Execution.

Guowei Yang, Suzette Person, Neha Rungta, Sarfraz Khurshid

ACM Trans. Softw. Eng. Methodol., 2014

Towards a lazier symbolic pathfinder.

Benjamin Hillery, Eric Mercer, Neha Rungta, Suzette Person

ACM SIGSOFT Softw. Eng. Notes, 2014

Feedback-driven dynamic invariant discovery.

Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, Sarfraz Khurshid

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Property differencing for incremental checking.

Guowei Yang, Sarfraz Khurshid, Suzette Person, Neha Rungta

Proceedings of the 36th International Conference on Software Engineering, 2014

A framework to advise tests using tests.

Yurong Wang, Suzette Person, Sebastian G. Elbaum, Matthew B. Dwyer

Proceedings of the 36th International Conference on Software Engineering, 2014

Development context driven change awareness and analysis framework.

Anita Sarma, Joshua Branchaud, Matthew B. Dwyer, Suzette Person, Neha Rungta

Proceedings of the 36th International Conference on Software Engineering, 2014

Helping system engineers bridge the peaks.

Neha Rungta, Oksana Tkachuk, Suzette Person, Jason Biatek, Michael W. Whalen, Joseph Castle, Karen Gundy-Burlet

Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture, 2014

2013

Maintaining the health of software monitors.

Suzette Person, Neha Rungta

Innov. Syst. Softw. Eng., 2013

Regression Verification Using Impact Summaries.

John D. Backes, Suzette Person, Neha Rungta, Oksana Tkachuk

Proceedings of the Model Checking Software - 20th International Symposium, 2013

Detecting and characterizing semantic inconsistencies in ported code.

Baishakhi Ray, Miryung Kim, Suzette Person, Neha Rungta

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

2012

Computing and visualizing the impact of change with Java PathFinder extensions.

Eric Mercer, Suzette Person, Neha Rungta

ACM SIGSOFT Softw. Eng. Notes, 2012

A change impact analysis to characterize evolving program behaviors.

Neha Rungta, Suzette Person, Joshua Branchaud

Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

2010

Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis?

Matthew B. Dwyer, Rahul Purandare, Suzette Person

Proceedings of the Runtime Verification - First International Conference, 2010

2009

Generalized Abstract Symbolic Summaries for Differencing Heap-manipulating Programs.

Suzette Person, Matthew B. Dwyer

Proceedings of the First NASA Formal Methods Symposium, 2009

2008

Differential symbolic execution.

Suzette Person, Matthew B. Dwyer, Sebastian G. Elbaum, Corina S. Pasareanu

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Combining unit-level symbolic execution and system-level concrete execution for testing NASA software.

Corina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

2007

Bug Hunt: Making Early Software Testing Lessons Engaging and Affordable.

Sebastian G. Elbaum, Suzette Person, Jonathan Dokulil, Matthew Jorde

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Parallel Randomized State-Space Search.

Matthew B. Dwyer, Sebastian G. Elbaum, Suzette Person, Rahul Purandare

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006

Controlling factors in evaluating path-sensitive error detection techniques.

Matthew B. Dwyer, Suzette Person, Sebastian G. Elbaum

Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

2005

Designing, implementing, and analyzing a placement test for introductory CS courses.

Leen-Kiat Soh, Ashok Samal, Suzette Person, Gwen Nugent, Jeff Lang

Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

Closed laboratories with embedded instructional research design for CS1.

Leen-Kiat Soh, Ashok Samal, Suzette Person, Gwen Nugent, Jeff Lang

Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

Analyzing relationships between closed labs and course activities in CS1.

Leen-Kiat Soh, Ashok Samal, Suzette Person, Gwen Nugent, Jeff Lang

Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2005

Design, development, and validation of a learning object for CS1.

Gwen Nugent, Leen-Kiat Soh, Ashok Samal, Suzette Person, Jeff Lang

Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2005

2004

Case-based learning mechanisms to deliver learning materials.

Todd Blank, Leen-Kiat Soh, Lee Dee Miller, Suzette Person

Proceedings of the 2004 International Conference on Machine Learning and Applications, 2004

1997

Book Reviews: What Every Software Manager MUST KNOW TO SUCCEED With Object Technology, John Williams.

Suzette Person

ACM SIGSOFT Softw. Eng. Notes, 1997

1996

Book Review: The Object Primer.

Suzette Person

ACM SIGSOFT Softw. Eng. Notes, 1996