The Test4Theory Team and Software