Comment by topazas

maybe symbolic execution also can be included here?