Optimization techniques can be applied to many aspects of the software development process: research areas known as Search-Based Software Engineering (SBSE). In our previous workshop editions, we focused on the application of SBSE to perform testing tasks, the so called Search-Based Software Testing (SBST). Ongoing research on SBST and Fuzz Testing are proposing techniques to address similar testing problems and with similar goals. This has led to the decision to rename the workshop to Search-Based and Fuzz Testing (SBFT). SBFT strategies have been applied to a wide variety of testing goals including achieving high coverage, finding faults and vulnerabilities, and checking various state-based and non-functional properties (e.g., scalability, acceptance).
The central objective of this workshop is to bring together researchers and industrial practitioners from SBST, Fuzzing, and the wider Software Engineering community to share experience and provide directions for future research on the automation of software testing. The second objective of this workshop is to encourage the use of search and fuzzing techniques to combine testing with other software engineering areas. SBFT is a two-day workshop that comprises a research track, keynotes, and popular testing tool competitions. Additionally, the workshop brings together experts for a panel discussion. All those activities will contribute to break new ground in SBFT research.
SBFT 2025 is co-located with ICSE 2025.
In order to attend SBFT, you have to register for our workshop using the official ICSE
registration link.
Once you registered for SBFT, the ICSE team will send you an e-mail with the invitation to attend
the conference.
Similar to last year, we will also live-stream SBFT 2025 via Twitch. Feel free to join our stream and ask questions in the chat if you are not registered.
Researchers and practitioners are invited to submit:
In all cases, papers should address a problem in the software testing/verification/validation domain or combine elements of those domains with other concerns in the software engineering lifecycle. Examples of problems in the software testing/verification/validation domain include (but are not limited to) generating testing data, fuzzing, prioritizing test cases, constructing test oracles, minimizing test suites, verifying software models, testing service-orientated architectures, constructing test suites for interaction testing, SBFT for AI applications, machine learning techniques for SBFT, and validating realtime properties.
The solution should apply any kind of fuzzing or a metaheuristic search strategy such as (but not limited to) random search, local search (e.g. hill climbing, simulated annealing, and tabu search), evolutionary algorithms (e.g. genetic algorithms, evolution strategies, and genetic programming), ant colony optimization, particle swarm optimization, and multi-objective optimization.
This topic is currently under discussion. More information coming soon!
Photo by Timothy Lethbridge, licensed under CC BY-NC 4.0.
TBA
Adhering to ICSE’25 workshop dates (AOE):
November 11 2024
December 8 2024
December 6 2024
Check with the competition organizers for possible deadline extensions.
January 17 2024
Jan 24 2024
February 5 2024
TBA
All submissions must conform to the ICSE’25 formatting and submission instructions. All submissions must be anonymized, in PDF format and should be performed electronically through HotCRP.