Verification of GUI Applications: A Black-Box Approach.

Stephan Arlt Evren Ermis Sergio Feo Arenis Andreas Podelski

Published in: ISoLA (1) (2014)

Keyphrases

black box
test cases
black boxes
white box
model checking
graphical user interface
user friendly
integration testing
signature verification
hybrid systems
graphical user interfaces
white box testing
user interface
rule extraction
knowledge management
verification method