Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations.

Maria Christakis, Peter Mller, Valentin Wstholz

Browse the full SEFM paper archive.