Maintaining Invariants Through Object Coupling Mechanisms................... 3 (2008)
Tobias Wrigstad (editor, Dave Clarke (cwi, Werner Dietl, Johan Östlund, Arsenii Rudich, Erik Ernst, ...
Automated Model-based Verification of Object-Oriented Code (2008)
Å Öó×ó�ø Ê�×��ö, Å Öó×ó�ø �óöôóö�ø�óò, Jonathan Ostroff, Eric Kerfoot, Faraz Ahmadi Torshizi
ESpec is a suite of tools that facilitates the testing and verification of object-oriented Eiffel programs in an integrated environment. The suite includes unit testing tools (ES-Test) and Fit tables...