Federico Formica

Federico Formica

McMaster University - Hamilton / Canada
Engineering & Technology / Computer Science
AD Scientific Index ID: 5325287
person_outline Federico Formica's MOST POPULAR ARTICLES
1-) Arch-comp 2022 category report: Falsification with ubounded resources Proceedings of 9th International Workshop on Applied Verification of …, 2022
2-) Search-based software testing driven by automatically generated and manually defined fitness functions ACM Transactions on Software Engineering and Methodology 33 (2), 1-37, 2023
3-) Arch-comp 2023 category report: Falsification 10th International Workshop on Applied Verification of Continuous and Hybrid …, 2023
4-) Reflections on surrogate-assisted search-based testing: A taxonomy and two replication studies based on industrial ADAS and simulink models Information and Software Technology 163, 107286, 2023
5-) Simulation-based testing of simulink models with test sequence and test assessment blocks IEEE Transactions on Software Engineering 50 (2), 239-257, 2023