Semi-Automatic System for Testing Dielectric Properties of Low-Voltage Busbar
SAFELI: SQL injection scanner using symbolic execution