I've been thinking about using a random process to guide bug seeding. In other words, putting in bugs in random locations and random "type" and then see how many are caught by the test suite.