An interesting comment from the Coverity paper: randomisation is a very powerful technique for checkers that would require exponential work. Unfortunately it increases the likelihood of churn.