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: Whalen:Michael_W=
Facilitated 13 volumes:
PrCo
PrCo
PrCoPrCoDemoTrackPrCoPrCoToCoPrCoPrCoPrCoPracticalTrackPrCoContributed to:
2015
2014
201320132013
20122012
20122011
201120082006
20032002
2002
2002200019991997
20162017Wrote 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.