Suzette Person Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eric Mercer, Suzette Person, Neha Rungta: Computing and visualizing the impact of change with Java PathFinder extensions. ACM SIGSOFT Software Engineering Notes 37(6): 1-5 (2012)
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Neha Rungta, Suzette Person, Joshua Branchaud: A change impact analysis to characterize evolving program behaviors. ICSM 2012: 109-118
e1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alwyn Goodloe, Suzette Person (Eds.): NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Lecture Notes in Computer Science 7226, Springer 2012, isbn 978-3-642-28890-6
2011
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Suzette Person, Guowei Yang, Neha Rungta, Sarfraz Khurshid: Directed incremental symbolic execution. PLDI 2011: 504-515
2010
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Matthew B. Dwyer, Rahul Purandare, Suzette Person: Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis? RV 2010: 36-50
2009
c11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Suzette Person, Matthew B. Dwyer: Generalized Abstract Symbolic Summaries for Differencing Heap-manipulating Programs. NASA Formal Methods 2009: 46-55
2008
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Suzette Person, Matthew B. Dwyer, Sebastian G. Elbaum, Corina S. Pasareanu: Differential symbolic execution. SIGSOFT FSE 2008: 226-237
2007
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Matthew B. Dwyer, Sebastian G. Elbaum, Suzette Person, Rahul Purandare: Parallel Randomized State-Space Search. ICSE 2007: 3-12
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sebastian G. Elbaum, Suzette Person, Jonathan Dokulil, Matthew Jorde: Bug Hunt: Making Early Software Testing Lessons Engaging and Affordable. ICSE 2007: 688-697
2006
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Matthew B. Dwyer, Suzette Person, Sebastian G. Elbaum: Controlling factors in evaluating path-sensitive error detection techniques. SIGSOFT FSE 2006: 92-104
2005
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Gwen Nugent, Leen-Kiat Soh, Ashok Samal, Suzette Person, Jeff Lang: Design, development, and validation of a learning object for CS1. ITiCSE 2005: 370
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Leen-Kiat Soh, Ashok Samal, Suzette Person, Gwen Nugent, Jeff Lang: Closed laboratories with embedded instructional research design for CS1. SIGCSE 2005: 297-301
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
2004
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Todd Blank, Leen-Kiat Soh, Lee Dee Miller, Suzette Person: Case-based learning mechanisms to deliver learning materials. ICMLA 2004: 423-428

Coauthor Index

1Todd Blank
[c1]
2Joshua Branchaud
[c14]
3David H. Bushnell
[c10]
4Jonathan Dokulil
[c7]
5Matthew B. Dwyer
[c12] [c11] [c9] [c8] [c6]
6Sebastian G. Elbaum
[c9] [c8] [c7] [c6]
7Alwyn Goodloe
[e1]
8Karen Gundy-Burlet
[c10]
9Matthew Jorde
[c7]
10Sarfraz Khurshid
[c13]
11Jeff Lang
[c5] [c4] [c3] [c2]
12Michael R. Lowry
[c10]
13Peter C. Mehlitz
[c10]
14Eric Mercer (Eric G. Mercer)
[j1]
15Lee Dee Miller
[c1]
16Gwen Nugent
[c5] [c4] [c3] [c2]
17Mark Pape
[c10]
18Corina S. Pasareanu
[c10] [c9]
19Rahul Purandare
[c12] [c8]
20Neha Rungta
[j1] [c14] [c13]
21Ashok Samal
[c5] [c4] [c3] [c2]
22Leen-Kiat Soh
[c5] [c4] [c3] [c2] [c1]
23Guowei Yang
[c13]

Colors in the list of coauthors

Last update Sun May 26 10:41:21 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page