Unit tests cover the things someone thought to test. Formal methods test things nobody thought to test.
-
-
I'm not sure why people assume I have something against fuzzing. http://blog.frama-c.com/index.php?pages/Csmith-testing …
-
I don't. The "runs and hides" was more about the implications of *replacing* formal methods with fuzzing.
-
Most people who should do one do neither. Feel free to go for the three people who do FM and convince them to switch to fuzzing.
-
The tweet was just a joke, aka 'shitposting', not really meant to convince anyone of anything. But yeah both are good. :-)
-
Also it is “notorious” that FM don't work, people assume that anything that worked was not FM, so you may see someone like Hanno
-
asking why FM never find any important vulnerability, like SLOTH?
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.