Search results for "Michael W. Whalen"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	David Hardin, Konrad Slind, Michael W. Whalen, Tuan-Hung Pham	The Guardol Language and Verification System.	TACAS	2012	DBLP DOI BibTeX RDF
1	Matt Staats, Gregory Gay, Michael W. Whalen, Mats Per Erik Heimdahl	On the Danger of Coverage Directed Test Case Generation.	FASE	2012	DBLP DOI BibTeX RDF
1	Darren D. Cofer, Andrew Gacek, Steven P. Miller, Michael W. Whalen, Brian LaValley, Lui Sha	Compositional Verification of Architectural Models.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
1	Daniel Balasubramanian, Corina S. Pasareanu, Jason Biatek, Thomas Pressburger, Gabor Karsai, Michael R. Lowry, Michael W. Whalen	Integrating Statechart Components in Polyglot.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
1	Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry	Polyglot: modeling and analysis for multiple Statechart formalisms.	ISSTA	2011	DBLP DOI BibTeX RDF
1	Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl	Programs, tests, and oracles: the foundations of testing revisited.	ICSE	2011	DBLP DOI BibTeX RDF
1	Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl	Better testing through oracle selection.	ICSE	2011	DBLP DOI BibTeX RDF
1	Steven P. Miller, Michael W. Whalen, Darren D. Cofer	Software model checking takes off.	Commun. ACM	2010	DBLP DOI BibTeX RDF
1	Michael W. Whalen, Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser	FITE: future integrated testing environment.	FoSER	2010	DBLP DOI BibTeX RDF
1	David Hardin, T. Douglas Hiratzka, D. Randolph Johnson, Lucas Wagner, Michael W. Whalen	Development of Security Software: A High Assurance Methodology.	ICFEM	2009	DBLP DOI BibTeX RDF
1	Darren D. Cofer, Michael W. Whalen, Steven P. Miller	Model-Checking of Safety-Critical Software for Avionics.	ERCIM News	2008	DBLP BibTeX RDF
1	Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl	Requirements Coverage as an Adequacy Measure for Conformance Testing.	ICFEM	2008	DBLP DOI BibTeX RDF
1	Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl	The effect of program and model structure on mc/dc test adequacy coverage.	ICSE	2008	DBLP DOI BibTeX RDF	structural coverage metrics
1	Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl	Model Validation using Automatically Generated Requirements-Based Tests.	HASE	2007	DBLP DOI BibTeX RDF
1	Michael W. Whalen, Darren D. Cofer, Steven P. Miller, Bruce H. Krogh, Walter Storm	Integration of Formal Analysis into a Model-Based Software Development Process.	FMICS	2007	DBLP DOI BibTeX RDF	Model checking, software verification, Model-based development, Flight control
1	Steven P. Miller, Alan C. Tribble, Michael W. Whalen, Mats Per Erik Heimdahl	Proving the shalls.	STTT	2006	DBLP DOI BibTeX RDF	Formal verification, Software requirements, Model-based development
1	Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller	Coverage metrics for requirements-based testing.	ISSTA	2006	DBLP DOI BibTeX RDF
1	Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen	Deviation Analysis: A New Use of Model Checking.	Autom. Softw. Eng.	2005	DBLP DOI BibTeX RDF	model checking, robustness, deviation analysis
1	Johann Schumann, Bernd Fischer 0002, Michael W. Whalen, Jon Whittle	Certification Support for Automatically Generated Programs. (PDF / PS)	HICSS	2003	DBLP DOI BibTeX RDF
1	Mats Per Erik Heimdahl, Michael W. Whalen, Jeffrey M. Thompson	NIMBUS: A Tool for Specification Centered Development. (PDF / PS)	RE	2003	DBLP DOI BibTeX RDF
1	Michael W. Whalen, Johann Schumann, Bernd Fischer 0002	AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description.	CADE	2002	DBLP DOI BibTeX RDF
1	Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen	Deviation Analysis Through Model Checking.	ASE	2002	DBLP DOI BibTeX RDF
1	Michael W. Whalen, Johann Schumann, Bernd Fischer 0002	Synthesizing Certified Code.	FME	2002	DBLP DOI BibTeX RDF	automatic program synthesis, code certification, program verification, automated theorem proving, proof-carrying code
1	Jeffrey M. Thompson, Michael W. Whalen, Mats Per Erik Heimdahl	Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study.	J. UCS	2000	DBLP BibTeX RDF
1	Michael W. Whalen	High-integrity code generation for state-based formalisms.	ICSE	2000	DBLP DOI BibTeX RDF	correctness preserving code generation, formal methods, code optimization
1	Michael W. Whalen, Mats Per Erik Heimdahl	An Approach to Automatic Code Generation for Safety-Critical Systems. (PDF / PS)	ASE	1999	DBLP DOI BibTeX RDF
1	Michael W. Whalen, Mats Per Erik Heimdahl	On the Requirements of High-Integrity Code Generation. (PDF / PS)	HASE	1999	DBLP DOI BibTeX RDF	formal methods, code generation, critical systems
1	Mats Per Erik Heimdahl, Jeffrey M. Thompson, Michael W. Whalen	On the Effectiveness of Slicing Hierarchical State Machines: A Case Study.	EUROMICRO	1998	DBLP DOI BibTeX RDF
1	Mats Per Erik Heimdahl, Michael W. Whalen	Reduction and Slicing of Hierarchical State Machines.	ESEC / SIGSOFT FSE	1997	DBLP DOI BibTeX RDF
1	Paul D. Gader, Michael W. Whalen, Margaret Ganzberger, Dan Hepp	Handprinted word recognition on a NIST data set.	Mach. Vis. Appl.	1995	DBLP DOI BibTeX RDF
1	Paul D. Gader, Brian Forester, Margaret Ganzberger, Andrew M. Gillies, Brian T. Mitchell, Michael W. Whalen, Todd Yocum	Recognition of handwritten digits using template and model matching.	Pattern Recognition	1991	DBLP DOI BibTeX RDF

Publications of "Michael W. Whalen" ( http://dblp.L3S.de/Authors/Michael_W._Whalen )