Hacker News new | ask | show | jobs
by xjia 975 days ago
Are you aware of symbolic execution?