I haven't read the entire report but it looks really cool. If I understand it correctly it can automatically detect and fix bugs previously found in other softw

I haven't read the entire report but it looks really cool. If I understand it correctly it can automatically detect and fix bugs previously found in other software. Would be really cool if you would have a huge database of known bugs which you can detect automatically. Kind of like collaborative unit-testing.