BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Germany
1 × Ireland
1 × Italy
1 × Russia
1 × Switzerland
1 × United Kingdom
2 × Denmark
2 × Estonia
7 × USA
Collaborated with:
M.P.E.Heimdahl M.Staats T.Pham A.Gacek K.Slind J.Schumann B.Fischer A.Rajan E.Ghassabani D.S.Hardin G.Gay J.M.Thompson Y.Choi A.Murugesan S.Rayadurgam S.P.Miller S.Person N.Rungta D.Grijincu J.Backes D.D.Cofer D.You D.Balasubramanian C.S.Pasareanu G.Karsai M.R.Lowry L.G.Wagner
Talks about:
coverag (6) model (6) test (6) generat (4) system (4) formal (4) code (4) base (4) program (3) analysi (3)

♂ Person: Michael W. Whalen

DBLP DBLP: Whalen:Michael_W=

Facilitated 13 volumes:

ASE 2014PrCo
MoDELS 2014PrCo
SLE 2014PrCo
MoDELS 2013PrCo
ASE 2012DemoTrackPrCo
ASE 2012PrCo
ASE 2012ToCo
MoDELS 2012PrCo
ASE 2011PrCo
SLE 2008PrCo
MoDELS 2016PracticalTrackPrCo

Contributed to:

ICSE 20152015
HILT 20142014
ESEC/FSE 20132013
HILT 20132013
ICSE 20132013
FASE 20122012
HILT 20122012
TACAS 20122012
ICSE 20112011
ISSTA 20112011
ICSE 20082008
ISSTA 20062006
RE 20032003
ASE 20022002
CADE 20022002
FME 20022002
ICSE 20002000
ASE 19991999
ESEC/FSE 19971997
FSE 20162016
ASE 20172017

Wrote 23 papers:

ICSE-v1-2015-WhalenPRSG #approach #flexibility #metric
A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage Metrics (MWW, SP, NR, MS, DG), pp. 506–516.
HILT-2014-GacekBCSW #architecture #assurance #modelling #named
Resolute: an assurance case language for architecture models (AG, JB, DDC, KS, MWW), pp. 19–28.
ESEC-FSE-2013-PhamW #abstraction #algebra #data type #named #reasoning
RADA: a tool for reasoning about algebraic data types with abstractions (THP, MWW), pp. 611–614.
HILT-2013-MurugesanWRH #composition #verification
Compositional verification of a medical device system (AM, MWW, SR, MPEH), pp. 51–64.
HILT-2013-Whalen #analysis #architecture #development #formal method #modelling #scalability #using
Up and out: scaling formal analysis using model-based development and architecture modeling (MWW), pp. 41–42.
ICSE-2013-WhalenGYHS
Observable modified Condition/Decision coverage (MWW, GG, DY, MPEH, MS), pp. 102–111.
FASE-2012-StaatsGWH #generative #on the #testing
On the Danger of Coverage Directed Test Case Generation (MS, GG, MWW, MPEH), pp. 409–424.
HILT-2012-HardinSWP #domain-specific language #security
A DSL for cross-domain security (DSH, KS, MWW, THP), pp. 53–62.
TACAS-2012-HardinSWP #verification
The Guardol Language and Verification System (DSH, KS, MWW, THP), pp. 18–32.
ICSE-2011-StaatsWH #revisited #source code #testing
Programs, tests, and oracles: the foundations of testing revisited (MS, MWW, MPEH), pp. 391–400.
ICSE-2011-StaatsWH11a #testing
Better testing through oracle selection (MS, MWW, MPEH), pp. 892–895.
ISSTA-2011-BalasubramanianPWKL #analysis #modelling #multi #named #statechart
Polyglot: modeling and analysis for multiple Statechart formalisms (DB, CSP, MWW, GK, MRL), pp. 45–55.
ICSE-2008-RajanWH #test coverage #testing
The effect of program and model structure on mc/dc test adequacy coverage (AR, MWW, MPEH), pp. 161–170.
ISSTA-2006-WhalenRHM #metric #testing
Coverage metrics for requirements-based testing (MWW, AR, MPEH, SPM), pp. 25–36.
RE-2003-HeimdahlWT #development #named #specification
NIMBUS: A Tool for Specification Centered Development (MPEH, MWW, JMT), p. 349.
ASE-2002-HeimdahlCW #analysis #model checking
Deviation Analysis Through Model Checking (MPEH, YC, MWW), pp. 37–46.
CADE-2002-WhalenSF #automation #certification #named #synthesis
AutoBayes/CC — Combining Program Synthesis with Automatic Code Certification — System Description (MWW, JS, BF), pp. 290–294.
FME-2002-WhalenSF
Synthesizing Certified Code (MWW, JS, BF), pp. 431–450.
ICSE-2000-Whalen #code generation
High-integrity code generation for state-based formalisms (MWW), pp. 725–727.
ASE-1999-WhalenH #approach #automation #code generation #safety
An Approach to Automatic Code Generation for Safety-Critical Systems (MWW, MPEH), pp. 315–318.
ESEC-FSE-1997-HeimdahlW #reduction #slicing #state machine
Reduction and Slicing of Hierarchical State Machines (MPEH, MWW), pp. 450–467.
FSE-2016-GhassabaniGW #generative #induction #performance #safety
Efficient generation of inductive validity cores for safety properties (EG, AG, MWW), pp. 314–325.
ASE-2017-GhassabaniGWHW #metric #verification
Proof-based coverage metrics for formal verification (EG, AG, MWW, MPEH, LGW), pp. 194–199.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.