Search-based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions - Dataset and Results

This dataset contains the replication package for the paper: Federico Formica, Tony Fan, and Claudio Menghi. 2023. "Search-based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions". The dataset contains: The models used in the evaluation section. All the results obtained by running Athena-S on the models. The scripts that automatically analyze the results file and produce the tables and figures used in the paper.