People

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
Activity at Department
2008 - 2022