Relational Constraint Driven Test Case Synthesis for Web Applications

Xiang Fu

This paper proposes a relational constraint driven technique that synthesizes test cases automatically for web applications. Using a static analysis, servlets can be modeled as rel…