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
Times are displayed in time zone: (UTC) Coordinated Universal Time

08:00 - 09:00: Compiler and Systems TestingResearch Papers / NIER track at Wombat
Chair(s): Yanyan JiangNanjing University
08:00 - 08:20
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 - 08:40
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 - 08:50
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 - 09:00
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 DonaldsonImperial College London
Pre-print Media Attached