Theofilos Petsios

• Compiler-assisted Adaptive Software Testing