Travelled to:1 × Estonia
1 × France
1 × Portugal
1 × Sweden
1 × United Kingdom
2 × Austria
2 × Germany
2 × Italy
2 × Switzerland
3 × Canada
8 × USA
Collaborated with:M.W.Whalen Y.Choi M.Staats S.Rayadurgam J.M.Thompson G.Gay S.P.Miller N.G.Leveson J.D.Reese A.Rajan G.Devaraj J.Gao B.J.Czerny D.J.Keenan ∅ D.You E.V.Wyk A.C.Tribble M.Stein J.Riedl A.Murugesan J.Cleland-Huang J.H.Hayes R.R.Lutz P.Mäder W.Deng K.Woodham W.Visser E.Ghassabani A.Gacek L.G.Wagner J.Komp B.Kim O.Sokolsky
Talks about:test (14) model (10) requir (8) base (8) system (7) specif (6) coverag (5) softwar (4) generat (4) analysi (4)
♂ Person: Mats Per Erik Heimdahl
DBLP: Heimdahl:Mats_Per_Erik
Facilitated 9 volumes:
PrCoSaEventsChWoCh
Ed
EdPrCo
PrCoPrCoPrChContributed to:
2014
2013
2013
20122012
20122011200820082007200620042003
2003
200320032002
200120011999
19991998199719971996199520152017Wrote 33 papers:
- ASE-2014-GayRH #automation
- Improving the accuracy of oracle verdicts through automated model steering (GG, SR, MPEH), pp. 527–538.
- HILT-2013-MurugesanWRH #composition #verification
- Compositional verification of a medical device system (AM, MWW, SR, MPEH), pp. 51–64.
- 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.
- ICSE-2012-StaatsGH #automation #fault #how #mutation testing #testing
- Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing (MS, GG, MPEH), pp. 870–880.
- REFSQ-2012-Cleland-HuangHHLM #assurance #query #requirements #safety
- Trace Queries for Safety Requirements in High Assurance Systems (JCH, MPEH, JHH, RRL, PM), pp. 179–193.
- 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.
- ASE-2008-StaatsDRHW #named #requirements
- ReqsCov: A Tool for Measuring Test-Adequacy over Requirements (MS, WD, AR, MPEH, KW), pp. 499–500.
- 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.
- FASE-2007-GaoHW #flexibility #modelling
- Flexible and Extensible Notations for Modeling Languages (JG, MPEH, EVW), pp. 102–116.
- ISSTA-2006-WhalenRHM #metric #testing
- Coverage metrics for requirements-based testing (MWW, AR, MPEH, SPM), pp. 25–36.
- ASE-2004-ChoiH #approach #case study #model checking
- Combination Model Checking: Approach and a Case Study (YC, MPEH), pp. 354–357.
- ASE-2004-HeimdahlG #modelling #quality #reduction #testing
- Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing (MPEH, GD), pp. 176–185.
- ASE-2003-ChoiH #abstraction #model checking #reduction #requirements #specification #using
- Model Checking Software Requirement Specifications using Domain Reduction Abstraction (YC, MPEH), pp. 314–317.
- FATES-2003-HeimdahlRVDG #case study #model checking #sequence #testing #using
- Auto-generating Test Sequences Using Model Checkers: A Case Study (MPEH, SR, WV, GD, JG), pp. 42–59.
- FME-2003-MillerTH #proving
- Proving the Shalls (SPM, ACT, MPEH), pp. 75–93.
- 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.
- ESEC-FSE-2001-ChoiRH #abstraction #automation #constraints #model checking
- Automatic abstraction for model checking software systems with interrelated numeric constraints (YC, SR, MPEH), pp. 164–174.
- RE-2001-ThompsonH #approach #product line
- Extending the Product Family Approach to Support n-Dimensional and Hierarchical Product Lines (JMT, MPEH), pp. 56–65.
- ASE-1999-SteinHR
- Enhancing Annotation Visibility for Software Inspection (MS, MPEH, JR), pp. 243–246.
- 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-1999-LevesonHR #design #lessons learnt #process #specification
- Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future (NGL, MPEH, JDR), pp. 127–145.
- ESEC-FSE-1999-ThompsonHM #embedded #prototype
- Specification-Based Prototyping for Embedded Systems (JMT, MPEH, SPM), pp. 163–179.
- ASE-1998-CzernyH #analysis #automation #requirements
- Automated Integrative Analysis of State-based Requirements (BJC, MPEH), p. 125–?.
- ESEC-FSE-1997-HeimdahlW #reduction #slicing #state machine
- Reduction and Slicing of Hierarchical State Machines (MPEH, MWW), pp. 450–467.
- RE-1997-HeimdahlK #generative #requirements
- Generating Code from Hierarchical State-Based Requirements (MPEH, DJK), p. 210–?.
- RE-1997-HeimdahlR #requirements #safety #specification
- Software Requirements Specification and System Safety (MPEH, JDR), p. 264.
- ISSTA-1996-Heimdahl #analysis #case study #experience #lessons learnt
- Experiences and Lessons from the Analysis of TCAS II (MPEH), pp. 79–83.
- ICSE-1995-HeimdahlL #analysis #consistency #requirements
- Completeness and Consistency Analysis of State-Based Requirements (MPEH, NGL), pp. 3–14.
- ASE-2015-YouRHKKS #implementation #modelling #testing
- Executing Model-Based Tests on Platform-Specific Implementations (T) (DY, SR, MPEH, JK, BK, OS), pp. 418–428.
- ASE-2017-GhassabaniGWHW #metric #verification
- Proof-based coverage metrics for formal verification (EG, AG, MWW, MPEH, LGW), pp. 194–199.