Complexity Theory of Randomised Testing (arXiv 2607.11811) establishes complexity-theoretic foundations characterizing the limits of efficient random test generation. Mostly theoretical, but sets a formal frame for reasoning about when property-based/random testing can and cannot be efficient.