Image de couverture de livre

NOETHER: A Constructive Framework for Metamorphic Pattern Discovery from Operator Algebras

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Li, Meng, Yang, Xiaohua, Liu, Jie, Yan, Shiyu
Format:	Preprint
Publié:	2026
Sujets:	Software Engineering Machine Learning Logic in Computer Science 68N30 D.2.4; D.2.5
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Assessing Reliability of Statistical Maximum Coverage Estimators in Fuzzing
par: Liyanage, Danushka, et autres
Publié: (2025)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
par: Guo, Jinyao, et autres
Publié: (2025)

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
par: Lauer, Alexander, et autres
Publié: (2026)

Path-optimal symbolic execution of heap-manipulating programs
par: Braione, Pietro, et autres
Publié: (2024)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
par: Helbling, Caleb, et autres
Publié: (2026)

cozy: Comparative Symbolic Execution for Binary Programs
par: Helbling, Caleb, et autres
Publié: (2025)

Evaluating Developer-written Unit Test Case Reduction for Java -- A Replication Study
par: Le, Tuan D, et autres
Publié: (2025)

LLMDFA: Analyzing Dataflow in Code with Large Language Models
par: Wang, Chengpeng, et autres
Publié: (2024)

Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review
par: López, Hugo A., et autres
Publié: (2024)

Trace Validation of Unmodified Concurrent Systems with OmniLink
par: Hackett, Finn, et autres
Publié: (2026)

Testing SSD Firmware with State Data-Aware Fuzzing: Accelerating Coverage in Nondeterministic I/O Environments
par: Yoon, Gangho, et autres
Publié: (2025)

SWE-ABS: Adversarial Benchmark Strengthening Exposes Inflated Success Rates on Test-based Benchmark
par: Yu, Boxi, et autres
Publié: (2026)

Combined Program Analysis Techniques: A Systematic Mapping Study
par: Braione, Pietro, et autres
Publié: (2026)

Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions
par: Sharmin, Shaila, et autres
Publié: (2025)

The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages
par: Bagnara, Roberto, et autres
Publié: (2016)

Utilization of Pre-trained Language Model for Adapter-based Knowledge Transfer in Software Engineering
par: Saberi, Iman, et autres
Publié: (2023)

DRS-OSS: Practical Diff Risk Scoring with LLMs
par: Sayedsalehi, Ali, et autres
Publié: (2025)

AdvFusion: Adapter-based Knowledge Transfer for Code Summarization on Code Language Models
par: Saberi, Iman, et autres
Publié: (2023)

Type Inference for Isabelle2Cpp
par: Jiang, Dongchen, et autres
Publié: (2024)

Multiple Query Satisfiability of Constrained Horn Clauses
par: De Angelis, Emanuele, et autres
Publié: (2022)

Validating Formal Specifications with LLM-generated Test Cases
par: Cunha, Alcino, et autres
Publié: (2025)

Synthesizing Test Cases for Narrowing Specification Candidates
par: Cunha, Alcino, et autres
Publié: (2025)

Comparing Human and LLM Generated Code: The Jury is Still Out!
par: Licorish, Sherlock A., et autres
Publié: (2025)

Preprocessing is All You Need: Boosting the Performance of Log Parsers With a General Preprocessing Framework
par: Qin, Qiaolin, et autres
Publié: (2024)

Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
par: Lin, Hongyu, et autres
Publié: (2026)

Tool-Assisted Conformance Checking to Reference Process Models
par: Rumpe, Bernhard, et autres
Publié: (2025)

Evaluating Cryptographic API Misuse Detectors for Go
par: Andersson, Vivi, et autres
Publié: (2026)

Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans
par: Lucio, Levi
Publié: (2026)

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

TDAD: Test-Driven Agentic Development - Reducing Code Regressions in AI Coding Agents via Graph-Based Impact Analysis
par: Alonso, Pepe, et autres
Publié: (2026)

Array-Carrying Symbolic Execution for Function Contract Generation
par: Lu, Weijie, et autres
Publié: (2026)

Directed Grammar-Based Test Generation
par: Kirschner, Lukas, et autres
Publié: (2025)

LLM-based Dynamic Differential Testing for Database Connectors with Reinforcement Learning-Guided Prompt Selection
par: Lyu, Ce, et autres
Publié: (2025)

Large Language Models in Software Documentation and Modeling: A Literature Review and Findings
par: Radosky, Lukas, et autres
Publié: (2026)

Formal Methods: From Academia to Industrial Practice. A Travel Guide
par: Huisman, Marieke, et autres
Publié: (2020)

OWLOOP: Interfaces for Mapping OWL Axioms into OOP Hierarchies
par: Buoncompagni, Luca, et autres
Publié: (2024)

Validation of an analyzability model for quantum software: a family of experiments
par: Díaz-Muñoz, Ana, et autres
Publié: (2026)

GBM Returns the Best Prediction Performance among Regression Approaches: A Case Study of Stack Overflow Code Quality
par: Licorish, Sherlock A., et autres
Publié: (2025)

Employing Continuous Integration inspired workflows for benchmarking of scientific software -- a use case on numerical cut cell quadrature
par: Toprak, Teoman, et autres
Publié: (2025)

Understanding and Reusing Test Suites Across Database Systems
par: Zhong, Suyang, et autres
Publié: (2024)