Cover Image

Effort-Optimized, Accuracy-Driven Labelling and Validation of Test Inputs for DL Systems: A Mixed-Integer Linear Programming Approach

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Amini, Mohammad Hossein, Sabetzadeh, Mehrdad, Nejati, Shiva
Format:	Preprint
Published:	2025
Subjects:	Computer Vision and Pattern Recognition Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Test Input Validation for Vision-based DL Systems: An Active Learning Approach
by: Ghobari, Delaram, et al.
Published: (2025)

Automated Test Validators for Flaky Cyber-Physical System Simulators: Approach and Evaluation
by: Jodat, Baharin A., et al.
Published: (2025)

Genetic Programming for Self-Adaptive Auto-Scaling of Microservices
by: Li, Jia, et al.
Published: (2026)

Bridging the Gap between Real-world and Synthetic Images for Testing Autonomous Driving Systems
by: Amini, Mohammad Hossein, et al.
Published: (2024)

Requirements-driven Slicing of Simulink Models Using LLMs
by: Luitel, Dipeeka, et al.
Published: (2024)

Simulink Mutation Testing using CodeBERT
by: Zhang, Jingfan, et al.
Published: (2025)

DSL or Code? Evaluating the Quality of LLM-Generated Algebraic Specifications: A Case Study in Optimization at Kinaxis
by: Ayoughi, Negin, et al.
Published: (2026)

A Lean Simulation Framework for Stress Testing IoT Cloud Systems
by: Li, Jia, et al.
Published: (2024)

Enhancing Automata Learning with Statistical Machine Learning: A Network Security Case Study
by: Ayoughi, Negin, et al.
Published: (2024)

Question Answering for Multi-Release Systems: A Case Study at Ciena
by: Khamsepour, Parham, et al.
Published: (2026)

Developing a Llama-Based Chatbot for CI/CD Question Answering: A Case Study at Ericsson
by: Chaudhary, Daksh, et al.
Published: (2024)

Can Search-Based Testing with Pareto Optimization Effectively Cover Failure-Revealing Test Inputs?
by: Sorokin, Lev, et al.
Published: (2024)

The Impact of Critique on LLM-Based Model Generation from Natural Language: The Case of Activity Diagrams
by: Khamsepour, Parham, et al.
Published: (2025)

Practical Guidelines for the Selection and Evaluation of Natural Language Processing Techniques in Requirements Engineering
by: Sabetzadeh, Mehrdad, et al.
Published: (2024)

An Empirical Study on LLM-based Classification of Requirements-related Provisions in Food-safety Regulations
by: Hassani, Shabnam, et al.
Published: (2025)

Improving Requirements Completeness: Automated Assistance through Large Language Models
by: Luitel, Dipeeka, et al.
Published: (2023)

From Law to Gherkin: A Human-Centred Quasi-Experiment on the Quality of LLM-Generated Behavioural Specifications from Food-Safety Regulations
by: Hassani, Shabnam, et al.
Published: (2025)

Rethinking Basis Path Testing: Mixed Integer Programming Approach for Test Path Set Generation
by: Wei, Chao, et al.
Published: (2026)

Rethinking Legal Compliance Automation: Opportunities with Large Language Models
by: Hassani, Shabnam, et al.
Published: (2024)

SeqTG: Scalable Combinatorial Test Generation via Sequential Integer Linear Programming
by: Yang, Sitong, et al.
Published: (2026)

Generating Minimalist Adversarial Perturbations to Test Object-Detection Models: An Adaptive Multi-Metric Evolutionary Search Approach
by: McIntyre-Garcia, Cristopher, et al.
Published: (2024)

ReFuzzer: Feedback-Driven Approach to Enhance Validity of LLM-Generated Test Programs
by: Shree, Iti, et al.
Published: (2025)

Testing in the Evolving World of DL Systems:Insights from Python GitHub Projects
by: Ali, Qurban, et al.
Published: (2024)

Randomized and Diverse Input State Generation for Quantum Program Testing
by: Ernzer, Maryse, et al.
Published: (2026)

Dynasto: Validity-Aware Dynamic-Static Parameter Optimization for Autonomous Driving Testing
by: Humeniuk, Dmytro, et al.
Published: (2026)

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

Error Understanding in Program Code With LLM-DL for Multi-label Classification
by: Amin, Md Faizul Ibne, et al.
Published: (2026)

Automatizing Software Cognitive Complexity Reduction through Integer Linear Programming
by: Saborido, Rubén, et al.
Published: (2024)

SPICE: An Automated SWE-Bench Labeling Pipeline for Issue Clarity, Test Coverage, and Effort Estimation
by: Oliva, Gustavo A., et al.
Published: (2025)

A Tale of Two DL Cities: When Library Tests Meet Compiler
by: Shen, Qingchao, et al.
Published: (2024)

Is Measurement Enough? Rethinking Output Validation in Quantum Program Testing
by: Ye, Jiaming, et al.
Published: (2025)

A Multi-Agent Approach for REST API Testing with Semantic Graphs and LLM-Driven Inputs
by: Kim, Myeongsoo, et al.
Published: (2024)

Fault Localisation and Repair for DL Systems: An Empirical Study with LLMs
by: Kim, Jinhan, et al.
Published: (2025)

Cottontail: Large Language Model-Driven Concolic Execution for Highly Structured Test Input Generation
by: Tu, Haoxin, et al.
Published: (2025)

Towards Assessing Deep Learning Test Input Generators
by: Mzoughi, Seif, et al.
Published: (2025)

DynaMO: Protecting Mobile DL Models through Coupling Obfuscated DL Operators
by: Zhou, Mingyi, et al.
Published: (2024)

Reducing Labeling Effort in Architecture Technical Debt Detection through Active Learning and Explainable AI
by: Sutoyo, Edi, et al.
Published: (2026)

Evaluating Numerical Accuracy in Mixed-Precision Computing by Dual-Delta Testing
by: Xie, Peichen
Published: (2026)

The Future of Software Testing: AI-Powered Test Case Generation and Validation
by: Baqar, Mohammad, et al.
Published: (2024)

An Annotation-based Approach for Finding Bugs in Neural Network Programs
by: Rezaalipour, Mohammad, et al.
Published: (2021)