dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Karen Gundy-Burlet Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregory Gay, Tim Menzies, Misty Davies, Karen Gundy-Burlet: Automatically finding the control variables for complex system behavior. Autom. Softw. Eng. 17(4): 439-468 (2010)
2008
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohann Schumann, Karen Gundy-Burlet, Corina S. Pasareanu, Tim Menzies, Tony Barrett: Tool Support for Parametric Analysis of Large Software Simulation Systems. ASE 2008: 497-498
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCorina 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

Coauthor Index

1Tony Barrett [2]
2David H. Bushnell [1]
3Misty Davies [3]
4Gregory Gay [3]
5Michael R. Lowry [1]
6Peter C. Mehlitz [1]
7Tim Menzies [2] [3]
8Mark Pape [1]
9Corina S. Pasareanu [1] [2]
10Suzette Person [1]
11Johann Schumann [2]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page