software testing projects
The AutoInsight project applies advanced techniques in software security and control systems to build a new security analysis platform for self-driving car systems.
Robotic vehicles (as known as drones) are facing various threats of cyber-physical attacks that exploit their security vulnerabilities. RetroV develops automated analysis tools to find such vulnerabilities in existing robotic vehicle systems retrospectively and retrofits their design against advanced cyber-physical attacks.
recent software testing publications (see all)