Write a Blog >>
ICSE 2023
Sun 14 - Sat 20 May 2023 Melbourne, Australia
Wed 17 May 2023 17:00 - 17:07 at Meeting Room 102 - Test generation Chair(s): Chunyang Chen

With software systems becoming increasingly pervasive and autonomous, our ability to test for their quality is severely challenged. Many systems are called to operate in uncertain and highly-changing environment, not rarely required to make intelligent decisions by themselves. This easily results in an intractable state space to explore at testing time. The state-of- the-art techniques try to keep the pace, e.g., by augmenting the tester’s intuition with some form of (explicit or implicit) learning from observations to search this space efficiently. For instance, they exploit historical data to drive the search (e.g., ML-driven testing) or the tests execution data itself (e.g., adaptive or search-based testing). Despite the indubitable advances, the need for smartening the search in such a huge space keeps to be pressing. We introduce Reasoning-Based Software Testing (RBST), a new way of thinking at the testing problem as a causal reasoning task. Compared to mere intuition-based or state-of-the-art learning-based strategies, we claim that causal reasoning more naturally emulates the process that a human would do to “smartly” search the space. RBST aims to mimic and amplify, with the power of computation, this ability. The conceptual leap can pave the ground to a new trend of techniques, which can be variously instantiated from the proposed framework, by exploiting the numerous tools for causal discovery and inference. Preliminary results reported in this paper are promising.

Wed 17 May

Displayed time zone: Hobart change

15:45 - 17:15
15:45
7m
Talk
SoapOperaTG: A Tool for System Knowledge Graph Based Soap Opera Test Generation
DEMO - Demonstrations
Yanqi Su Australian National University, Zheming Han , Zhenchang Xing CSIRO’s Data61; Australian National University, Xiwei (Sherry) Xu CSIRO’s Data61, Liming Zhu CSIRO’s Data61, Qinghua Lu CSIRO’s Data61
15:52
7m
Talk
GUI Testing to the Power of Parallel Q-Learning
DEMO - Demonstrations
Marco Mobilio University of Milano Bicocca, Diego Clerissi University of Milano-Bicocca, Giovanni Denaro University of Milano-Bicocca, Italy, Leonardo Mariani University of Milano-Bicocca
16:00
15m
Talk
BADGE: Prioritizing UI Events with Hierarchical Multi-Armed Bandits for Automated UI Testing
Technical Track
Dezhi Ran Peking University, Hao Wang Peking University, China, Wenyu Wang University of Illinois Urbana-Champaign, Tao Xie Peking University
16:15
15m
Talk
Efficiency Matters: Speeding Up Automated Testing with GUI Rendering InferenceDistinguished Paper Award
Technical Track
Sidong Feng Monash University, Mulong Xie Australian National University, Chunyang Chen Monash University
Pre-print
16:30
15m
Talk
CodaMOSA: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models
Technical Track
Caroline Lemieux University of British Columbia, Jeevana Priya Inala Microsoft Research, Shuvendu K. Lahiri Microsoft Research, Siddhartha Sen Microsoft Research
16:45
15m
Talk
Simulation-Driven Automated End-to-End Test and Oracle Inference
SEIP - Software Engineering in Practice
Shreshth Tuli Meta Platforms Inc. and Imperial College, Kinga Bojarczuk Facebook, Natalija Gucevska Facebook, Mark Harman University College London, Xiaoyu Wang Meta Platforms Inc., Graham Wright Meta Platforms Inc.
17:00
7m
Talk
Reasoning-Based Software Testing
NIER - New Ideas and Emerging Results
Luca Giamattei Università di Napoli Federico II, Roberto Pietrantuono Università di Napoli Federico II, Stefano Russo Università di Napoli Federico II
Pre-print
17:07
7m
Talk
Automated Generation and Evaluation of JMH Microbenchmark Suites From Unit Tests
Journal-First Papers
Mostafa Jangali Concordia University, Yiming Tang Concordia University, Niclas Alexandersson Chalmers University of Technology, Philipp Leitner Chalmers University of Technology, Sweden / University of Gothenburg, Sweden, Jinqiu Yang Concordia University, Weiyi Shang University of Waterloo