GUICOP: Specification-Based GUI Testing.
Fadi A. ZaraketWes MasriMarc AdamDalal HammoudRaghd HamzehRaja FarhatElie KhamissiJoseph NoujaimPublished in: ICST (2012)
Keyphrases
- test case generation
- test cases
- software testing
- model based testing
- graphical user interface
- user friendly
- user interface
- high level
- formal verification
- test set
- specification language
- machine learning
- provably correct
- probabilistic model
- software development
- information systems
- software systems
- test data
- training set
- test suite
- artificial intelligence
- feature selection
- code generation
- data mining
- neural network