Lessons from Bug Hunters Who've Found 400 Bugs in Popular DBMSs

Interesting approach, however it would need a mastermind to actually give a more convoluted explanation of the relatively simple idea behind their approach. You essentially have to read the entire thing to get the picture, while one sentence may suffice. I.e:

Building tons of queries with some randomized approach and using a query mapping strategy to re-write them in a way that can't be optimized. Run both queries and see if they differ.

That is a simple but clever technique. These sorts of approaches feel like they will be part of a more formalized software engineering profession.