Coverage of OCL Operation Specifications and Invariants

@inproceedings{pub7719,
    author = {

Soeken, Mathias
 and 

Seiter, Julia
 and 

Drechsler, Rolf
},
    title = {Coverage of OCL Operation Specifications and Invariants},
    booktitle = {Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings. International Conference on Tests & Proofs (TAP-2015), 9th, July 22-24, L'Aquila, Italy},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {2015},
    volume = {9154},
    publisher = {Springer},
    isbn = {978-3-319-21214-2}
}