Black-Box Verification for GUI Applications
Stephan ArltEvren ErmisSergio Feo ArenisAndreas PodelskiPublished in: CoRR (2012)
Keyphrases
- black box
- test cases
- black boxes
- white box
- graphical user interface
- user interface
- user friendly
- hybrid systems
- model checking
- white box testing
- state transition
- integration testing
- rule extraction
- graphical user interfaces
- service oriented
- verification method
- software testing
- databases
- machine learning
- neural network