complexity theory 1fuzzing 1program generation 1property-based testing 1randomised testing 1symbolic execution 1
From the 1 of 3 linked papers with an AI index.
3 papers
cs.PL2026
Complexity Theory of Randomised Testing
Pingshi Yu, Chengsong Tan, Nicolas Wu +1
The paper develops a complexity-theoretic framework for random input generators used in software testing, showing that any recursively enumerable language can be generated and char…
cs.DB2026
Making TransactionIsolation Checking Practical
Jian Zhang, Shuai Mu, Cheng Tan
Checking whether database transactions adhere to isolation levels is a crucial yet challenging problem. We present Boomslang, the first general-purpose checking framework capable o…
cs.AR2025
Formalising CXL Cache Coherence
Chengsong Tan, Alastair F. Donaldson, John Wickerson
We report our experience formally modelling and verifying CXL.cache, the inter-device cache coherence protocol of the Compute Express Link standard. We have used the Isabelle proof…