some CERMINE testing tools