Robot writes in languages it isn't

It seems like 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. 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 just a photo....