You are here

Code analysis and testing

The unit provides advanced testing techniques and tools based on search-based algorithms for automated test case generation; model inference and model driven test case derivation; test oracle assessment and improvement. The unit has also a solid experience in the migration of legacy systems and has developed tools for automated software protection.

Research topics: