Strong Optimistic Solving for Dynamic Symbolic Executionдоклад на конференции