Aiding automated testing generation process by visualizing dynamic symbolic execution