Automated Test Generation Based on a Visual Language Applicational Model. - Mariana Cabeda; Pedro Santos (VL/HCC, 2018)