Directed test generation and analysis for web applications