Paraµ - A Partial and Higher-Order Mutation Tool with Concurrency Operators. - Pratyusha Madiraju; Akbar Siami Namin (ICST Workshops, 2011)