Element 'dynamic symbolic execution'