McMaster Centre for Software Certification (McSCert)
Published September 6, 2023 | Version v1
Dataset Open

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

Authors/Creators

  • 1. McMaster University
  • 2. University of Bergamo, McMaster University

Description

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.

Notes

To run Athena on the models, please install Athena from the following GitHub page: https://github.com/ATheNA-SBST/ATheNA

Files

ATheNA.zip

Files (2.1 GB)

Name Size
md5:b3ab5275cbd5cd4d57274838098ba3da
2.1 GB Preview Download

Additional details

Related works

Is supplement to
Preprint: 10.48550/arXiv.2207.11016 (DOI)