:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Zhang, Guanqin, Fukuda, Kota, Zhang, Zhenya, Bandara, H. M. N. Dilum, Chen, Shiping, Zhao, Jianjun, Sui, Yulei
Formato:	Preprint
Publicado:	2025
Materias:	Machine Learning Programming Languages Software Engineering
Acceso en línea:	https://arxiv.org/abs/2507.17453
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification
por: Fukuda, Kota, et al.
Publicado: (2025)

Legal Compliance Evaluation of Smart Contracts Generated By Large Language Models
por: Wijayakoon, Chanuka, et al.
Publicado: (2025)

Counterexample Guided Branching via Directional Relaxation Analysis in Complete Neural Network Verification
por: Li, Jingyang, et al.
Publicado: (2026)

Towards Source Mapping for Zero-Knowledge Smart Contracts: Design and Preliminary Evaluation
por: Xu, Pei, et al.
Publicado: (2025)

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval
por: Cheng, Xiao, et al.
Publicado: (2025)

Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation
por: Chu, Zhaoyang, et al.
Publicado: (2024)

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation
por: Li, Jingyang, et al.
Publicado: (2026)

CGP-Tuning: Structure-Aware Soft Prompt Tuning for Code Vulnerability Detection
por: Feng, Ruijun, et al.
Publicado: (2025)

QuanForge: A Mutation Testing Framework for Quantum Neural Networks
por: Shao, Minqi, et al.
Publicado: (2026)

Counterexample Classification against Signal Temporal Logic Specifications
por: Zhang, Zhenya, et al.
Publicado: (2026)

QEMI: A Quantum Software Stacks Testing Framework via Equivalence Modulo Inputs
por: Luo, Junjie, et al.
Publicado: (2026)

Boosting Source Code Learning with Text-Oriented Data Augmentation: An Empirical Study
por: Dong, Zeming, et al.
Publicado: (2023)

Deep Learning for Code Intelligence: Survey, Benchmark and Toolkit
por: Wan, Yao, et al.
Publicado: (2023)

FastCoder: Accelerating Repository-level Code Generation via Efficient Retrieval and Verification
por: Zhao, Qianhui, et al.
Publicado: (2025)

MAFT: Efficient Model-Agnostic Fairness Testing for Deep Neural Networks via Zero-Order Gradient Search
por: Wang, Zhaohui, et al.
Publicado: (2024)

Quantum-Based Software Engineering
por: Zhao, Jianjun
Publicado: (2025)

When Abstraction Breaks Physics: Rethinking Modular Design in Quantum Software
por: Zhao, Jianjun
Publicado: (2025)

LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language Models
por: Tang, Shuncheng, et al.
Publicado: (2024)

Iterative Refinement of Project-Level Code Context for Precise Code Generation with Compiler Feedback
por: Bi, Zhangqian, et al.
Publicado: (2024)

Is Measurement Enough? Rethinking Output Validation in Quantum Program Testing
por: Ye, Jiaming, et al.
Publicado: (2025)

VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees
por: Baninajjar, Anahita, et al.
Publicado: (2023)

M2QCode: A Model-Driven Framework for Generating Multi-Platform Quantum Programs
por: Guo, Xiaoyu, et al.
Publicado: (2025)

NovaQ: Improving Quantum Program Testing through Diversity-Guided Test Case Generation
por: Jin, Tiancheng, et al.
Publicado: (2025)

QuanUML: Towards A Modeling Language for Model-Driven Quantum Software Development
por: Guo, Xiaoyu, et al.
Publicado: (2025)

QuanBench: Benchmarking Quantum Code Generation with Large Language Models
por: Guo, Xiaoyu, et al.
Publicado: (2025)

Quantum Circuit Ansatz: Patterns of Abstraction and Reuse of Quantum Algorithm Design
por: Guo, Xiaoyu, et al.
Publicado: (2024)

An Efficient VCGen-based Modular Verification of Relational Properties
por: Blatter, Lionel, et al.
Publicado: (2024)

Selene: Pioneering Automated Proof in Software Verification
por: Zhang, Lichen, et al.
Publicado: (2024)

Quantum Concolic Testing
por: Xia, Shangzhou, et al.
Publicado: (2024)

Adaptive and Efficient Log Parsing as a Cloud Service
por: Li, Zeyan, et al.
Publicado: (2025)

Integrated Modeling, Verification, and Code Generation for Unmanned Aerial Systems
por: Zhang, Jianyu, et al.
Publicado: (2024)

Automating Hardware Design and Verification from Architectural Papers via a Neural-Symbolic Graph Framework
por: Yang, Haoyue, et al.
Publicado: (2025)

Equivalence, Identity, and Unitarity Checking in Black-Box Testing of Quantum Programs
por: Long, Peixun, et al.
Publicado: (2023)

Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing
por: Long, Peixun, et al.
Publicado: (2023)

Unveiling Code Clones in Quantum Programming: An Empirical Study with Qiskit
por: Manoku, Kenta, et al.
Publicado: (2025)

A Black-box Testing Framework for Oracle Quantum Programs
por: Long, Peixun, et al.
Publicado: (2025)

Agentic Verification of Software Systems
por: Tu, Haoxin, et al.
Publicado: (2025)

CodeGrad: Integrating Multi-Step Verification with Gradient-Based LLM Refinement
por: Zhang, Yueke, et al.
Publicado: (2025)

Floating-Point Neural Network Verification at the Software Level
por: Manino, Edoardo, et al.
Publicado: (2025)

Lemma Discovery in Agentic Program Verification
por: Zhao, Huan, et al.
Publicado: (2026)