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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:2024 IEEE/ACM International Workshop on Search-Based and Fuzz Testing (SBFT) S. 67 - 68
Hauptverfasser: Sadykov, Rustam, Abdullin, Azat, Akhin, Marat
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: ACM 14.04.2024
Schlagworte:
Conferences
Debugging
Fuzzing
Genetics
Java
Software
Software and its engineering → Software testing and debugging
Test pattern generators
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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