Testilizer is a tool which utilizes an existing Selenium test suite of a web application to generate new test cases with assertions.
A. Milani Fard, M. Mirzaaghaei, A. Mesbah, "Leveraging Existing Tests in Automated Test Generation for Web Applications", 29th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2014
Testilizer is built on top of Crawljax as a plugin. For the deployment, this local modified version of Crawljax should also be installed. The origianl test suites are located in crawljax/examples/src/main/java/com/crawljax/plugins/testilizer/casestudies/
Run it trough the Main class in crawljax/examples/src/main/java/com/crawljax/examples/TestilizerExample.java