Product: Verification and Testing of Code Generated by Model-Driven Architecture Development Stage: Software Tested Primary Inventor: Dr. Wuwei Shen, Department of Computer Science License Status: ...