Exploiting Synergies between Static Analysis and Model-Based Testing.
Sayali SalviDaniel KästnerChristian FerdinandTom BienmüllerPublished in: EDCC (2015)
Keyphrases
- static analysis
- model based testing
- dynamic analysis
- test cases
- test suite
- source code
- software development
- symbolic execution
- java card
- security policies
- regular expressions
- software design
- abstract interpretation
- software testing
- testing process
- test generation
- real world
- test data
- sequence diagrams
- low level
- pattern matching
- databases