Coverage of OCL Operation Specifications and Invariants

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21215-9_12 ◽

2015 ◽

pp. 191-207 ◽

Author(s):

Mathias Soeken ◽

Julia Seiter ◽

Rolf Drechsler

Download Full-text