Imagen de Portada

Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Lucio, Levi
Formato:	Preprint
Publicado:	2026
Materias:	Software Engineering Symbolic Computation D.2.4; D.2.5
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Verifying Correctness of PLC Software during System Evolution using Model Containment Approach
por: Bandyopadhyay, Soumyadip, et al.
Publicado: (2025)

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

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

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

Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions
por: Sharmin, Shaila, 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)

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

GBM Returns the Best Prediction Performance among Regression Approaches: A Case Study of Stack Overflow Code Quality
por: Licorish, Sherlock A., et al.
Publicado: (2025)

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

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

AgentEval: DAG-Structured Step-Level Evaluation for Agentic Workflows with Error Propagation Tracking
por: Guo, Dongxin, et al.
Publicado: (2026)

Understanding and Reusing Test Suites Across Database Systems
por: Zhong, Suyang, et al.
Publicado: (2024)

Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
por: Susan, Ştefan-Claudiu, et al.
Publicado: (2025)

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

Automated Vulnerability Detection Using Deep Learning Technique
por: Yang, Guan-Yan, et al.
Publicado: (2024)

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

AIRA: AI-Induced Risk Audit: A Structured Inspection Framework for AI-Generated Code
por: Parris, William M.
Publicado: (2026)

Monitoring Agentic Systems Before They're Reliable
por: Boston, Marisa Ferrara, et al.
Publicado: (2026)

Towards a Probabilistic Framework for Analyzing and Improving LLM-Enabled Software
por: Baldonado, Juan Manuel, et al.
Publicado: (2025)

Adaptive and AI-Augmented Security Testing: A Systematic Survey of Program Analysis, Feedback-Driven Testing, and Hybrid Learning-Based Approaches
por: Wienczkowski, Michael
Publicado: (2026)

DEFault++: Automated Fault Detection, Categorization, and Diagnosis for Transformer Architectures
por: Jahan, Sigma, et al.
Publicado: (2026)

LLMLOOP: Improving LLM-Generated Code and Tests through Automated Iterative Feedback Loops
por: Ravi, Ravin, et al.
Publicado: (2026)

On the Soundness and Consistency of LLM Agents for Executing Test Cases Written in Natural Language
por: Salva, Sébastien, et al.
Publicado: (2025)

Iterative Audit Convergence in LLM-Managed Multi-Agent Systems: A Case Study in Prompt Engineering Quality Assurance
por: Calboreanu, Elias
Publicado: (2026)

Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
por: Grahl, Johanna, et al.
Publicado: (2025)

CovRL: Fuzzing JavaScript Engines with Coverage-Guided Reinforcement Learning for LLM-based Mutation
por: Eom, Jueon, et al.
Publicado: (2024)

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

Good modelling software practices
por: Lemmen, Carsten, et al.
Publicado: (2024)

Automated structural testing of LLM-based agents: methods, framework, and case studies
por: Kohl, Jens, et al.
Publicado: (2026)

Recommended Practices for Spreadsheet Testing
por: Panko, Raymond R.
Publicado: (2007)

Architectural Transformations and Emerging Verification Demands in AI-Enabled Cyber-Physical Systems
por: Yusuf, Hadiza Umar, et al.
Publicado: (2025)

A Catalog of Transformations to Remove Smells From Natural Language Tests
por: Aranda, Manoel, et al.
Publicado: (2024)

Framework Matters: Energy Efficiency of UI Automation Testing Frameworks
por: Lagermann, Timmie M. R., et al.
Publicado: (2025)

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries
por: McCormack, Ian, et al.
Publicado: (2024)

How Execution Features Relate to Failures: An Empirical Study and Diagnosis Approach
por: Smytzek, Marius, et al.
Publicado: (2025)

A Comprehensive Study on Large Language Models for Mutation Testing
por: Wang, Bo, et al.
Publicado: (2024)

Generative transformations and patterns in LLM-native approaches for software verification and falsification
por: Braberman, Víctor A., et al.
Publicado: (2024)

Scalable Language Agnostic Taint Tracking using Explicit Data Dependencies
por: Effendi, Sedick David Baker, et al.
Publicado: (2025)