Suzette Person

35 papers A* 6A 4B 4C 2Journal 7Unranked 11

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