Hacker News new | ask | show | jobs
by extension 6105 days ago
Don't get too excited, this requires unit tests to detect the bug. In other words, if you already have a pretty good understanding of the bug, this thing will evolve a fix for you instead of having to write it yourself.

If you can write an algorithm that finds bugs, then you've really got something.
1 comments
wlievens 6105 days ago
A bug is a defect. A defect is a deviation from the intended meaning of the program. To automatically detect that, you will need a formal specification of the meaning of the program.

It's the automated programming paradox. You can't automate programming because you have to tell the automaton what to program... which is called programming.

link