Login / Signup
Automatic Functionality Verification of Hybrid Set-Top Boxes With Dynamic User Interface.
Matija Pul
Vukota Pekovic
Mario Vranjes
Ratko Grbic
Published in:
IEEE Trans. Consumer Electron. (2018)
Keyphrases
</>
user interface
user interaction
machine learning
dynamically changing
fully automatic
multiscale
human computer interaction
hybrid approaches
formal verification
design principles
model checking
mobile devices
data structure
website
information systems
artificial intelligence
genetic algorithm
information retrieval