Relational Test Tables: A Practical Specification Language for Evolution and Security.
Alexander WeiglMattias UlbrichSuhyun ChaBernhard BeckertBirgit Vogel-HeuserPublished in: FormaliSE@ICSE (2020)
Keyphrases
- specification language
- formal specification
- description language
- programming language
- relational databases
- statistical databases
- database
- databases
- software environment
- symbolic execution
- data model
- intrusion detection
- requirements specification
- relational data
- information security
- model checking
- security requirements
- functional requirements
- search algorithm
- machine learning