1 citations · 3 across the 9 of their papers we have counts for
8 papers · 1 filter
Domain-Knowledge Driven Configuration Tuning of Kubernetes Workloads
Federico Imberti, Luca Cavagnis, Stefano Cereda +2
Industrial software applications often require engineers to tune the software deployment platform. Configuration tuning identifies valuable configurations that minimize costs while…
Property-Driven Synthetic Data Engineering for Data-Scarce Software Systems: Reflections from the Breast Cancer Domain
Aurora Francesca Zanenga, Andrea Bombarda, Marsha Chechik +4
Modern software systems increasingly depend on data for analysis, prediction, testing, and decision-making. Yet many important domains, including medicine, safety-critical systems,…
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…
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…
Failure Modes and Effects Analysis: An Experience from the E-Bike Domain
Andrea Bombarda, Federico Conti, Marcello Minervini +2
Software failures can have catastrophic and costly consequences. Functional Failure Mode and Effects Analysis (FMEA) is a standard technique used within Cyber-Physical Systems (CPS…
Test Case Generation for Simulink Models: An Experience from the E-Bike Domain
Michael Marzella, Andrea Bombarda, Marcello Minervini +3
Cyber-physical systems development often requires engineers to search for defects in their Simulink models. Search-based software testing (SBST) is a standard technology that suppo…
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…