An Automated Approach to Inheritance and Polymorphic Testing using a VDM++ Specification | IEEE Conference Publication | IEEE Xplore