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.