ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise-Reference-Cited by-同舟云学术

ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise

Published:2024-07-10 Issue: Volume:90 Page:587-591
ISSN:
Container-title:Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering
language:
Short-container-title:

Author:

Formica Federico¹^ORCID,Mahboob Mohammad Mahdi¹^ORCID,Askarpour Mehrnoosh¹^ORCID,Menghi Claudio²^ORCID

Affiliation:

1. McMaster University, Hamilton, Canada

2. University of Bergamo, Bergamo, Italy / McMaster University, Hamilton, Canada

Funder

Natural Sciences and Engineering Research Council of Canada

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3663529.3663804

Reference34 articles.

1. Analysing the fitness landscape of search-based software testing problems

2. Almulla, H., Gay, G.: Learning how to search: Generating exception-triggering tests through adaptive fitness function selection. In: International Conference on Software Testing, Validation and Verification. pp. 63–73. IEEE (2020)

3. Amal, B., Kessentini, M., Bechikh, S., Dea, J., Said, L.B.: On the use of machine learning and search-based software engineering for ill-defined fitness function: A case study on software refactoring. In: Le Goues, C., Yoo, S. (eds.) International Symposium on Search-Based Software Engineering. pp. 31–45. Springer, Cham (2014)

4. Annpureddy, Y., Liu, C., Fainekos, G., Sankaranarayanan, S.: S-taliro: A tool for temporal logic falsification for hybrid systems. In: Tools and Algorithms for the Construction and Analysis of Systems. pp. 254–257. Springer (2011)

5. Arcuri, A., Briand, L.: A practical guide for using statistical tests to assess randomized algorithms in software engineering. In: International Conference on Software Engineering. pp. 1–10. ACM (2011)