RGSE: a regular property guided symbolic executor for Java
Regular property guided dynamic symbolic execution