Cover Image

Automated Statistical Testing and Certification of a Reliable Model-Coupling Server for Scientific Computing

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wolfgang, Seth, Lin, Lan, Song, Fengguang
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

An Integrated Platform for LEED Certification Automation Using Computer Vision and LLM-RAG
by: Lee, Jooyeol
Published: (2025)

Can Language Models Pass Software Testing Certification Exams? a case study
by: Haq, Fitash Ul, et al.
Published: (2026)

From REST to MCP: An Empirical Study of API Wrapping and Automated Server Generation for LLM Agents
by: Mastouri, Meriem, et al.
Published: (2025)

SafePlanner: Testing Safety of the Automated Driving System Plan Model
by: Kim, Dohyun, et al.
Published: (2026)

Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications
by: Sridhar, Chandrasekar, et al.
Published: (2025)

Towards Richer Challenge Problems for Scientific Computing Correctness
by: Sottile, Matthew, et al.
Published: (2025)

Automated Harmfulness Testing for Code Large Language Models
by: Tan, Honghao, et al.
Published: (2025)

Automated Test Case Repair Using Language Models
by: Yaraghi, Ahmadreza Saboor, et al.
Published: (2024)

Mutation Testing via Iterative Large Language Model-Driven Scientific Debugging
by: Straubinger, Philipp, et al.
Published: (2025)

A Study of Scientific Computational Notebook Quality
by: Kashiwa, Shun, et al.
Published: (2026)

Using Large Language Models for Student-Code Guided Test Case Generation in Computer Science Education
by: Kumar, Nischal Ashok, et al.
Published: (2024)

Invariant-Driven Automated Testing
by: Ribeiro, Ana Catarina
Published: (2026)

Automated Unit Test Refactoring
by: Gao, Yi, et al.
Published: (2024)

Automated Test Production -- Complement to "Ad-hoc" Testing
by: Gomes, José Marcos, et al.
Published: (2024)

MBTModelGenerator: Automated Reverse Engineering of Test Models from Clickstream Data for Model-Based Testing of Web Applications
by: Garousi, Vahid, et al.
Published: (2025)

KAT: Dependency-aware Automated API Testing with Large Language Models
by: Le, Tri, et al.
Published: (2024)

Automated Unit Test Improvement using Large Language Models at Meta
by: Alshahwan, Nadia, et al.
Published: (2024)

Investigating the Readability of Test Code: Combining Scientific and Practical Views
by: Winkler, Dietmar, et al.
Published: (2024)

MR-Coupler: Automated Metamorphic Test Generation via Functional Coupling Analysis
by: Xu, Congying, et al.
Published: (2026)

Cooperative Multi-agent Approach for Automated Computer Game Testing
by: Shirzadeh-hajimahmood, Samira, et al.
Published: (2024)

Test Oracle Automation in the era of LLMs
by: Molina, Facundo, et al.
Published: (2024)

ISTQB Certifications Under the Lens: Their Contributions to the Software-Testing Profession; and AI-assisted Synthesis of Practitioners' Endorsements and Criticisms
by: Geruslu, Vehid, et al.
Published: (2026)

The List is the Process: Reliable Pre-Integration Tracking of Commits on Mailing Lists
by: Ramsauer, Ralf, et al.
Published: (2019)

Automated Testing of the GUI of a Real-Life Engineering Software using Large Language Models
by: Rosenbach, Tim, et al.
Published: (2025)

Large Language Models for Automated Web-Form-Test Generation: An Empirical Study
by: Li, Tao, et al.
Published: (2024)

Automated Control Logic Test Case Generation using Large Language Models
by: Koziolek, Heiko, et al.
Published: (2024)

Automated Test Transfer Across Android Apps Using Large Language Models
by: Beyzaei, Benyamin, et al.
Published: (2024)

Automated Test Production -- Systematic Literature Mapping
by: Gomes, José Marcos, et al.
Published: (2024)

Automated Test Production -- Systematic Literature Review
by: Gomes, José Marcos, et al.
Published: (2024)

MUCOCO: Automated Consistency Testing of Code LLMs
by: Chou, Chua Jin, et al.
Published: (2026)

Trustworthy Distributed Certification of Program Execution
by: Wolf, Alex, et al.
Published: (2024)

An Automated Blackbox Noncompliance Checker for QUIC Server Implementations
by: Ang, Kian Kai, et al.
Published: (2025)

CooTest: An Automated Testing Approach for V2X Communication Systems
by: Guo, An, et al.
Published: (2024)

Cybernaut: Towards Reliable Web Automation
by: Tomar, Ankur, et al.
Published: (2025)

Towards Automated Page Object Generation for Web Testing using Large Language Models
by: Karagöz, Betül, et al.
Published: (2026)

Enhancing Large Language Models with Retrieval Augmented Generation for Software Testing and Inspection Automation
by: Fingleton, Zoe, et al.
Published: (2026)

Automated Test Suite Enhancement Using Large Language Models with Few-shot Prompting
by: Chudic, Alex, et al.
Published: (2026)

Exploring and Lifting the Robustness of LLM-powered Automated Program Repair with Metamorphic Testing
by: Xue, Pengyu, et al.
Published: (2024)

A Piece of QAICCC: Towards a Countermeasure Against Crosstalk Attacks in Quantum Servers
by: Marquer, Yoann, et al.
Published: (2025)

A Framework for Supporting the Reproducibility of Computational Experiments in Multiple Scientific Domains
by: Costa, Lázaro, et al.
Published: (2025)