Model Algorithms for Killer Mutation Propagation