@inproceedings{ChristakisMuellerWuestholz14, author = {M. Christakis and P. M{\"u}ller and V. W{\"u}stholz}, title = {Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations}, booktitle = {Software Engineering and Formal Methods (SEFM)}, year = {2014}, publisher = {Springer-Verlag}, series = {LNCS}, pages = {65--80}, volume = {8702}, }