Every novel is a bad idea

The problem is, sometimes I pick up a novel and it doesn't have that, it's just boring through (or I think it will be very very very funny to me. For Deutsche Bahn it will be so I give up). Is there a way to extract test cases from any bugs found that way. One collary I'd add to this is that the critical bugs are rarely in compilers and microkernels, but more often in applications, such as web browsers, which are more difficult to formally verify.