A Survey of Compiler Testing

ACM Computing Surveys ◽

10.1145/3363562 ◽

2020 ◽

Vol 53 (1) ◽

pp. 1-36 ◽

Author(s):

Junjie Chen ◽

Jibesh Patra ◽

Michael Pradel ◽

Yingfei Xiong ◽

Hongyu Zhang ◽

...

Keyword(s):

Compiler Testing

Download Full-text

Test-case reduction and deduplication almost for free with transformation-based compiler testing

Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation ◽

10.1145/3453483.3454092 ◽

2021 ◽

Author(s):

Alastair F. Donaldson ◽

Paul Thomson ◽

Vasyl Teliman ◽

Stefano Milizia ◽

André Perez Maselco ◽

...

Keyword(s):

Test Case ◽

Compiler Testing

Download Full-text

Using ASM Specifications for Compiler Testing

Abstract State Machines 2003 - Lecture Notes in Computer Science ◽

10.1007/3-540-36498-6_29 ◽

2003 ◽

pp. 415-415 ◽

Author(s):

Alexey Kalinov ◽

Alexandre Kossatchev ◽

Alexander Petrenko ◽

Mikhail Posypkin ◽

Vladimir Shishko

Keyword(s):

Compiler Testing

Download Full-text

Orthogonal Latin squares: an application of experiment design to compiler testing

Communications of the ACM ◽

10.1145/4372.4375 ◽

1985 ◽

Vol 28 (10) ◽

pp. 1054-1058 ◽

Author(s):

Robert Mandl

Keyword(s):

Experiment Design ◽

Latin Squares ◽

Orthogonal Latin Squares ◽

Compiler Testing

Download Full-text

Compiler testing via symbolic interpretation

10.1145/800191.805648 ◽

1976 ◽

Author(s):

Hanan Samet

Keyword(s):

Compiler Testing ◽

Symbolic Interpretation

Download Full-text

Learning to accelerate compiler testing

Proceedings of the 40th International Conference on Software Engineering Companion Proceeedings - ICSE '18 ◽

10.1145/3183440.3183456 ◽

2018 ◽

Author(s):

Junjie Chen

Keyword(s):

Compiler Testing

Download Full-text

Compiler testing via a theory of sound optimisations in the C11/C++11 memory model

Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13 ◽

10.1145/2491956.2491967 ◽

2013 ◽

Author(s):

Robin Morisset ◽

Pankaj Pawan ◽

Francesco Zappa Nardelli

Keyword(s):

Memory Model ◽

Compiler Testing

Download Full-text

Compiler testing using a sentence generator

Software Practice and Experience ◽

10.1002/spe.4380101104 ◽

1980 ◽

Vol 10 (11) ◽

pp. 897-918 ◽

Author(s):

A. Celentano ◽

S. Crespi Reghizzi ◽

P. Della Vigna ◽

C. Ghezzi ◽

G. Granata ◽

...

Keyword(s):

Compiler Testing

Download Full-text

Compiler Testing Approach based on Generalized Equivalent Substitution

Proceedings of the 2017 2nd International Conference on Machinery, Electronics and Control Simulation (MECS 2017) ◽

10.2991/mecs-17.2017.91 ◽

2017 ◽

Author(s):

Xinwei Wu ◽

Peng Zhang ◽

Qiang Huang ◽

Qirong Ma ◽

Guanglei Shao ◽

...

Keyword(s):

Compiler Testing ◽

Testing Approach

Download Full-text

Compiler testing: a systematic literature analysis

Frontiers of Computer Science ◽

10.1007/s11704-019-8231-0 ◽

2019 ◽

Vol 14 (1) ◽

pp. 1-20 ◽

Author(s):

Yixuan Tang ◽

Zhilei Ren ◽

Weiqiang Kong ◽

He Jiang

Keyword(s):

Literature Analysis ◽

Compiler Testing

Download Full-text

Coverage Prediction for Accelerating Compiler Testing

IEEE Transactions on Software Engineering ◽

10.1109/tse.2018.2889771 ◽

2018 ◽

pp. 1-1 ◽

Author(s):

Junjie Chen ◽

Guancheng Wang ◽

Dan Hao ◽

Yingfei Xiong ◽

Hongyu Zhang ◽

...

Keyword(s):

Compiler Testing ◽

Coverage Prediction

Download Full-text