ATheNA

ATheNA is a toolbox used to generate failure-revealing test cases combining automatically-generated and manually-defined fitness functions.
6 Downloads
Updated Fri, 12 Aug 2022 19:33:59 +0000

View License

ATheNA is a Search-Based Software Testing framework that combines an automatically-generated and a manually-defined fitness functions to search for failure-revealing test cases. On one hand, the automatic fitness function is generated using S-TaLiRo directly from the requirement under analysis. On the other hand, the manual fitness function must be written by the user employing their domain knowledge and expertise on the model.

Cite As

Formica, Federico, et al. Search-Based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions. arXiv, 2022, doi:10.48550/ARXIV.2207.11016.

View more styles
MATLAB Release Compatibility
Created with R2022a
Compatible with R2016a and later releases
Platform Compatibility
Windows macOS Linux

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!
Version Published Release Notes
1.0.0.4

Reorganized files

1.0.0.3

Updated documentation

1.0.0.2

Updated documentation

1.0.0.1

Edited citation

1.0