Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects.

Viktor Malík Tomás Vojnar

Published in: ICST (2021)

Keyphrases

small scale
semantic web
case study
semantic annotation
semantic categories
semi automatically
automatically generated
domain specific
real life
natural language
semantic information
co occurrence
semantic web technologies
semantic search
semantic knowledge
semantic level
real world
metadata