Login / Signup

AccessibiLint: a tool for early accessibility verification for android native applications.

Arthur Floriano Barbosa Andrade de OliveiraLucia Vilela Leite Filgueiras
Published in: IHC (2019)
Keyphrases
  • databases
  • model checking
  • formal analysis
  • database
  • real time
  • data sets
  • multiscale
  • mobile devices
  • genetic algorithm
  • software tools
  • signature verification