GUICop: Approach and toolset for specification-based GUI testing.

Dalal Hammoud Fadi A. Zaraket Wes Masri

Published in: Softw. Test. Verification Reliab. (2017)

Keyphrases

test case generation
test cases
software testing
formal verification
model based testing
user friendly
test suite
test data generation
test data
graphical user interface
user interface
testing process
formal methods
development process
model checking
code generation
case study
artificial intelligence