Stimulation board for automated verification of touchscreen-based devices.
Ivan KastelanVladimir MarinkovicRadomir DzakulaNikola VranicVukota PekovicPublished in: FPL (2012)
Keyphrases
- automated verification
- model checking
- automated reasoning
- mobile phone
- formal verification
- mobile devices
- smart phones
- graph theory
- embedded systems
- knowledge base
- benchmark test
- knowledge representation
- mobile applications
- data mining
- expert systems
- natural language
- embedded devices
- search algorithm
- bayesian networks