Saahil was a visitor in the Software Reliability Group in 2018, while a PhD student at the Chair for Software Engineering of TU Munich. He worked on a novel combination of symbolic execution and fuzzing.