News for hackers. Stuff that matters.

A comment on A Survey of Symbolic Execution Techniques (2018). Parent comment

Re:A Survey of Symbolic Execution Techniques (2018) by RockmanX on Tuesday May 21, 2019 @09:45AM (#19970051)
I believe people who develop critical softwares do software verifications which should involve Symbolic Execution.
[ Parent | on HN ]

There are no comments on this comment yet.