Hacker News new | past | comments | ask | show | jobs | submit login

You could take a look at the proceedings of conferences like ICSE (International Conference on Software Engineering). For example there's been a lot of work over the last decade or so on making dynamic symbolic execution techniques more practical (as exemplified by e.g. KLEE or SAGE).



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: