Para - A Partial and Higher-Order Mutation Tool with Concurrency Operators.

Pratyusha Madiraju, Akbar Siami Namin

Browse the full ICST paper archive.