Agec: An execution-semantic clone detection tool | IEEE Conference Publication | IEEE Xplore