A Massively Parallel Approach to Automated Software Correctness Enhancement in Java.

Besma Khaireddine

Browse the full SoMeT paper archive.