Formal Testing of Multimodal Interactive Systems.
Jullien BouchetLaya MadaniLaurence NigayCatherine OriatIoannis ParissisPublished in: EHCI/DS-VIS (2007)
Keyphrases
- interactive systems
- human computer interaction
- formal model
- multimodal interfaces
- information systems
- case study
- formal specification
- user interface
- databases
- digital entertainment
- social intelligence
- artificial intelligence
- test cases
- test set
- law enforcement
- video sequences
- multi party
- information retrieval
- real world
- database