:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Li, Meng, Yang, Xiaohua, Liu, Jie, Yan, Shiyu
Formato:	Preprint
Publicado:	2026
Materias:	Software Engineering Machine Learning Logic in Computer Science 68N30 D.2.4; D.2.5
Acceso en línea:	https://arxiv.org/abs/2605.17390
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

Path-optimal symbolic execution of heap-manipulating programs
por: Braione, Pietro, et al.
Publicado: (2024)

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)

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

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

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

Trace Validation of Unmodified Concurrent Systems with OmniLink
por: Hackett, Finn, et al.
Publicado: (2026)

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

Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
por: Lin, Hongyu, et al.
Publicado: (2026)

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

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

Array-Carrying Symbolic Execution for Function Contract Generation
por: Lu, Weijie, et al.
Publicado: (2026)

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

OWLOOP: Interfaces for Mapping OWL Axioms into OOP Hierarchies
por: Buoncompagni, Luca, et al.
Publicado: (2024)

Testing SSD Firmware with State Data-Aware Fuzzing: Accelerating Coverage in Nondeterministic I/O Environments
por: Yoon, Gangho, et al.
Publicado: (2025)

SWE-ABS: Adversarial Benchmark Strengthening Exposes Inflated Success Rates on Test-based Benchmark
por: Yu, Boxi, et al.
Publicado: (2026)

Combined Program Analysis Techniques: A Systematic Mapping Study
por: Braione, Pietro, et al.
Publicado: (2026)

Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions
por: Sharmin, Shaila, et al.
Publicado: (2025)

Type Inference for Isabelle2Cpp
por: Jiang, Dongchen, et al.
Publicado: (2024)

Tool-Assisted Conformance Checking to Reference Process Models
por: Rumpe, Bernhard, 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)

Validation of an analyzability model for quantum software: a family of experiments
por: Díaz-Muñoz, Ana, et al.
Publicado: (2026)

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

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

Employing Continuous Integration inspired workflows for benchmarking of scientific software -- a use case on numerical cut cell quadrature
por: Toprak, Teoman, et al.
Publicado: (2025)

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

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

Comparing Human and LLM Generated Code: The Jury is Still Out!
por: Licorish, Sherlock A., et al.
Publicado: (2025)

Formal Methods: From Academia to Industrial Practice. A Travel Guide
por: Huisman, Marieke, et al.
Publicado: (2020)

Detecting and Preventing Latent Risk Accumulation in High-Performance Software Systems
por: Arafat, Jahidul, et al.
Publicado: (2025)

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

Evaluating Cryptographic API Misuse Detectors for Go
por: Andersson, Vivi, et al.
Publicado: (2026)

Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans
por: Lucio, Levi
Publicado: (2026)

The Specification as Quality Gate: Three Hypotheses on AI-Assisted Code Review
por: Zietsman, Christo
Publicado: (2026)

Synthesizing Precise Protocol Specs from Natural Language for Effective Test Generation
por: Liu, Kuangxiangzi, et al.
Publicado: (2025)

LLM-based Dynamic Differential Testing for Database Connectors with Reinforcement Learning-Guided Prompt Selection
por: Lyu, Ce, et al.
Publicado: (2025)