ISSTA 2014 Distinguished Paper Award: Efficient Mutation Analysis by Propagating and Partitioning Infected Execution States