相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。An empirical study of optimization bugs in GCC and LLVM
Zhide Zhou et al.
JOURNAL OF SYSTEMS AND SOFTWARE (2021)
A Survey of Compiler Testing
Junjie Chen et al.
ACM COMPUTING SURVEYS (2020)
Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API Usages, and Differences
Mehdi Bagherzadeh et al.
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL (2020)
Random Testing for C and C++ Compilers with YARPGen
Vsevolod Livinskii et al.
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL (2020)
SLEMI: Equivalence Modulo Input (EMI) Based Mutation of CPS Models for Finding Compiler Bugs in Simulink
Shafiul Azam Chowdhury et al.
2020 ACM/IEEE 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2020) (2020)
Superion: Grammar-Aware Greybox Fuzzing
Junjie Wang et al.
2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2019) (2019)
Deep Differential Testing of JVM Implementations
Yuting Chen et al.
2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2019) (2019)
Scala Implicits Are Everywhere A Large-Scale Study of the Use of Scala Implicits in the Wild
Filip Krikava et al.
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL (2019)
Compiler Fuzzing: How Much Does It Matter?
Michael Marcozzi et al.
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL (2019)
Casting about in the Dark An Empirical Study of Cast Operations in Java Programs
Luis Mastrangelo et al.
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL (2019)
Testing Probabilistic Programming Systems
Saikat Dutta et al.
ESEC/FSE'18: PROCEEDINGS OF THE 2018 26TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (2018)
Learning to Prioritize Test Programs for Compiler Testing
Junjie Chen et al.
2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE) (2017)
Automated Testing of Graphics Shader Compilers
Alastair F. Donaldson et al.
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL (2017)
Coverage-directed differential testing of JVM implementations
Yuting Chen et al.
ACM SIGPLAN NOTICES (2016)
Finding Compiler Bugs via Live Code Mutation
Chengnian Sun et al.
ACM SIGPLAN NOTICES (2016)
Test Case Prioritization for Compilers: A Text-Vector Based Approach
Junjie Chen et al.
2016 9TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST) (2016)
Many-Core Compiler Fuzzing
Christopher Lidbury et al.
ACM SIGPLAN NOTICES (2015)
Finding deep compiler bugs via guided stochastic program mutation
Vu Le et al.
ACM SIGPLAN NOTICES (2015)
Fuzzing the Rust Typechecker Using CLP
Kyle Dewey et al.
2015 30TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE) (2015)
Compiler Validation via Equivalence Modulo Inputs
Vu Le et al.
ACM SIGPLAN NOTICES (2014)
Test-Case Reduction for C Compiler Bugs
John Regehr et al.
ACM SIGPLAN NOTICES (2012)
Understanding and Detecting Real-World Performance Bugs
Guoliang Jin et al.
ACM SIGPLAN NOTICES (2012)
Generics of a Higher Kind
Adriaan Moors et al.
ACM SIGPLAN NOTICES (2008)