EvoKex at the SBFT 2024 Java Tool Competition

EvoKex is a test generation tool for Java that seamlessly integrates genetic testing from EvoSuite and concolic analysis from Kex. This integration is achieved through the dynamic sharing of states between these two powerful approaches. By combining genetic and concolic testing, EvoKex aims to overc...

Full description

Saved in:
Bibliographic Details
Published in:2024 IEEE/ACM International Workshop on Search-Based and Fuzz Testing (SBFT) pp. 67 - 68
Main Authors: Sadykov, Rustam, Abdullin, Azat, Akhin, Marat
Format: Conference Proceeding
Language:English
Published: ACM 14.04.2024
Subjects:
Conferences
Debugging
Fuzzing
Genetics
Java
Software
Software and its engineering → Software testing and debugging
Test pattern generators
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:EvoKex is a test generation tool for Java that seamlessly integrates genetic testing from EvoSuite and concolic analysis from Kex. This integration is achieved through the dynamic sharing of states between these two powerful approaches. By combining genetic and concolic testing, EvoKex aims to overcome individual tools' limitations and provides a synergistic solution for enhanced automated test generation. This paper summarizes EvoKex's performance and experiences in the Java unit testing tool competition at the International Workshop on Search-Based and Fuzz Testing (SBFT) 2024.
DOI:10.1145/3643659.3648558