a Java library for the automatic stimulation and testing of web applications