Sbft tool competition 2023-cyber-physical systems track
We report on the organization and results of the third edition of the Cyber-Physical Systems
tool competition, held as part of the SBFT workshop. Six tools (ie, CRAG, EvoMBT, RIGAA …
tool competition, held as part of the SBFT workshop. Six tools (ie, CRAG, EvoMBT, RIGAA …
SBFT tool competition 2024: CPS-UAV test case generation track
S Khatiri, P Saurabh, T Zimmermann… - … on Search-Based …, 2024 - digitalcollection.zhaw.ch
While simulation-based testing is critical for ensuring the safety of autonomous Unmanned
Aerial Vehicles (UAVs), it has not been adequately researched yet. The UAV Testing …
Aerial Vehicles (UAVs), it has not been adequately researched yet. The UAV Testing …
SBFT Tool Competition 2024--Python Test Case Generation Track
N Erni, AAMA Mohammed, C Birchler… - arXiv preprint arXiv …, 2024 - arxiv.org
Test case generation (TCG) for Python poses distinctive challenges due to the language's
dynamic nature and the absence of strict type information. Previous research has …
dynamic nature and the absence of strict type information. Previous research has …
EvoSuite at the SBST 2022 tool competition
EvoSuite at the SBST 2022 Tool Competition Page 1 EvoSuite at the SBST 2022 Tool
Competition Sebastian Schweikl University of Passau Passau, Germany Gordon Fraser …
Competition Sebastian Schweikl University of Passau Passau, Germany Gordon Fraser …
TestSpark: IntelliJ IDEA's Ultimate Test Generation Companion
A Sapozhnikov, M Olsthoorn, A Panichella… - Proceedings of the …, 2024 - dl.acm.org
Writing software tests is laborious and time-consuming. To address this, prior studies
introduced various automated test-generation techniques. A well-explored research …
introduced various automated test-generation techniques. A well-explored research …
Higher Fault Detection Through Novel Density Estimators in Unit Test Generation
A Panichella, M Olsthoorn - International Symposium on Search Based …, 2024 - Springer
Many-objective evolutionary algorithms (MOEAs) have been applied in the software testing
literature to automate the generation of test cases. While previous studies confirmed the …
literature to automate the generation of test cases. While previous studies confirmed the …
UTBot at the SBFT 2023 Java Tool Competition
D Ivanov, A Menshutin, M Pelevin… - 2023 IEEE/ACM …, 2023 - ieeexplore.ieee.org
UTBot is the tool for automated unit test generation, which produces ready-to-use Java test
cases with valid inputs. This year, it is implemented in two different variants: UTBot-fuzz that …
cases with valid inputs. This year, it is implemented in two different variants: UTBot-fuzz that …