@article{WANG Lei:70,
author = {[WANG Lei]},
title = {Consistency Checking Between UML Models and Code Based on Graph Theory and FSM},
publisher = {Journal of Beijing University of Posts and Telecommunications},
year = {2019},
journal = {Journal of Beijing University of Posts and Telecommunications},
volume = {42},
number = {4},
eid = {70},
pages = {70-75},
keywords = {consistency checking;checking accuracy;graph theory;finite state machine;software verification},
doi = https://journal.bupt.edu.cn/EN/10.13190/j.jbupt.2018-283
}