WAVI: A reverse engineering tool for web applications. - Jonathan Cloutier; Segla Kpodjedo; Ghizlane El-Boussaidi (ICPC, 2016)