Lukáš Holík and Petr Janků awarded for the best paper

An article titled "Chain-Free String Constraints" and its authors Lukáš Holík and Petr Janků from the VeriFIT research group won a prestigious Best Paper Award at the ATVA'2019 conference in Taipei. Their contribution introduces an algorithm for the solution of the satisfiability problem for string constraints that can be used, for example, to verify programmes manipulating the strings, such as web applications, or to verify the absence of certain kinds of security vulnerabilities, such as the Cross Site Scripting.

The full article can be found HERE.