Semantics-assisted code review: An efficient tool chain and a user study | IEEE Conference Publication | IEEE Xplore