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