Research team
Expertise
Studies - Mostly model-based and/or mutation-based - Developing testing approaches/techniques/tools - Evaluations - Comparisons Analyses - Theoretical (Time complexity) - Empirical -- Testing simulations -- Mutation analyses Measurements - Test set size - Coverage - Test generation costs - Fault detection effectiveness and efficiency - Test execution costs