Man Zhang

A systematic approach to hybrid quantum-classical application design could drastically reduce costly implementation failures by providing predictive feasibility assessments before deployment.

MASTOR generates 10,022 semantic test oracles, achieving a 75.4% mutation score and outperforming traditional methods by over 30 percentage points.

Quantum-inspired Coherent Ising Machines can now tackle software test optimization, offering a novel approach to test case selection and minimization.

Exposing access control flaws and injection vulnerabilities in REST APIs is now easier than ever, thanks to novel oracles that automatically generate executable test cases from fuzzing results.