WebTestingExplorer is an automated test generation tool for web apps based on exploration of the GUI and state space using ideas like http://www.cs.umd.edu/~atif/papers/YuanMemonIST2010-abstract.html, and wherever else we decide to go from there!