An Investigation of Integrating a GUI-Aided Approach and a Specification-Based Testing.
Fumiko NagoyaShaoying LiuPublished in: SOFL+MSVL (2017)
Keyphrases
- test case generation
- test cases
- software testing
- model based testing
- formal verification
- graphical user interface
- test data generation
- high level
- formal specification
- user friendly
- test suite
- data sets
- user interface
- knowledge base
- sequence diagrams
- neural network
- test data
- user defined
- specification language
- code generation
- learning algorithm
- provably correct
- information retrieval
- tool suite