Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases.

Martin Gogolla, Lars Hamann, Mirco Kuhlmann

Browse the full TAP paper archive.