Search-based crash reproduction and its impact on debugging

M Soltani, A Panichella… - IEEE Transactions on …, 2018 - ieeexplore.ieee.org
Software systems fail. These failures are often reported to issue tracking systems, where
they are prioritized and assigned to responsible developers to be investigated. When …

Demystifying the challenges and benefits of analyzing user-reported logs in bug reports

AR Chen, TH Chen, S Wang - Empirical Software Engineering, 2021 - Springer
Logs in bug reports provide important debugging information for developers. During the
debugging process, developers need to study the bug report and examine user-provided …

A benchmark-based evaluation of search-based crash reproduction

M Soltani, P Derakhshanfar, X Devroey… - Empirical Software …, 2020 - Springer
Crash reproduction approaches help developers during debugging by generating a test
case that reproduces a given crash. Several solutions have been proposed to automate this …

Search‐based crash reproduction using behavioural model seeding

P Derakhshanfar, X Devroey, G Perrouin… - Software Testing …, 2020 - Wiley Online Library
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 …

Enhancing Testing at Meta with Rich-State Simulated Populations

N Alshahwan, A Blasi, K Bojarczuk… - Proceedings of the 46th …, 2024 - dl.acm.org
This paper reports the results of the deployment of Rich-State Simulated Populations at Meta
for both automated and manual testing. We use simulated users (aka test users) to mimic …

{CARDSHARK}: Understanding and Stablizing Linux Kernel Concurrency Bugs Against the Odds

T Han, X Gong, J Liu - 33rd USENIX Security Symposium (USENIX …, 2024 - usenix.org
Concurrency bugs in the Linux kernel are notoriously difficult to reproduce and debug due to
their non-deterministic nature. While they bring constant headaches to Linux kernel …

Single-objective versus multi-objectivized optimization for evolutionary crash reproduction

M Soltani, P Derakhshanfar, A Panichella… - Search-Based Software …, 2018 - Springer
EvoCrash is a recent search-based approach to generate a test case that reproduces
reported crashes. The search is guided by a fitness function that uses a weighted sum …

Good things come in threes: Improving search-based crash reproduction with helper objectives

P Derakhshanfar, X Devroey, A Zaidman… - Proceedings of the 35th …, 2020 - dl.acm.org
Writing a test case reproducing a reported software crash is a common practice to identify
the root cause of an anomaly in the software under test. However, this task is usually labor …

Effectiveness and challenges in generating concurrent tests for thread-safe classes

V Terragni, M Pezzè - Proceedings of the 33rd ACM/IEEE International …, 2018 - dl.acm.org
Developing correct and efficient concurrent programs is difficult and error-prone, due to the
complexity of thread synchronization. Often, developers alleviate such problem by relying on …

Raproducer: Efficiently diagnose and reproduce data race bugs for binaries via trace analysis

M Yuan, Y Lee, C Zhang, Y Li, Y Cai… - Proceedings of the 30th …, 2021 - dl.acm.org
A growing number of bugs have been reported by vulnerability discovery solutions. Among
them, some bugs are hard to diagnose or reproduce, including data race bugs caused by …