An Approach for Safe and Secure Software Protection Supported by Symbolic Execution.
Daniel DorfmeisterFlavio FerrarottiBernhard FischerEvelyn Nicole HaslingerRudolf RamlerMarkus ZimmermannPublished in: DEXA Workshops (2023)
Keyphrases
- symbolic execution
- test data generation
- source code
- static analysis
- test cases
- test generation
- software testing
- software systems
- security level
- software development
- data flow
- simulated annealing algorithm
- software architecture
- data sets
- specification language
- data protection
- software projects
- software components
- general purpose
- multi objective
- databases