Model-Based Ideal Testing of GUI Programs-Approach and Case Studies.
Onur KilinççekerAlper SilistreFevzi BelliMoharram ChallengerPublished in: IEEE Access (2021)
Keyphrases
- case study
- test cases
- model based testing
- software development
- lessons learned
- symbolic execution
- test case generation
- user friendly
- set of test cases
- graphical user interface
- concurrent programs
- data driven
- test data
- test suite
- literature review
- database
- data sets
- knowledge management
- real world
- decision making
- multiscale
- test set
- fixpoint
- decision trees
- detailed descriptions
- test generation
- hidden markov models
- software testing
- programming language
- computer programs
- open source
- answer sets
- design process