A generic library for GUI reasoning and testing.
João Carlos SilvaJoão SaraivaJosé Creissac CamposPublished in: SAC (2009)
Keyphrases
- test cases
- automated reasoning
- graphical user interface
- model based testing
- reasoning systems
- knowledge base
- knowledge representation
- domain specific
- test data
- meta level
- resource bounded
- reasoning process
- reasoning tasks
- database
- probabilistic reasoning
- knowledge acquisition
- user interface
- high level
- generic model
- computational properties
- artificial intelligence
- model based reasoning
- genetic algorithm
- testing process
- test data generation
- reasoning engine
- databases