Reinforcement Learning-Driven Test Generation for Android GUI Applications using Formal Specifications.
Yavuz KörogluAlper SenPublished in: CoRR (2019)
Keyphrases
- test generation
- formal specification
- reinforcement learning
- test cases
- software testing
- model checking
- test sequences
- specification languages
- symbolic execution
- specification language
- object oriented design
- design automation
- reverse engineering
- formal methods
- concurrent systems
- quality assurance
- static analysis
- multi agent
- test data generation
- test suite
- test set
- user interface
- learning algorithm
- formal specification language
- description language
- database
- object oriented
- cooperative
- database systems
- real world
- databases