Saved in:
| Main Authors: | Hong, Chih-Duo, Wang, Yu, Chang, Yao-Chen, Yu, Fang |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2509.23806 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Concolic Testing on Individual Fairness of Neural Network Models
by: Huang, Ming-I, et al.
Published: (2025)
by: Huang, Ming-I, et al.
Published: (2025)
Quantum Concolic Testing
by: Xia, Shangzhou, et al.
Published: (2024)
by: Xia, Shangzhou, et al.
Published: (2024)
Hybrid Concolic Testing with Large Language Models for Guided Path Exploration
by: Eslamimehr, Mahdi
Published: (2026)
by: Eslamimehr, Mahdi
Published: (2026)
Concolic Testing of JavaScript using Sparkplug
by: Li, Zhe, et al.
Published: (2024)
by: Li, Zhe, et al.
Published: (2024)
Adaptive Reinforcement Learning for Dynamic Configuration Allocation in Pre-Production Testing
by: Zhu, Yu
Published: (2025)
by: Zhu, Yu
Published: (2025)
GPU Temperature Simulation-Based Testing for In-Vehicle Deep Learning Frameworks
by: Zou, Yinglong, et al.
Published: (2025)
by: Zou, Yinglong, et al.
Published: (2025)
Learning to Generate Unit Tests for Automated Debugging
by: Prasad, Archiki, et al.
Published: (2025)
by: Prasad, Archiki, et al.
Published: (2025)
Comparative Separation: Evaluating Separation on Comparative Judgment Test Data
by: Xi, Xiaoyin, et al.
Published: (2026)
by: Xi, Xiaoyin, et al.
Published: (2026)
Code-Aware Prompting: A study of Coverage Guided Test Generation in Regression Setting using LLM
by: Ryan, Gabriel, et al.
Published: (2024)
by: Ryan, Gabriel, et al.
Published: (2024)
Workflow-Level Design Principles for Trustworthy GenAI in Automotive System Engineering
by: Cheng, Chih-Hong, et al.
Published: (2026)
by: Cheng, Chih-Hong, et al.
Published: (2026)
Productively Deploying Emerging Models on Emerging Platforms: A Top-Down Approach for Testing and Debugging
by: Feng, Siyuan, et al.
Published: (2024)
by: Feng, Siyuan, et al.
Published: (2024)
Contexts Matter: An Empirical Study on Contextual Influence in Fairness Testing for Deep Learning Systems
by: Du, Chengwen, et al.
Published: (2024)
by: Du, Chengwen, et al.
Published: (2024)
Learning-Based Testing for Deep Learning: Enhancing Model Robustness with Adversarial Input Prioritization
by: Rahman, Sheikh Md Mushfiqur, et al.
Published: (2025)
by: Rahman, Sheikh Md Mushfiqur, et al.
Published: (2025)
Cottontail: Large Language Model-Driven Concolic Execution for Highly Structured Test Input Generation
by: Tu, Haoxin, et al.
Published: (2025)
by: Tu, Haoxin, et al.
Published: (2025)
Instance-Level Safety-Aware Fidelity of Synthetic Data and Its Calibration
by: Cheng, Chih-Hong, et al.
Published: (2024)
by: Cheng, Chih-Hong, et al.
Published: (2024)
FROAV: A Framework for RAG Observation and Agent Verification -- Lowering the Barrier to LLM Agent Research
by: Lin, Tzu-Hsuan, et al.
Published: (2026)
by: Lin, Tzu-Hsuan, et al.
Published: (2026)
FAST: Boosting Uncertainty-based Test Prioritization Methods for Neural Networks via Feature Selection
by: Chen, Jialuo, et al.
Published: (2024)
by: Chen, Jialuo, et al.
Published: (2024)
Mutation-Guided LLM-based Test Generation at Meta
by: Foster, Christopher, et al.
Published: (2025)
by: Foster, Christopher, et al.
Published: (2025)
Shapley-Guided Neural Repair Approach via Derivative-Free Optimization
by: Sun, Xinyu, et al.
Published: (2026)
by: Sun, Xinyu, et al.
Published: (2026)
Toward Efficient Testing of Graph Neural Networks via Test Input Prioritization
by: Yang, Lichen, et al.
Published: (2025)
by: Yang, Lichen, et al.
Published: (2025)
Detecting Buggy Contracts via Smart Testing
by: Wang, Sally Junsong, et al.
Published: (2024)
by: Wang, Sally Junsong, et al.
Published: (2024)
Targeted Deep Learning System Boundary Testing
by: Weißl, Oliver, et al.
Published: (2024)
by: Weißl, Oliver, et al.
Published: (2024)
PrismaDV: Automated Task-Aware Data Unit Test Generation
by: Chen, Hao, et al.
Published: (2026)
by: Chen, Hao, et al.
Published: (2026)
Optimizing Case-Based Reasoning System for Functional Test Script Generation with Large Language Models
by: Guo, Siyuan, et al.
Published: (2025)
by: Guo, Siyuan, et al.
Published: (2025)
Uncertainty-Guided Label Rebalancing for CPS Safety Monitoring
by: Ayotunde, John, et al.
Published: (2026)
by: Ayotunde, John, et al.
Published: (2026)
ColorGo: Directed Concolic Execution
by: Li, Jia, et al.
Published: (2025)
by: Li, Jia, et al.
Published: (2025)
CUTECat: Concolic Execution for Computational Law
by: Goutagny, Pierre, et al.
Published: (2024)
by: Goutagny, Pierre, et al.
Published: (2024)
MASTEST: A LLM-Based Multi-Agent System For RESTful API Tests
by: Han, Xiaoke, et al.
Published: (2025)
by: Han, Xiaoke, et al.
Published: (2025)
EVALOOOP: A Self-Consistency-Centered Framework for Assessing Large Language Model Robustness in Programming
by: Fang, Sen, et al.
Published: (2025)
by: Fang, Sen, et al.
Published: (2025)
From Particles to Perils: SVGD-Based Hazardous Scenario Generation for Autonomous Driving Systems Testing
by: Liang, Linfeng, et al.
Published: (2026)
by: Liang, Linfeng, et al.
Published: (2026)
ExplainFuzz: Explainable and Constraint-Conditioned Test Generation with Probabilistic Circuits
by: Baiget, Annaëlle, et al.
Published: (2026)
by: Baiget, Annaëlle, et al.
Published: (2026)
Operational Robustness of LLMs on Code Generation
by: Paul, Debalina Ghosh, et al.
Published: (2026)
by: Paul, Debalina Ghosh, et al.
Published: (2026)
LLM-Powered Test Case Generation for Detecting Bugs in Plausible Programs
by: Liu, Kaibo, et al.
Published: (2024)
by: Liu, Kaibo, et al.
Published: (2024)
Investigating Test Overfitting on SWE-bench
by: Ahmed, Toufique, et al.
Published: (2025)
by: Ahmed, Toufique, et al.
Published: (2025)
Code Generation by Differential Test Time Scaling
by: He, Yifeng, et al.
Published: (2026)
by: He, Yifeng, et al.
Published: (2026)
Targeted Test Selection Approach in Continuous Integration
by: Plyusnin, Pavel, et al.
Published: (2025)
by: Plyusnin, Pavel, et al.
Published: (2025)
Beyond Window-Based Detection: A Graph-Centric Framework for Discrete Log Anomaly Detection
by: Qi, Jiaxing, et al.
Published: (2025)
by: Qi, Jiaxing, et al.
Published: (2025)
Automated Trustworthiness Testing for Machine Learning Classifiers
by: Cho, Steven, et al.
Published: (2024)
by: Cho, Steven, et al.
Published: (2024)
Latent Regularization in Generative Test Input Generation
by: Merabishvili, Giorgi, et al.
Published: (2026)
by: Merabishvili, Giorgi, et al.
Published: (2026)
VeriScale: Adversarial Test-Suite Scaling for Verifiable Code Generation
by: Bai, Yifan, et al.
Published: (2026)
by: Bai, Yifan, et al.
Published: (2026)
Similar Items
-
Concolic Testing on Individual Fairness of Neural Network Models
by: Huang, Ming-I, et al.
Published: (2025) -
Quantum Concolic Testing
by: Xia, Shangzhou, et al.
Published: (2024) -
Hybrid Concolic Testing with Large Language Models for Guided Path Exploration
by: Eslamimehr, Mahdi
Published: (2026) -
Concolic Testing of JavaScript using Sparkplug
by: Li, Zhe, et al.
Published: (2024) -
Adaptive Reinforcement Learning for Dynamic Configuration Allocation in Pre-Production Testing
by: Zhu, Yu
Published: (2025)