SMT Solvers - A PromisingWay for Verifying User Interfaces?
Jens BruchertseiferBenjamin WeyersPublished in: MuC (Workshopband) (2022)
Keyphrases
- user interface
- modulo theories
- answer set programming
- satisfiability modulo theories
- statistical machine translation
- end users
- sat solvers
- model checking
- user experience
- human computer interaction
- user friendly
- design principles
- user interaction
- multi user
- website
- graphical user interfaces
- stable model semantics
- genetic algorithm
- machine translation
- database
- logic programs
- global constraints
- sat solving
- knowledge base
- mixed integer linear