2 citations · 5 across the 12 of their papers we have counts for
12 papers
Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables
Aren A. Babikian, Alessio Di Sandro, Federico Formica +2
The development of complex software systems, e.g., cyber-physical systems (CPSs), involves continuous evolution of both system implementations and their requirements. These two art…
Engineering Resource-constrained Software Systems with DNN Components: a Concept-based Pruning Approach
Federico Formica, Andrea Rota, Aurora Francesca Zanenga +4
Deep Neural Networks (DNNs) are widely used by engineers to solve difficult problems that require predictive modeling from data. However, these models are often massive, with milli…
Ensembles-based Feature Guided Analysis
Federico Formica, Stefano Gregis, Andrea Rota +3
Recent Deep Neural Networks (DNN) applications ask for techniques that can explain their behavior. Existing solutions, such as Feature Guided Analysis (FGA), extract rules on their…
Search-based Software Testing Driven by Domain Knowledge: Reflections and New Perspectives
Federico Formica, Mark Lawford, Claudio Menghi
Search-based Software Testing (SBST) can automatically generate test cases to search for requirements violations. Unlike manual test case development, it can generate a substantial…
Feature-Guided Analysis of Neural Networks: A Replication Study
Federico Formica, Stefano Gregis, Aurora Francesca Zanenga +3
Understanding why neural networks make certain decisions is pivotal for their use in safety-critical applications. Feature-Guided Analysis (FGA) extracts slices of neural networks…
Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins
Marsha Chechik, Arianna Fedeli, Gianluca Filippone +4
This volume contains the proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins (ASQAP 2025), which was held in H…
Search-based Testing of Simulink Models with Requirements Tables
Federico Formica, Chris George, Shayda Rahmatyan +4
Search-based software testing (SBST) of Simulink models helps find scenarios that demonstrate that the system can reach a state that violates one of its requirements. However, many…
Search-based Trace Diagnostic for Cyber-Physical Systems
Gabriel Araujo, Ricardo Caldas, Federico Formica +3
Cyber-physical systems (CPS) development requires verifying whether system behaviors violate their requirements. This analysis often considers system behaviors expressed by executi…
Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator
Federico Formica, Nicholas Petrunti, Lucas Bruck +3
Automotive software development requires engineers to test their systems to detect violations of both functional and drivability requirements. Functional requirements define the fu…
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 Safin +3
Surrogate-assisted search-based testing (SA-SBT) aims to reduce the computational time for testing compute-intensive systems. Surrogates enhance testing techniques by improving tes…
Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks
Federico Formica, Tony Fan, Akshay Rajhans +3
Simulation-based software testing supports engineers in finding faults in Simulink models. It typically relies on search algorithms that iteratively generate test inputs used to ex…
Search-based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions
Federico Formica, Tony Fan, Claudio Menghi
Search-based software testing (SBST) typically relies on fitness functions to guide the search exploration toward software failures. There are two main techniques to define fitness…