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


  • 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