State Space Explosion: The Reason We Can Never Test Software to Perfection(2021)

This is a wonderfully concise description of why software testing, especially GUI testing is cursed by dimensionality.

Type checking, borrow checking, invariants, hell even MISRA rules are all constraints imposed to reduce unmanaged state in programs. I like them for software reliability because they can help keep the complexity demon locked in the crystal.