:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Liu, Kuangxiangzi, Chakraborty, Dhiman, Liggesmeyer, Alexander, Zeller, Andreas
Formato:	Preprint
Publicado:	2025
Materias:	Software Engineering Machine Learning Networking and Internet Architecture 68N30 D.2.5; D.2.1; F.4.2; C.2.2
Acceso en línea:	https://arxiv.org/abs/2511.17977
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Language-Based Protocol Testing
por: Liggesmeyer, Alexander, et al.
Publicado: (2025)

Inferring Input Grammars from Code with Symbolic Parsing
por: Bettscheider, Leon, et al.
Publicado: (2025)

Learning Program Behavioral Models from Synthesized Input-Output Pairs
por: Mammadov, Tural, et al.
Publicado: (2024)

Large Language Models in Software Documentation and Modeling: A Literature Review and Findings
por: Radosky, Lukas, et al.
Publicado: (2026)

High-Performance Generation of Constrained Inputs
por: Crump, Addison, et al.
Publicado: (2025)

The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages
por: Bagnara, Roberto, et al.
Publicado: (2016)

Evaluating Developer-written Unit Test Case Reduction for Java -- A Replication Study
por: Le, Tuan D, et al.
Publicado: (2025)

Assessing Reliability of Statistical Maximum Coverage Estimators in Fuzzing
por: Liyanage, Danushka, et al.
Publicado: (2025)

DRS-OSS: Practical Diff Risk Scoring with LLMs
por: Sayedsalehi, Ali, et al.
Publicado: (2025)

TDAD: Test-Driven Agentic Development - Reducing Code Regressions in AI Coding Agents via Graph-Based Impact Analysis
por: Alonso, Pepe, et al.
Publicado: (2026)

Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review
por: López, Hugo A., et al.
Publicado: (2024)

Utilization of Pre-trained Language Model for Adapter-based Knowledge Transfer in Software Engineering
por: Saberi, Iman, et al.
Publicado: (2023)

AdvFusion: Adapter-based Knowledge Transfer for Code Summarization on Code Language Models
por: Saberi, Iman, et al.
Publicado: (2023)

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
por: Lauer, Alexander, et al.
Publicado: (2026)

FORTE: An Open-Source System for Cost-Effective and Scalable Environmental Monitoring
por: Pfister, Zoe, et al.
Publicado: (2025)

Software Testing at the Network Layer: Automated HTTP API Quality Assessment and Security Analysis of Production Web Applications
por: Mughal, Ali Hassaan, et al.
Publicado: (2026)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
por: Guo, Jinyao, et al.
Publicado: (2025)

Synthesizing Test Cases for Narrowing Specification Candidates
por: Cunha, Alcino, et al.
Publicado: (2025)

Using Voice and Biofeedback to Predict User Engagement during Product Feedback Interviews
por: Ferrari, Alessio, et al.
Publicado: (2021)

NOETHER: A Constructive Framework for Metamorphic Pattern Discovery from Operator Algebras
por: Li, Meng, et al.
Publicado: (2026)

LLMDFA: Analyzing Dataflow in Code with Large Language Models
por: Wang, Chengpeng, et al.
Publicado: (2024)

Feature-Factory: Automating Software Feature Integration Using Generative AI
por: Vsevolodovna, Ruslan Idelfonso Magana
Publicado: (2024)

Supporting software engineering tasks with agentic AI: Demonstration on document retrieval and test scenario generation
por: Kica, Marian, et al.
Publicado: (2026)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
por: Helbling, Caleb, et al.
Publicado: (2026)

cozy: Comparative Symbolic Execution for Binary Programs
por: Helbling, Caleb, et al.
Publicado: (2025)

PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing
por: Rodríguez, María Belén, et al.
Publicado: (2026)

Directed Grammar-Based Test Generation
por: Kirschner, Lukas, et al.
Publicado: (2025)

Trustworthy Clinical Decision Support Using Meta-Predicates and Domain-Specific Languages
por: Bouzinier, Michael, et al.
Publicado: (2026)

Mind the Metrics: Patterns for Telemetry-Aware In-IDE AI Application Development using the Model Context Protocol (MCP)
por: Koc, Vincent, et al.
Publicado: (2025)

Dual-Process Scaffold Reasoning for Enhancing LLM Code Debugging
por: Hsieh, Po-Chung, et al.
Publicado: (2025)

A Survey of Protocol Fuzzing
por: Zhang, Xiaohan, et al.
Publicado: (2024)

NetCAS: Dynamic Cache and Backend Device Management in Networked Environments
por: Hwang, Joon Yong, et al.
Publicado: (2025)

Contract-based Verification of Digital Twins
por: Naeem, Muhammad, et al.
Publicado: (2025)

Validating Formal Specifications with LLM-generated Test Cases
por: Cunha, Alcino, et al.
Publicado: (2025)

Multiple Query Satisfiability of Constrained Horn Clauses
por: De Angelis, Emanuele, et al.
Publicado: (2022)

Case Studies and Reflections on Agentic Software Engineering for Rapid Development of Digital Music Instruments
por: Yee-King, Matthew John
Publicado: (2026)

NES: An Instruction-Free, Low-Latency Next Edit Suggestion Framework Powered by Learned Historical Editing Trajectories
por: Chen, Xinfang, et al.
Publicado: (2025)

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
por: Oza, Neeva, et al.
Publicado: (2025)

Preprocessing is All You Need: Boosting the Performance of Log Parsers With a General Preprocessing Framework
por: Qin, Qiaolin, et al.
Publicado: (2024)

Addressing Visual Impairments with Model-Driven Engineering: A Systematic Literature Review
por: Michael, Judith, et al.
Publicado: (2025)