Systematic black-box analysis of collaborative web applications. - Marina Billes; Anders Møller; Michael Pradel (PLDI, 2017)