Write a Blog >>
ASE 2020
Mon 21 - Fri 25 September 2020 Melbourne, Australia
Tue 22 Sep 2020 08:40 - 08:50 at Wombat - Compiler and Systems Testing Chair(s): Yanyan Jiang

Software testing is an important and time-consuming task that is often done manually. In the last decades, researchers have come up with techniques to generate input data (e.g., fuzzing) and automate the process of generating test cases (e.g., search-based testing). However, these techniques are known to have their own limitations: search-based testing does not generate highly-structured data; grammar-based fuzzing does not generate test case structures. To address these limitations, we combine these two techniques. By applying grammar-based mutations to the input data gathered by the search-based testing algorithm, it allows us to co-evolve both aspects of test case generation. We evaluate our approach by performing an empirical study on 20 Java classes from the three most popular JSON parsers across multiple search budgets. Our results show that the proposed approach on average improves branch coverage for JSON related classes by 15% (with a maximum increase of 50%) without negatively impacting other classes.

Conference Day
Tue 22 Sep

Displayed time zone: (UTC) Coordinated Universal Time change

08:00 - 09:00
Compiler and Systems TestingNIER track / Research Papers at Wombat
Chair(s): Yanyan JiangNanjing University
08:00
20m
Talk
Plug the Database & Play With Automatic Testing: Improving System Testing by Exploiting Persistent Data
Research Papers
Diego Clerissi, Giovanni DenaroUniversity of Milano-Bicocca, Italy, Marco MobilioUniversity of Milano Bicocca, Leonardo MarianiUniversity of Milano Bicocca
08:20
20m
Talk
Enhanced Compiler Bug Isolation via Memoized Search
Research Papers
Junjie ChenTianjin University, China, Haoyang MaCollege of Intelligence and Computing, Tianjin University, Lingming ZhangUniversity of Illinois at Urbana-Champaign
08:40
10m
Talk
Generating Highly-structured Input Data by Combining Search-based Testing and Grammar-based Fuzzing
NIER track
Mitchell OlsthoornDelft University of Technology, Arie van DeursenDelft University of Technology, Netherlands, Annibale PanichellaDelft University of Technology
DOI Pre-print Media Attached
08:50
10m
Talk
Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour
NIER track
Karine Even-MendozaImperial College London, Cristian CadarImperial College London, UK, Alastair F. DonaldsonImperial College London
Pre-print Media Attached