1. A method for automated test case generation for a web application, the method comprising: obtaining a web application and a specification of at least one enterprise rule; constructing a link graph that captures at least one navigation path in the web application; and performing a traversal of the web application guided by the link graph to generate an executable test case that drives the web application along one of the at least one navigation paths in which the at least one enterprise rule is covered to determine the web application's conformance to the at least one enterprise rule, wherein the executable test case is a sequence of one or more test steps, each test step representing an action to be performed on the web application and/or a verification of the application state; wherein at least one of the steps is carried out by a computer device.