XSTAMPP 2.0: new improvements to XSTAMPP Including CAST accident analysis and an extended approach to STPA
ACTS: A Combinatorial Test Generation Tool