Imagen de Portada

Testing Deep Learning Libraries via Neurosymbolic Constraint Learning

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Naziri, M M Abid, Kim, Shinhae, Qin, Feiran, d'Amorim, Marcelo, Dutta, Saikat
Formato:	Preprint
Publicado:	2026
Materias:	Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Evaluating the Effectiveness of Coverage-Guided Fuzzing for Testing Deep Learning Library APIs
por: Qin, Feiran, et al.
Publicado: (2025)

Improving Deep Learning Library Testing with Machine Learning
por: Molina, Facundo, et al.
Publicado: (2026)

Misbehavior Forecasting for Focused Autonomous Driving Systems Testing
por: Naziri, M M Abid, et al.
Publicado: (2025)

Bug Histories as Sources of Compiler Fuzzing Mutators
por: Liu, Lingjun, et al.
Publicado: (2025)

XMutant: XAI-based Fuzzing for Deep Learning Systems
por: Chen, Xingcheng, et al.
Publicado: (2025)

A Case Study of LLM for Automated Vulnerability Repair: Assessing Impact of Reasoning and Patch Validation Feedback
por: Kulsum, Ummay, et al.
Publicado: (2024)

Configuration Defects in Kubernetes
por: Zhang, Yue, et al.
Publicado: (2025)

Just another copy and paste? Comparing the security vulnerabilities of ChatGPT generated code and StackOverflow answers
por: Hamer, Sivana, et al.
Publicado: (2024)

Agentic LMs: Hunting Down Test Smells
por: Melo, Rian, et al.
Publicado: (2025)

Code Quality Analysis of Translations from C to Rust
por: Tadesse, Biruk, et al.
Publicado: (2026)

The Effects of Computational Resources on Flaky Tests
por: Silva, Denini, et al.
Publicado: (2023)

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation
por: Shen, Zhuohang, et al.
Publicado: (2025)

A Regression Testing Framework with Automated Assertion Generation for Machine Learning Notebooks
por: Yao, Yingao Elaine, et al.
Publicado: (2025)

PoC-Gym: Towards More Reliable LLM-Assisted Proof-of-Concept Exploit Generation
por: Gezgin, Derin, et al.
Publicado: (2026)

Constraint-Guided Unit Test Generation for Machine Learning Libraries
por: Krodinger, Lukas, et al.
Publicado: (2025)

XAMT: Cross-Framework API Matching for Testing Deep Learning Libraries
por: Duan, Bin, et al.
Publicado: (2025)

Subgraph-Oriented Testing for Deep Learning Libraries
por: Xie, Xiaoyuan, et al.
Publicado: (2024)

CoCoNUT: Structural Code Understanding does not fall out of a tree
por: Beger, Claas, et al.
Publicado: (2025)

ATTest: Agent-Driven Tensor Testing for Deep Learning Library Modules
por: Zhan, Zhengyu, et al.
Publicado: (2026)

MuFF: Stable and Sensitive Post-training Mutation Testing for Deep Learning
por: Kim, Jinhan, et al.
Publicado: (2025)

Deep Learning Library Testing: Definition, Methods and Challenges
por: Zhang, Xiaoyu, et al.
Publicado: (2024)

Deep Learning Framework Testing via Model Mutation: How Far Are We?
por: Mu, Yanzhou, et al.
Publicado: (2025)

Scalpel: Automotive Deep Learning Framework Testing via Assembling Model Components
por: Zou, Yinglong, et al.
Publicado: (2025)

Improving Deep Learning Framework Testing with Model-Level Metamorphic Testing
por: Mu, Yanzhou, et al.
Publicado: (2025)

Deep Learning Framework Testing via Heuristic Guidance Based on Multiple Model Measurements
por: Zou, Yinglong, et al.
Publicado: (2025)

DevMuT: Testing Deep Learning Framework via Developer Expertise-Based Mutation
por: Mu, Yanzhou, et al.
Publicado: (2025)

MoCo: Fuzzing Deep Learning Libraries via Assembling Code
por: Ji, Pin, et al.
Publicado: (2024)

Feature-Aware Test Generation for Deep Learning Models
por: Chen, Xingcheng, et al.
Publicado: (2026)

Deep Reinforcement Learning for Automated Web GUI Testing
por: Gu, Zhiyu, et al.
Publicado: (2025)

Effective Random Test Generation for Deep Learning Compilers
por: Ren, Luyao, et al.
Publicado: (2023)

Optimization-Aware Test Generation for Deep Learning Compilers
por: Shen, Qingchao, et al.
Publicado: (2025)

Mock Deep Testing: Toward Separate Development of Data and Models for Deep Learning
por: Manke, Ruchira, et al.
Publicado: (2025)

Fuzzing Automatic Differentiation in Deep-Learning Libraries
por: Yang, Chenyuan, et al.
Publicado: (2023)

A Path Less Traveled: Reimagining Software Engineering Automation via a Neurosymbolic Paradigm
por: Mastropaolo, Antonio, et al.
Publicado: (2025)

Coverage-Guided Testing for Deep Learning Models: A Comprehensive Survey
por: Guo, Hongjing, et al.
Publicado: (2025)

DeepREST: Automated Test Case Generation for REST APIs Exploiting Deep Reinforcement Learning
por: Corradini, Davide, et al.
Publicado: (2024)

Checker Bug Detection and Repair in Deep Learning Libraries
por: Harzevili, Nima Shiri, et al.
Publicado: (2024)

Toward Neurosymbolic Program Comprehension
por: Velasco, Alejandro, et al.
Publicado: (2025)

MANILA: A Low-Code Application to Benchmark Machine Learning Models and Fairness-Enhancing Methods
por: d'Aloisio, Giordano
Publicado: (2025)

Revitalising Stagecraft: NLP-Driven Sentiment Analysis for Traditional Theater Revival
por: Samanta, Saikat, et al.
Publicado: (2024)