Throughout my research, I have worked on the development of several open source projects, building upon popular research tools such as JQF (coverage-guided fuzzing), EvoSuite (search-based unit test generation), and Symbolic PathFinder (symbolic execution).