Login / Signup
Symbolic Manipulation of Code Properties.
Stavros Konstantinidis
Casey Meijer
Nelma Moreira
Rogério Reis
Published in:
CoRR (2015)
Keyphrases
</>
data sets
expert systems
real time
software engineering
source code
desirable properties
symbolic representation