Cross-level Property Preservation
The overall ambition of this topic is to devise methods ensuring that properties guaranteed to hold at high-level abstractions translate to similar guarantees at concrete system levels
Topics:
- Modelbased Testing and Model Learning
- Automatic test data generation for source code
- From highlevel process algebraic security protocol models to lowlevel implementations
- Extracting models from code
Work package leaders:
Hanne Riis Nielson, Technical University of Denmark
Jian Zhang, Institute of Software Chinese Academy of Sciences