Mats P. E. Heimdahl - Publications, H-index & Citations

Mats P. E. Heimdahl

University of Minnesota Twin Cities

33H指数

190论文数

5.6K被引数

收录论文 7

发表时间

AADL-Based safety analysis using formal methods applied to aircraft digital systems

RELIABILITY ENGINEERING & SYSTEM SAFETY

IF11

2021-09-01

PREAI

Stewart, Danielle; Liu, Jing (Janet); Cofer, Darren; Heimdahl, Mats; Whalen, Michael W.; Peterson, Michael

Inductive Validity Cores

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2021-02-01

OAAI

Ghassabani, Elaheh; Whalen, Michael; Gacek, Andrew; Heimdahl, Mats

Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors 基于模型的测试预言机的自动转向以承认真实的程序行为

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2017-06-01

OAAI

Gay, Gregory; Rayadurgam, Sanjai; Heimdahl, Mats P. E.

The Effect of Program and Model Structure on the Effectiveness of MC/DC Test Adequacy Coverage

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2016-07-19

OAAI

Gay, Gregory; Rajan, Ajitha; Staats, Matt; Whalen, Michael; Heimdahl, Mats P. E.

Automated Oracle Data Selection Support 自动Oracle数据选择支持

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2015-11-01

OAAI

Gay, Gregory; Staats, Matt; Whalen, Michael; Heimdahl, Mats P. E.

The Risks of Coverage-Directed Test Case Generation 以覆盖为导向的测试用例生成的风险

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2015-08-01

OAAI

Gay, Gregory; Staats, Matt; Whalen, Michael; Heimdahl, Mats P. E.

Your What Is My How: Iteration and Hierarchy in System Design

IEEE SOFTWARE

IF3

2013-03-01

OAAI

Whalen, Michael W.; Gacek, Andrew; Cofer, Darren; Murugesan, Anitha; Heimdahl, Mats P. E.; Rayadurgam, Sanjai

研究方向