ATheNA

Version 1.0.0.5 (426 KB) by Federico Formica

ATheNA is a toolbox used to generate failure-revealing test cases combining automatically-generated and manually-defined fitness functions.

https://github.com/ATheNA-SBST/ATheNA

0.0

(0)

12 Downloads

Updated 4 Oct 2024

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.” ACM Transactions on Software Engineering and Methodology, vol. 33, no. 2, Association for Computing Machinery (ACM), Dec. 2023, pp. 1–37, doi:10.1145/3624745.

View more styles

Formica, Federico, et al. “ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise.” Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, vol. 90, ACM, 2024, pp. 587–91, doi:10.1145/3663529.3663804.

View more styles

MATLAB Release Compatibility

Created with R2022b

Compatible with R2016a and later releases

Platform Compatibility

Windows macOS Linux

Tags Add Tags

src

src/UpdateStaliro

src/fitness

Version	Published	Release Notes
1.0.0.5	4 Oct 2024	Fixed license issue	Toolbox Zip
1.0.0.4	12 Aug 2022	Reorganized files	Toolbox Zip
1.0.0.3	11 Aug 2022	Updated documentation	Zip Toolbox
1.0.0.2	10 Aug 2022	Updated documentation	Zip Toolbox
1.0.0.1	9 Aug 2022	Edited citation	Toolbox Zip
1.0	9 Aug 2022		Toolbox Zip

MLA	Formica, Federico, et al. “Search-Based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions.” ACM Transactions on Software Engineering and Methodology, vol. 33, no. 2, Association for Computing Machinery (ACM), Dec. 2023, pp. 1–37, doi:10.1145/3624745.
APA	Formica, F., Fan, T., & Menghi, C. (2023). Search-Based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions. ACM Transactions on Software Engineering and Methodology, 33(2), 1–37. Association for Computing Machinery (ACM). Retrieved from http://dx.doi.org/10.1145/3624745
BibTeX	@article{Formica_2023, title={Search-Based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions}, volume={33}, ISSN={1557-7392}, url={http://dx.doi.org/10.1145/3624745}, DOI={10.1145/3624745}, number={2}, journal={ACM Transactions on Software Engineering and Methodology}, publisher={Association for Computing Machinery (ACM)}, author={Formica, Federico and Fan, Tony and Menghi, Claudio}, year={2023}, month=dec, pages={1–37} }

MLA	Formica, Federico, et al. “ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise.” Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, vol. 90, ACM, 2024, pp. 587–91, doi:10.1145/3663529.3663804.
APA	Formica, F., Mahboob, M. M., Askarpour, M., & Menghi, C. (2024). ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise. In Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, FSE ’24 (Vol. 90, pp. 587–591). ACM. Retrieved from http://dx.doi.org/10.1145/3663529.3663804
BibTeX	@inproceedings{Formica_2024, series={FSE ’24}, title={ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise}, volume={90}, url={http://dx.doi.org/10.1145/3663529.3663804}, DOI={10.1145/3663529.3663804}, booktitle={Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering}, publisher={ACM}, author={Formica, Federico and Mahboob, Mohammad Mahdi and Askarpour, Mehrnoosh and Menghi, Claudio}, year={2024}, month=jul, pages={587–591}, collection={FSE ’24} }