:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Law, William
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2507.05294
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

zkCraft: Prompt-Guided LLM as a Zero-Shot Mutation Pattern Oracle for TCCT-Powered ZK Fuzzing
by: Fu, Rong, et al.
Published: (2026)

Quantum Algorithm Cards: Streamlining the development of hybrid classical-quantum applications
by: Stirbu, Vlad, et al.
Published: (2023)

Neutone SDK: An Open Source Framework for Neural Audio Processing
by: Mitcheltree, Christopher, et al.
Published: (2025)

The OpenHands Software Agent SDK: A Composable and Extensible Foundation for Production Agents
by: Wang, Xingyao, et al.
Published: (2025)

Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations
by: Domenech, Alvaro Alonso, et al.
Published: (2024)

The Last APK: Retiring Android SDK Development for Institutional Software Using Python-Django, HTMX, and a WebView Bridge
by: Patel, Rahul
Published: (2026)

zkSBOM: Privacy-Preserving SBOM Sharing with Zero-Knowledge Sets
by: Sorger, Tom, et al.
Published: (2026)

Property-Level Reconstructability of Agent Decisions: An Anchor-Level Pilot Across Vendor SDK Adapter Regimes
by: Solozobov, Oleg
Published: (2026)

Arguzz: Testing zkVMs for Soundness and Completeness Bugs
by: Hochrainer, Christoph, et al.
Published: (2025)

The role of slicing in test-driven development
by: Dieste, Oscar, et al.
Published: (2024)

Streamlining Software Reviews: Efficient Predictive Modeling with Minimal Examples
by: Menzies, Tim, et al.
Published: (2024)

zkRansomware: Proof-of-Data Recoverability and Multi-round Game Theoretic Modeling of Ransomware Decisions
by: Hou, Xinyu, et al.
Published: (2026)

Example-driven development: bridging tests and documentation
by: Nierstrasz, Oscar, et al.
Published: (2024)

SEART Data Hub: Streamlining Large-Scale Source Code Mining and Pre-Processing
by: Dabić, Ozren, et al.
Published: (2024)

VTutor: An Open-Source SDK for Generative AI-Powered Animated Pedagogical Agents with Multi-Media Output
by: Chen, Eason, et al.
Published: (2025)

Streamlining Acceptance Test Generation for Mobile Applications Through Large Language Models: An Industrial Case Study
by: Fonseca, Pedro Luís, et al.
Published: (2025)

ACE-Bench: A Lightweight Benchmark for Evaluating Azure SDK Usage Correctness
by: Zhu, Wenxing, et al.
Published: (2026)

Understanding: reframing automation and assurance
by: Bloomfield, Robin
Published: (2026)

How fair are we? From conceptualization to automated assessment of fairness definitions
by: d'Aloisio, Giordano, et al.
Published: (2024)

Re-opening open-source science through AI assisted development
by: Hung, Ling-Hong, et al.
Published: (2025)

SWARM-SLR -- Streamlined Workflow Automation for Machine-actionable Systematic Literature Reviews
by: Wittenborg, Tim, et al.
Published: (2024)

Generating Streamlining Constraints with Large Language Models
by: Voboril, Florentina, et al.
Published: (2024)

EnseSmells: Deep ensemble and programming language models for automated code smells detection
by: Ho, Anh, et al.
Published: (2025)

On the need to perform comprehensive evaluations of automated program repair benchmarks: Sorald case study
by: Liyanage, Sumudu, et al.
Published: (2025)

rCanary: Detecting Memory Leaks Across Semi-automated Memory Management Boundary in Rust
by: Cui, Mohan, et al.
Published: (2023)

Improving device-aware Web services and their mobile clients through an aspect-oriented, model-driven approach
by: Ortiz, Guadalupe, et al.
Published: (2024)

V2E: Validating Smart Contract Vulnerabilities through Profit-driven Exploit Generation and Execution
by: Zhang, Jingwen, et al.
Published: (2026)

Streamlined Airborne Software Development for Large UAVs: From Unified Data Collection to Automated Code Generation
by: Sinitsyn, Viktor, et al.
Published: (2025)

Large language models for automated PRISMA 2020 adherence checking
by: Kataoka, Yuki, et al.
Published: (2025)

Enhancing repository-level software repair via repository-aware knowledge graphs
by: Yang, Boyang, et al.
Published: (2025)

Technical knowledge and soft skills in software startups within the Colombian entrepreneurial ecosystem
by: Estrada-Esponda, Royer David, et al.
Published: (2025)

Predicting long time contributors with knowledge units of programming languages: an empirical study
by: Ahasanuzzaman, Md, et al.
Published: (2024)

Beyond LLM-based test automation: A Zero-Cost Self-Healing Approach Using DOM Accessibility Tree Extraction
by: Joseph, Renjith Nelson
Published: (2026)

HDLdebugger: Streamlining HDL debugging with Large Language Models
by: Yao, Xufeng, et al.
Published: (2024)

Innovating the software engineering class through multi-team development
by: Brockenbrough, Allan
Published: (2025)

Model management to support systems engineering workflows using ontology-based knowledge graphs
by: Ryś, Arkadiusz, et al.
Published: (2025)

Predicting post-release defects with knowledge units (KUs) of programming languages: an empirical study
by: Ahasanuzzaman, Md, et al.
Published: (2024)

What a diff makes: automating code migration with large language models
by: Rosenfeld, Katherine A., et al.
Published: (2025)

Artificial intelligence for context-aware visual change detection in software test automation
by: Moradi, Milad, et al.
Published: (2024)

Evolution of IVR building techniques: from code writing to AI-powered automation
by: Shaikh, Khushbu Mehboob, et al.
Published: (2024)