Model-based testing of software for automation systems using heuristics and coverage criterion.
Rodrigo José Sarmento PeixotoLeandro Dias da SilvaAngelo PerkusichPublished in: Softw. Syst. Model. (2019)
Keyphrases
- model based testing
- test cases
- software development
- test suite
- software design
- software testing
- testing process
- feature selection
- software systems
- computer systems
- software architecture
- source code
- software engineering
- sequence diagrams
- user interface
- model checking
- software projects
- software maintenance
- low level
- test generation
- neural network