Search results for "Suzette Person"

Found 13 publication records. Showing 13 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Alwyn Goodloe, Suzette Person (eds.)	NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
1	Suzette Person, Guowei Yang, Neha Rungta, Sarfraz Khurshid	Directed incremental symbolic execution.	PLDI	2011	DBLP DOI BibTeX RDF
1	Matthew B. Dwyer, Rahul Purandare, Suzette Person	Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis?	RV	2010	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	unit testing, symbolic execution, software model checking, system testing
1	Suzette Person, Matthew B. Dwyer, Sebastian G. Elbaum, Corina S. Pasareanu	Differential symbolic execution.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	program differencing, software evolution, symbolic execution
1	Sebastian G. Elbaum, Suzette Person, Jonathan Dokulil, Matthew Jorde	Bug Hunt: Making Early Software Testing Lessons Engaging and Affordable.	ICSE	2007	DBLP DOI BibTeX RDF	Software Testing Education, Web-based Tutorial
1	Matthew B. Dwyer, Sebastian G. Elbaum, Suzette Person, Rahul Purandare	Parallel Randomized State-Space Search.	ICSE	2007	DBLP DOI BibTeX RDF
1	Matthew B. Dwyer, Suzette Person, Sebastian G. Elbaum	Controlling factors in evaluating path-sensitive error detection techniques.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	model checking, empirical study, path-sensitive analysis
1	Gwen Nugent, Leen-Kiat Soh, Ashok Samal, Suzette Person, Jeff Lang	Design, development, and validation of a learning object for CS1.	ITiCSE	2005	DBLP DOI BibTeX RDF	multimedia, learning objects, SCORM, experimental research, web-based techniques, qualitative evaluation
1	Leen-Kiat Soh, Ashok Samal, Suzette Person, Gwen Nugent, Jeff Lang	Analyzing relationships between closed labs and course activities in CS1.	ITiCSE	2005	DBLP DOI BibTeX RDF	instructional design, closed laboratories
1	Leen-Kiat Soh, Ashok Samal, Suzette Person, Gwen Nugent, Jeff Lang	Designing, implementing, and analyzing a placement test for introductory CS courses.	SIGCSE	2005	DBLP DOI BibTeX RDF	placement examination, Bloom's taxonomy
1	Leen-Kiat Soh, Ashok Samal, Suzette Person, Gwen Nugent, Jeff Lang	Closed laboratories with embedded instructional research design for CS1.	SIGCSE	2005	DBLP DOI BibTeX RDF	cooperative learning, instructional design, closed laboratories
1	Todd Blank, Leen-Kiat Soh, Lee Dee Miller, Suzette Person	Case-based learning mechanisms to deliver learning materials.	ICMLA	2004	DBLP BibTeX RDF

Publications of "Suzette Person" ( http://dblp.L3S.de/Authors/Suzette_Person )