Verifying Determinism in Sequential Programs

被引：0

作者：

Mudduluru, Rashmi ^{[1
]}

Waataja, Jason ^{[1
]}

Millstein, Suzanne ^{[1
]}

Ernst, Michael D. ^{[1
]}

机构：

[1] Univ Washington, Seattle, WA 98195 USA

来源：

2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2021) | 2021年

关键词：

D O I：

10.1109/ICSE-Companion52605.2021.00095

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：213 / 214

页数：2

共 2 条

[1] DEFLAKER: Automatically Detecting Flaky Tests [J].

Bell, Jonathan ;

Legunsen, Owolabi ;

Hilton, Michael ;

Eloussi, Lamyaa ;

Yung, Tifany ;

Marinov, Darko .

PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2018, :433-444

Shi, August ;

Gyori, Alex ;

Legunsen, Owolabi ;

Marinov, Darko .

2016 9TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2016, :80-90