Test case generation for semantic-based user input validation of web applications. (2018)