Configuring Test Generators using Bug Reports: A Case Study of GCC Compiler and Csmith (original) (raw)
Related papers
K-CONFIG: Using Failing Test Cases to Generate Test Cases in GCC Compilers
The 34th IEEE/ACM International Conference on Automated Software Engineering, Late Breaking Results Track (ASE-LBR'19), 2019
Finding and understanding bugs in C compilers
2011
Test-case reduction for C compiler bugs
Yang Chen, Pascal Cuoq, Chucky Ellison
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12, 2012
Revisiting Test Cases to Boost Generate-and-Validate Program Repair
2021
Backend Bug Finder — a platform for effective compiler fuzzing
Information and Control Systems
Compiler test suite: evaluation and use in an automated test environment
Information and Software Technology, 1994
KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs
… of the 8th USENIX conference on …, 2008
Testing Static Analyzers with Randomly Generated Programs
Lecture Notes in Computer Science, 2012
NOTICE: A Framework for Non-Functional Testing of Compilers
2016 IEEE International Conference on Software Quality, Reliability and Security (QRS), 2016
DeepFuzz: Automatic Generation of Syntax Valid C Programs for Fuzz Testing
Proceedings of the AAAI Conference on Artificial Intelligence, 2019
A program slicing-based method for effective detection of coincidentally correct test cases
Computing, 2018
ALPHAPROG: Reinforcement Generation of Valid Programs for Compiler Fuzzing
Proceedings of the AAAI Conference on Artificial Intelligence
An extensible open-source compiler infrastructure for testing
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2006
Using distinguishing tests to reduce the number of fault candidates
72
Toward Understanding Compiler Bugs in GCC and LLVM
2012
A Feature-Oriented Corpus for Understanding, Evaluating and Improving Fuzz Testing
Proceedings of the 2019 ACM Asia Conference on Computer and Communications Security, 2019
Control Oriented Mutation Testing for Detection of Potential Software Bugs
2012 10th International Conference on Frontiers of Information Technology, 2012
Software: Practice and Experience, 2014
MUTATION TESTING FOR C-SHARP PROGRAMS
Mining system tests to aid software maintenance
Computer, 1998
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, 2013
Statistical bug localisation by supervised clustering of program predicates
International Journal of Information Systems and Change Management, 2018
A Combinatorial Testing-Based Approach to Fault Localization
IEEE Transactions on Software Engineering, 2018
Dynamic Test Generation to Find Integer Bugs in x86 Binary Linux Programs
2009
Statistical Debugging: A Hypothesis Testing-Based Approach
IEEE Transactions on Software Engineering, 2006
FixEval: Execution-based Evaluation of Program Fixes for Programming Problems
arXiv (Cornell University), 2022
2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST), 2018
An empirical investigation into branch coverage for C programs using CUTE and AUSTIN
Journal of Systems and Software, 2010
An empirical study about the effectiveness of debugging when random test cases are used
2012 34th International Conference on Software Engineering (ICSE), 2012
ZoomIn: Discovering Failures by Detecting Wrong Assertions
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 2015
Directed test generation for effective fault localization
S. Artzi, Marco Pistoia, Julian Dolby
Proceedings of the 19th international symposium on Software testing and analysis - ISSTA '10, 2010
On guiding the augmentation of an automated test suite via mutation analysis
EMPIRICAL SOFTWARE ENGINEERING, 2009