Preparation-free and comprehensive runtime verification tool for testing Java programs