Copertina

Automatizing Software Cognitive Complexity Reduction through Integer Linear Programming

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Saborido, Rubén, Ferrer, Javier, Chicano, Francisco
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering Computational Complexity
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Multi-objective Integer Linear Programming approach for Automatic Software Cognitive Complexity Reduction
di: Novoa-Hurtado, Adriana, et al.
Pubblicazione: (2026)

CodeComplex: Dataset for Worst-Case Time Complexity Prediction
di: Baik, Seung-Yeop, et al.
Pubblicazione: (2024)

Formal Methods Meets Readability: Auto-Documenting JML Java Code
di: Abad, Juan Carlos Recio, et al.
Pubblicazione: (2025)

Learning Randomized Reductions
di: Erata, Ferhat, et al.
Pubblicazione: (2024)

Computational Complexity of Edge Coverage Problem for Constrained Control Flow Graphs
di: Ruszil, Jakub, et al.
Pubblicazione: (2026)

CMSA algorithm for solving the prioritized pairwise test data generation problem in software product lines
di: Ferrer, Javier, et al.
Pubblicazione: (2024)

Models That Prove Their Own Correctness
di: Amit, Noga, et al.
Pubblicazione: (2024)

Efficient Heuristics and Exact Methods for Pairwise Interaction Sampling
di: Fekete, Sándor P., et al.
Pubblicazione: (2025)

Automated LLM-Based Accessibility Remediation: From Conventional Websites to Angular Single-Page Applications
di: Fernández-Navarro, Carla, et al.
Pubblicazione: (2026)

Combining Logic with Large Language Models for Automatic Debugging and Repair of ASP Programs
di: Brancas, Ricardo, et al.
Pubblicazione: (2024)

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

Computational Complexity and Integer Programming Formulation of the Oredango Puzzle
di: Takahata, Takuma, et al.
Pubblicazione: (2025)

Voigt System — Complete Scientific Framework
di: VOIGT, Rafael Felippe
Pubblicazione: (2026)

Effort-Optimized, Accuracy-Driven Labelling and Validation of Test Inputs for DL Systems: A Mixed-Integer Linear Programming Approach
di: Amini, Mohammad Hossein, et al.
Pubblicazione: (2025)

Cognitive Biases in LLM-Assisted Software Development
di: Zhou, Xinyi, et al.
Pubblicazione: (2026)

Automatic Platform Configuration and Software Integration for Software-Defined Vehicles
di: Pan, Fengjunjie, et al.
Pubblicazione: (2024)

Agent-Driven Automatic Software Improvement
di: Ruiz, Fernando Vallecillos
Pubblicazione: (2024)

Building Software Engineering Capacity through a University Open Source Program Office
di: Holdener, Ekaterina, et al.
Pubblicazione: (2024)

Automatically Benchmarking LLM Code Agents through Agent-Driven Annotation and Evaluation
di: Fu, Lingyue, et al.
Pubblicazione: (2025)

The Impact of Program Reduction on Automated Program Repair
di: Vidziunas, Linas, et al.
Pubblicazione: (2024)

Efficient anytime algorithms to solve the bi-objective Next Release Problem
di: Domínguez-Ríos, Miguel Ángel, et al.
Pubblicazione: (2024)

Designing Software with Complex Configurations
di: Cunha, Alcino
Pubblicazione: (2024)

GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education
di: Orvalho, Pedro, et al.
Pubblicazione: (2024)

Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
di: Lanzinger, Florian, et al.
Pubblicazione: (2024)

Automatic Generation of Explainability Requirements and Software Explanations From User Reviews
di: Obaidi, Martin, et al.
Pubblicazione: (2025)

Automatically Detecting Heterogeneous Bugs in High-Performance Computing Scientific Software
di: Davis, Matthew, et al.
Pubblicazione: (2025)

Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification
di: Somorjai, Márk, et al.
Pubblicazione: (2024)

Evaluation of Systems Programming Exercises through Tailored Static Analysis
di: Natella, Roberto
Pubblicazione: (2024)

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

Solving 4-Block Integer Linear Programs Faster Using Affine Decompositions of the Right-Hand Sides
di: Lassota, Alexandra, et al.
Pubblicazione: (2026)

Automatic Bottom-Up Taxonomy Construction: A Software Application Domain Study
di: Sas, Cezar, et al.
Pubblicazione: (2024)

AutoFL: A Tool for Automatic Multi-granular Labelling of Software Repositories
di: Sas, Cezar, et al.
Pubblicazione: (2024)

Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements
di: Oldfield, Noah H., et al.
Pubblicazione: (2024)

Fine-Grained Equivalence for Problems Related to Integer Linear Programming
di: Rohwedder, Lars, et al.
Pubblicazione: (2024)

Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq
di: Gross, Jason, et al.
Pubblicazione: (2022)

IPSynth: Interprocedural Program Synthesis for Software Security Implementation
di: Shokri, Ali, et al.
Pubblicazione: (2024)

No Man is an Island: Towards Fully Automatic Programming by Code Search, Code Generation and Program Repair
di: Zhang, Quanjun, et al.
Pubblicazione: (2024)

Building Collaborative Learning: Exploring Social Annotation in Introductory Programming
di: Neto, Francisco Gomes de Oliveira, et al.
Pubblicazione: (2024)

A Tool for Automatically Cataloguing and Selecting Pre-Trained Models and Datasets for Software Engineering
di: González, Alexandra, et al.
Pubblicazione: (2026)

Ethics of Software Programming with Generative AI: Is Programming without Generative AI always radical?
di: Atemkeng, Marcellin, et al.
Pubblicazione: (2024)