SHIELDS Tools
- DEFECT(Dependability focused inspection tool)
- Flinder (Automated security testing tool that discovers typical security-relevant programming bugs in software)
- GOAT (SHIELDS security modelling tool)
- SeaMonster (Security Modeling Software)
- TestGen (Active testing tool that generates test cases based on a functional specification of the software)
- TestInv-Code (Passive testing tool that monitors execution traces of an application during run-time)
- TestInv-Protocol (Passive testing tool that monitors communication traces of an application during run-time)