|
|
|
|
|
|
by anonymousDan
3634 days ago
|
|
|
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). |
|
|