Software semantics and syntax as a tool for automated test generation.
Nadia NaharKazi SakibPublished in: Int. J. Crit. Comput. Based Syst. (2017)
Keyphrases
- test generation
- test cases
- domain specific languages
- software tools
- software testing
- quality assurance
- static analysis
- test sequences
- test data generation
- software systems
- symbolic execution
- design automation
- source code
- software application
- regression testing
- automated tools
- mutation testing
- operational semantics
- testing process
- definition language
- conceptual model
- software development
- user interface
- test suite
- lexical semantics
- code coverage
- learning algorithm