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
| 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} }
|
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
| 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} }
|
