jMoped: A Test Environment for Java Programs.

Dejvuth Suwimonteerabuth, Felix Berger, Stefan Schwoon, Javier Esparza

Browse the full CAV paper archive.