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.

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 Jiang Nanjing University
08:00
20m
Talk
Plug the Database & Play With Automatic Testing: Improving System Testing by Exploiting Persistent Data
Research Papers
Diego Clerissi , Giovanni Denaro University of Milano-Bicocca, Italy, Marco Mobilio University of Milano Bicocca, Leonardo Mariani University of Milano Bicocca
08:20
20m
Talk
Enhanced Compiler Bug Isolation via Memoized Search
Research Papers
Junjie Chen Tianjin University, China, Haoyang Ma College of Intelligence and Computing, Tianjin University, Lingming Zhang University 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 Olsthoorn Delft University of Technology, Arie van Deursen Delft University of Technology, Netherlands, Annibale Panichella Delft 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-Mendoza Imperial College London, Cristian Cadar Imperial College London, UK, Alastair F. Donaldson Imperial College London
Pre-print Media Attached