Dr. Eng.
Casandra HOLOTESCU
Lecturer
Research Fields and Interests
Modeling, formal verification and testing; Component-based systems;
Modeling, formal verification and testing: black-box and white-box model inference, model-based automated test generation, security protocol modelling and verification
Component-based systems: component-based formal verification with an accent on controllability aspects, component-based debugging
