@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}
}