Methods and systems for test automation of forms in web applications

One or more computer-readable storage media encoding software that is operable when executed to:

• access a particular page of Web application that includes an interactive form having at least one field for entry of data by a user of the Web application, the interactive form rendered by the Web application based on code for the interactive form;
• extract input validation code from the code, the input validation code including at least one constraint on data entered into the at least one field;
• extract the at least one constraint based on an analysis of the input validation code, wherein extracting the at least one constraint is based on a symbolic analysis of the input validation code applying weakest preconditions and comprises:
• searching the code for the interactive form for a statement related to submission of form data;
• and
• traversing the code backwards from the statement to collect the at least one constraint;
• solve, for the at least one field, for a string value based at least on the at least one constraint for the at least one field;
• automatically enter, into the at least one field, the string value;
• and
• automatically submit the interactive form, including the string value entered into the at least one field.