Write a Blog >>
ASE 2020
Mon 21 - Fri 25 September 2020 Melbourne, Australia
Tue 22 Sep 2020 02:20 - 02:40 at Kangaroo - Test Generation Chair(s): Xusheng Xiao

Concolic execution and fuzzing are two complementary coverage-based testing techniques. How to achieve the best of both remains an open challenge. To address this research problem, we propose and evaluate Legion. Legion uses a variation of the Monte Carlo tree search (MCTS) framework from the AI literature to treat automated test generation as a problem of sequential decision-making under uncertainty. Its best-first search strategy provides a principled way to learn the most promising program states to investigate at each search iteration, based on observed rewards from previous iterations. Legion incorporates a form of directed fuzzing that we call approximate path-preserving fuzzing (APPFuzzing) to investigate program states selected by MCTS. APPFuzzing serves as the Monte Carlo simulation technique and is implemented by extending prior work on constrained sampling. We evaluate Legion against competitors in Test-Comp 2020, as well as measuring its sensitivity to hyperparameters, demonstrating its effectiveness on a wide variety of input programs.

Tue 22 Sep
Times are displayed in time zone: (UTC) Coordinated Universal Time

02:20 - 03:20: Test GenerationResearch Papers / Industry Showcase / Tool Demonstrations at Kangaroo
Chair(s): Xusheng XiaoCase Western Reserve University
02:20 - 02:40
Talk
Legion: Best-First Concolic Testing
Research Papers
Dongge LiuThe Univeristy of Melbourne, Gidon ErnstLMU Munich, Toby MurrayUniversity of Melbourne, Australia, Benjamin I.P. RubinsteinUniversity of Melbourne
02:40 - 03:00
Talk
The New Approach to IT Testing
Industry Showcase
03:00 - 03:10
Talk
MetPurity: A Learning-Based Tool of Pure Method Identification for Automatic Test Generation
Tool Demonstrations
Runze YuWuhan University, Youzhe ZhangWuhan University, Jifeng XuanWuhan University