> There was a paper recently (I can't find it) that explored this idea; essentially the authors injected obvious, "should-be detectable" bugs I think you're th

> There was a paper recently (I can't find it) that explored this idea; essentially the authors injected obvious, "should-be detectable" bugs I think you're thinking of LAVA: http://moyix.blogspot.fr/2016/06/how-to-add-a-million-bugs-to-a-program.html http://moyix.blogspot.fr/2016/06/how-to-add-a-million-bugs-t...