2008 |
9 | EE | 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: 15-26 |
8 | EE | Suzette Person,
Matthew B. Dwyer,
Sebastian G. Elbaum,
Corina S. Pasareanu:
Differential symbolic execution.
SIGSOFT FSE 2008: 226-237 |
2007 |
7 | EE | Matthew B. Dwyer,
Sebastian G. Elbaum,
Suzette Person,
Rahul Purandare:
Parallel Randomized State-Space Search.
ICSE 2007: 3-12 |
6 | EE | Sebastian G. Elbaum,
Suzette Person,
Jonathan Dokulil,
Matthew Jorde:
Bug Hunt: Making Early Software Testing Lessons Engaging and Affordable.
ICSE 2007: 688-697 |
2006 |
5 | EE | Matthew B. Dwyer,
Suzette Person,
Sebastian G. Elbaum:
Controlling factors in evaluating path-sensitive error detection techniques.
SIGSOFT FSE 2006: 92-104 |
2005 |
4 | EE | Leen-Kiat Soh,
Ashok Samal,
Suzette Person,
Gwen Nugent,
Jeff Lang:
Analyzing relationships between closed labs and course activities in CS1.
ITiCSE 2005: 183-187 |
3 | EE | Gwen Nugent,
Leen-Kiat Soh,
Ashok Samal,
Suzette Person,
Jeff Lang:
Design, development, and validation of a learning object for CS1.
ITiCSE 2005: 370 |
2 | EE | Leen-Kiat Soh,
Ashok Samal,
Suzette Person,
Gwen Nugent,
Jeff Lang:
Closed laboratories with embedded instructional research design for CS1.
SIGCSE 2005: 297-301 |
1 | EE | Leen-Kiat Soh,
Ashok Samal,
Suzette Person,
Gwen Nugent,
Jeff Lang:
Designing, implementing, and analyzing a placement test for introductory CS courses.
SIGCSE 2005: 505-509 |