Test Scenario Specification Language for Model-based Testing.
Evelin HallingJüri VainArtem BoyarchukOleg IlliashenkoPublished in: Int. J. Comput. (2019)
Keyphrases
- specification language
- model based testing
- test cases
- formal specification
- programming language
- software testing
- description language
- software development
- software design
- security policies
- testing process
- test generation
- sequence diagrams
- real world
- test data
- databases
- planning problems
- software environment
- heuristic search
- general purpose
- software engineering