Imagen de Portada

Verifying a Sparse Matrix Algorithm Using Symbolic Execution

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Wilton, Alexander C.
Formato:	Preprint
Publicado:	2025
Materias:	Software Engineering D.2.5; G.1.3
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Securing Mixed Rust with Hardware Capabilities
por: Yu, Jason Zhijingcheng, et al.
Publicado: (2025)

PathFuzzing: Worst Case Analysis by Fuzzing Symbolic-Execution Paths
por: Chen, Zimu, et al.
Publicado: (2025)

Tests4Py: A Benchmark for System Testing
por: Smytzek, Marius, et al.
Publicado: (2023)

Tuning Random Generators: Property-Based Testing as Probabilistic Programming
por: Tjoa, Ryan, et al.
Publicado: (2025)

Talk is Cheap, Logic is Hard: Benchmarking LLMs on Post-Condition Formalization
por: Prasetya, I. S. W. B., et al.
Publicado: (2026)

CUDABeaver: Benchmarking LLM-Based Automated CUDA Debugging
por: Li, Shiyang, et al.
Publicado: (2026)

Mutation Analysis with Execution Taints
por: Gopinath, Rahul, et al.
Publicado: (2024)

On the Soundness and Consistency of LLM Agents for Executing Test Cases Written in Natural Language
por: Salva, Sébastien, et al.
Publicado: (2025)

How Execution Features Relate to Failures: An Empirical Study and Diagnosis Approach
por: Smytzek, Marius, et al.
Publicado: (2025)

Software Development Aspects of Integrating Linear Algebra Libraries
por: Koch, Marcel, et al.
Publicado: (2025)

A Comparative Quality Metric for Untargeted Fuzzing with Logic State Coverage
por: Lee, Gwangmu
Publicado: (2024)

Weak Memory Demands Model-based Compiler Testing
por: Geeson, Luke
Publicado: (2024)

Compiler Testing With Relaxed Memory Models
por: Geeson, Luke, et al.
Publicado: (2023)

PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing
por: Rodríguez, María Belén, et al.
Publicado: (2026)

Code Less to Code More: Streamlining Language Server Protocol and Type System Development for Language Families
por: Bruzzone, Federico, et al.
Publicado: (2025)

A Methodological Analysis of Empirical Studies in Quantum Software Testing
por: Li, Yuechen, et al.
Publicado: (2026)

A Survey of the Metrics, Uses, and Subjects of Diversity-Based Techniques in Software Testing
por: Elgendy, Islam T., et al.
Publicado: (2023)

GBM Returns the Best Prediction Performance among Regression Approaches: A Case Study of Stack Overflow Code Quality
por: Licorish, Sherlock A., et al.
Publicado: (2025)

Runtime Execution Traces Guided Automated Program Repair with Multi-Agent Debate
por: Wu, Jiaqing, et al.
Publicado: (2026)

DAInfer+: Neurosymbolic Inference of API Specifications from Documentation via Embedding Models
por: Masoudian, Maryam, et al.
Publicado: (2026)

Utilizing Precise and Complete Code Context to Guide LLM in Automatic False Positive Mitigation
por: Chen, Jinbao, et al.
Publicado: (2024)

A RAG Method for Source Code Inquiry Tailored to Long-Context LLMs
por: Kamiya, Toshihiro
Publicado: (2024)

Control Flow Graph Recovery for Dynamically Loaded Code via Symbolic Library Resolution
por: Mostovyi, Oleksandr
Publicado: (2026)

Which Combination of Test Metrics Can Predict Success of a Software Project? A Case Study in a Year-Long Project Course
por: Filipovic, Marina, et al.
Publicado: (2024)

From Program Slices to Causal Clarity: Evaluating Faithful, Actionable LLM-Generated Failure Explanations via Context Partitioning and LLM-as-a-Judge
por: Porbeck, Julius, et al.
Publicado: (2026)

Validating Formal Specifications with LLM-generated Test Cases
por: Cunha, Alcino, et al.
Publicado: (2025)

Synthesizing Test Cases for Narrowing Specification Candidates
por: Cunha, Alcino, et al.
Publicado: (2025)

Fuzzing the brain: Automated stress testing for the safety of ML-driven neurostimulation
por: Downing, Mara, et al.
Publicado: (2025)

Auto-repair without test cases: How LLMs fix compilation errors in large industrial embedded code
por: Fu, Han, et al.
Publicado: (2025)

Multi-modal Traffic Scenario Generation for Autonomous Driving System Testing
por: Tu, Zhi, et al.
Publicado: (2025)

Refining Fuzzed Crashing Inputs for Better Fault Diagnosis
por: Kim, Kieun, et al.
Publicado: (2025)

ErrorPrism: Reconstructing Error Propagation Paths in Cloud Service Systems
por: Pu, Junsong, et al.
Publicado: (2025)

From Feedback to Failure: Automated Android Performance Issue Reproduction
por: Li, Zhengquan, et al.
Publicado: (2025)

Synthesizing Performance Constraints for Evaluating and Improving Code Efficiency
por: Yang, Jun, et al.
Publicado: (2025)

PALM: Path-aware LLM-based Test Generation with Comprehension
por: Wu, Yaoxuan, et al.
Publicado: (2025)

Flow-of-Action: SOP Enhanced LLM-Based Multi-Agent System for Root Cause Analysis
por: Pei, Changhua, et al.
Publicado: (2025)

VLM-Fuzz: Vision Language Model Assisted Recursive Depth-first Search Exploration for Effective UI Testing of Android Apps
por: Demissie, Biniam Fisseha, et al.
Publicado: (2025)

SETBVE: Quality-Diversity Driven Exploration of Software Boundary Behaviors
por: Akbarova, Sabinakhon, et al.
Publicado: (2025)

PinChecker: Identifying Unsound Safe Abstractions of Rust Pinning APIs
por: Dai, Yuxuan, et al.
Publicado: (2025)

Empirical Analysis of Temporal and Spatial Fault Characteristics in Multi-Fault Bug Repositories
por: Callaghan, Dylan, et al.
Publicado: (2025)