-Mutation testing.
-Model-based testing.
-Testing in Software Product Lines.
-Testing of Information Systems.
-Combinatorial testing.