Software tools we are developing or have developed. Asmeta A framework for the Abstract State Machines (ASMs) formal method. ROBY ROBustness analYzer for neural networks. ctwedge Combinatorial Testing Web-based Editor and Generator mutrex MutRex: a mutation-based test generator for regex
