Concepedia

Federico Formica

FF

Statistics

Publications

4

Citations

64

H-Index

4

Active since

2022

Affiliations

McMaster University(Current)

University of Bergamo

Kyushu University

National Institute of Informatics

Arizona State University

Federico Formica is an author at McMaster University specializing in systems engineering, computer science, and temporal logic specification.

ORCID

Publications per year

2022–2023

4

Publications

4

Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models

Shiva Nejati, Lev Sorokin, Damir A. Safin et al. · Information and Software Technology · 2023 · 18 citations

, , +12

Search-Based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions

Federico Formica, Tony Fan, Claudio Menghi · ACM Transactions on Software Engineering and Methodology · 2023 · 17 citations

, , +14

ARCH-COMP23 Category Report: Falsification

Claudio Menghi, Paolo Arcaini, Walstan Baptista et al. · EPiC series in computing · 2023 · 15 citations · Full text

, , +17

ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources

Gidon Ernst, Paolo Arcaini, Georgios Fainekos et al. · EPiC series in computing · 2022 · 14 citations · Full text

, , +17

1–4 of 4