arXiv Open Access 2025

Verifying a Sparse Matrix Algorithm Using Symbolic Execution

Alexander C. Wilton

Lihat Sumber

Abstrak

Scientific software is, by its very nature, complex. It is mathematical and highly optimized which makes it prone to subtle bugs not as easily detected by traditional testing. We outline how symbolic execution can be used to write tests similar to traditional unit tests while providing stronger verification guarantees and apply this methodology to a sparse matrix algorithm.

Topik & Kata Kunci

cs.SE

Penulis (1)

Alexander C. Wilton

Format Sitasi

APA MLA BibTeX

Wilton, A.C. (2025). Verifying a Sparse Matrix Algorithm Using Symbolic Execution. https://arxiv.org/abs/2510.13424

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2025
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓