A Systematic Approach to Generate Inputs to Test UML Design Models | IEEE Conference Publication | IEEE Xplore