Cover Image

Engineering Resource-constrained Software Systems with DNN Components: a Concept-based Pruning Approach

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Formica, Federico, Rota, Andrea, Zanenga, Aurora Francesca, Bombarda, Andrea, Lawford, Mark, Briand, Lionel C., Menghi, Claudio
Format:	Preprint
Published:	2026
Subjects:	Software Engineering Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Search-based Software Testing Driven by Domain Knowledge: Reflections and New Perspectives
by: Formica, Federico, et al.
Published: (2025)

Failure Modes and Effects Analysis: An Experience from the E-Bike Domain
by: Bombarda, Andrea, et al.
Published: (2025)

Ensembles-based Feature Guided Analysis
by: Formica, Federico, et al.
Published: (2026)

Feature-Guided Analysis of Neural Networks: A Replication Study
by: Formica, Federico, et al.
Published: (2025)

Search-based Testing of Simulink Models with Requirements Tables
by: Formica, Federico, et al.
Published: (2025)

Trace Diagnostics for Signal-based Temporal Properties
by: Boufaied, Chaima, et al.
Published: (2022)

Test Case Generation for Simulink Models: An Experience from the E-Bike Domain
by: Marzella, Michael, et al.
Published: (2025)

Search-based Trace Diagnostic
by: Araujo, Gabriel, et al.
Published: (2024)

CAFD: Concept-Aware DNN Fault Detection using VLMs
by: Abbasishahkoo, Amin, et al.
Published: (2026)

Search-based DNN Testing and Retraining with GAN-enhanced Simulations
by: Attaoui, Mohammed Oualid, et al.
Published: (2024)

MetaSel: A Test Selection Approach for Fine-tuned DNN Models
by: Abbasishahkoo, Amin, et al.
Published: (2025)

Fuzzing-based Mutation Testing of C/C++ Software in Cyber-Physical Systems
by: Lee, Jaekwon, et al.
Published: (2025)

System Safety Monitoring of Learned Components Using Temporal Metric Forecasting
by: Sharifi, Sepehr, et al.
Published: (2024)

A Highly Efficient Diversity-based Input Selection for DNN Improvement Using VLMs
by: Abbasishahkoo, Amin, et al.
Published: (2026)

Formalizing and validating properties in Asmeta with Large Language Models (Extended Abstract)
by: Bombarda, Andrea, et al.
Published: (2026)

Reclaiming Software Engineering as the Enabling Technology for the Digital Age
by: Vos, Tanja E. J., et al.
Published: (2026)

Constrained Co-evolutionary Metamorphic Differential Testing for Autonomous Systems with an Interpretability Approach
by: Yousefizadeh, Hossein, et al.
Published: (2025)

A Machine Learning Approach for Automated Filling of Categorical Fields in Data Entry Forms
by: Belgacem, Hichem, et al.
Published: (2022)

Drivora: A Unified and Extensible Infrastructure for Search-based Autonomous Driving Testing
by: Cheng, Mingfei, et al.
Published: (2026)

Stress Testing Control Loops in Cyber-Physical Systems
by: Mandrioli, Claudio, et al.
Published: (2023)

LTM: Scalable and Black-box Similarity-based Test Suite Minimization based on Language Models
by: Pan, Rongqi, et al.
Published: (2023)

Testing Updated Apps by Adapting Learned Models
by: Ngo, Chanh-Duc, et al.
Published: (2023)

Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming
by: Mandrioli, Claudio, et al.
Published: (2024)

Characterising Developer Sentiment in Software Components: An Exploratory Study of Gentoo
by: Tulili, Tien Rahayu, et al.
Published: (2024)

Mutation-Guided Unit Test Generation with a Large Language Model
by: Wang, Guancheng, et al.
Published: (2025)

MOTIF: A tool for Mutation Testing with Fuzzing
by: Lee, Jaekwon, et al.
Published: (2024)

LLM meets ML: Data-efficient Anomaly Detection on Unstable Logs
by: Hadadi, Fatemeh, et al.
Published: (2024)

Hallucination to Consensus: Multi-Agent LLMs for End-to-End JUnit Test Generation
by: Xu, Qinghua, et al.
Published: (2025)

Classifier or Prompt: A Case Study on Legal Requirements Traceability
by: Etezadi, Romina, et al.
Published: (2025)

Learning-Guided Fuzzing for Testing Stateful SDN Controllers
by: Ollando, Raphaël, et al.
Published: (2024)

TEASMA: A Practical Methodology for Test Adequacy Assessment of Deep Neural Networks
by: Abbasishahkoo, Amin, et al.
Published: (2023)

Supporting Safety Analysis of Image-processing DNNs through Clustering-based Approaches
by: Attaoui, Mohammed Oualid, et al.
Published: (2023)

Legal Requirements Analysis
by: Abualhaija, Sallam, et al.
Published: (2023)

Unknown Attack Detection in IoT Networks using Large Language Models: A Robust, Data-efficient Approach
by: Ali, Shan, et al.
Published: (2026)

DeepGD: A Multi-Objective Black-Box Test Selection Approach for Deep Neural Networks
by: Aghababaeyan, Zohreh, et al.
Published: (2023)

TVR: Automotive System Requirement Traceability Validation and Recovery Through Retrieval-Augmented Generation
by: Niu, Feifei, et al.
Published: (2025)

Automated Test Case Repair Using Language Models
by: Yaraghi, Ahmadreza Saboor, et al.
Published: (2024)

Requirements Coverage-Guided Minimization for Natural Language Test Cases
by: Pan, Rongqi, et al.
Published: (2025)

Scalable and Accurate Test Case Prioritization in Continuous Integration Contexts
by: Yaraghi, Ahmadreza Saboor, et al.
Published: (2021)

Learning-Based Relaxation of Completeness Requirements for Data Entry Forms
by: Belgacem, Hichem, et al.
Published: (2023)