GUICop: Approach and Toolset for Specification-based GUI Testing.
Dalal HammoudFadi A. ZaraketWes MasriPublished in: CoRR (2016)
Keyphrases
- test case generation
- test cases
- graphical user interface
- formal verification
- high level
- software testing
- user friendly
- test data generation
- user interface
- model based testing
- website
- real time
- formal specification
- tool support
- graphical user interfaces
- test generation
- multi agent systems
- artificial intelligence
- databases