Augusto: Exploiting popular functionalities for the generation of semantic GUI tests with oracles