ICST 2021
Mon 12 - Fri 16 April 2021
Thu 15 Apr 2021 15:30 - 16:00 at Boa Viagem - Journal First II Chair(s): Augusto Sampaio

Search-based crash reproduction approaches assist developers during debugging by generating a test case, which reproduces a crash given its stack trace. One of the fundamental steps of this approach is creating objects needed to trigger the crash. One way to overcome this limitation is seeding: using information about the application during the search process. With seeding, the existing usages of classes can be used in the search process to produce realistic sequences of method calls, which create the required objects. In this study, we introduce behavioural model seeding: a new seeding method that learns class usages from both the system under test and existing test cases. Learned usages are then synthesized in a behavioural model (state machine). Then, this model serves to guide the evolutionary process. To assess behavioural model seeding, we evaluate it against test seeding (the state-of-the-art technique for seeding realistic objects) and no seeding (without seeding any class usage). For this evaluation, we use a benchmark of 122 hard-to-reproduce crashes stemming from six open-source projects. Our results indicate that behavioural model seeding outperforms both test seeding and no seeding by a minimum of 6% without any notable negative impact on efficiency.

This is an extended abstract of the article: Pouria Derakhshanfar, Xavier Devroey, Gilles Perrouin, Andy Zaidman and Arie van Deursen. 2019. Search-based crash reproduction using behavioural model seeding. In: Software Testing, Verification and Reliability (May 2020). http://doi.org/10.1002/stvr.1733 (open access).

Thu 15 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

15:30 - 16:30
Journal First IIJournal-First Papers at Boa Viagem
Chair(s): Augusto Sampaio Universidade Federal de Pernambuco
Search‐based crash reproduction using behavioural model seeding
Journal-First Papers
Pouria Derakhshanfar Delft University of Technology, Xavier Devroey Delft University of Technology, Gilles Perrouin Université de Namur, Andy Zaidman Delft University of Technology, Arie van Deursen Delft University of Technology, Netherlands
Link to publication DOI Media Attached
A Federated Society of Bots for Smart Contract Testing
Journal-First Papers
Emanuele Viglianisi FBK, Mariano Ceccato University of Verona, Paolo Tonella USI Lugano, Switzerland