SBFT tool competition 2024-cps-uav test case generation track
S Khatiri, P Saurabh, T Zimmermann… - Proceedings of the 17th …, 2024 - dl.acm.org
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-cyber-physical systems track
This report summarizes the results of the fourth edition of the 2024 Cyber-Physical Systems
tool competition, held as part of the SBFT'24 workshop. Three tools (AmbieGenVAE, CRAG …
tool competition, held as part of the SBFT'24 workshop. Three tools (AmbieGenVAE, CRAG …
SBFT tool competition 2024-python test case generation track
N Erni, M Al-Ameen, C Birchler… - Proceedings of the 17th …, 2024 - dl.acm.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 …
Improving the Readability of Automatically Generated Tests using Large Language Models
Search-based test generators are effective at producing unit tests with high coverage.
However, such automatically generated tests have no meaningful test and variable names …
However, such automatically generated tests have no meaningful test and variable names …
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
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 …
Test Wars: A Comparative Study of SBST, Symbolic Execution, and LLM-Based Approaches to Unit Test Generation
Generating tests automatically is a key and ongoing area of focus in software engineering
research. The emergence of Large Language Models (LLMs) has opened up new …
research. The emergence of Large Language Models (LLMs) has opened up new …
Higher Fault Detection Through Novel Density Estimators in Unit Test Generation
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 …
A Review of the Applications of Heuristic Algorithms in Test Case Generation Problem
H Guan, D Li, H Li, M Zhao… - 2024 IEEE 24th …, 2024 - ieeexplore.ieee.org
This paper reviews the state-of-the-art heuristic-based methods in test case generation,
analyzing the technical characteristics of these technologies. By conducting a thorough …
analyzing the technical characteristics of these technologies. By conducting a thorough …
Using local LLMs in constrained environments for increasing mutation score
RRL van der Geest - 2024 - repository.tudelft.nl
Mutation testing is a way to test the effectiveness of a test suite for catching bugs in a given
piece of code. Writing these tests manually can be cumbersome and time-consuming …
piece of code. Writing these tests manually can be cumbersome and time-consuming …