Static Analysis and Testing of Executable DSL Specification.
Qinan LaiAndy CarpenterPublished in: MODELSWARD (2013)
Keyphrases
- static analysis
- test case generation
- symbolic execution
- dynamic analysis
- test generation
- test suite
- abstract interpretation
- formal specification
- test cases
- source code
- software testing
- specification language
- malicious code
- regular expressions
- control flow
- java card
- high level
- formal verification
- reverse engineering
- object oriented systems
- process algebra
- model checking
- attribute grammars
- asynchronous circuits
- test data generation
- relational databases
- database
- domain specific languages