Stem cdt$ (all stems)
2 papers:
ICTSS-2013-Ibing #eclipse #execution #parallel #symbolic computation
- Parallel SMT-Constrained Symbolic Execution for Eclipse CDT/Codan (AI), pp. 196–206.
SEKE-2008-KraftW #eclipse #graph
- Evaluating the Accuracy of Call Graphs Extracted with the Eclipse CDT (NAK, KSW), pp. 85–90.