Building PL/formal methods-based technology, in combination with GenAI, to automate the synthesis of test input generators.

Research on fuzzing, property-based testing, and their combination to improve software quality and security.