Automated testing from object models : Object-oriented software testing