Execution taints technique improves efficiency in mutation analysis by reducing redundant computation.