Gửi tin nhắn: An Approach to Checking Consistency between UML Class Model and Its Java Implementation /Hector M. Chavez, Wuwei Shen, Member, IEEE, Robert B. France, Benjamin A. Mechling, and Guangyuan Li