From behaviour preservation to behaviour modification: constraint-based mutant generation