Automating automatic test generation for form-based web app