1. Chang, B.-M., Yi, K., Jo, J., 2000. Constraint-based analysis for Java. In: SSGRR 2000 Computer and e-Business Conference, August 2000, L'Aquila, Italy
2. Chatterjee, R.K., Ryder, B.G., 1999. Data-flow-based testing of object-oriented libraries. Technical Report DCS-TR-382, Rutgers University
3. Chatterjee, R.K., Ryder, B.G., Landi, W.A., 1998. Complexity of concrete type-inference in the presence of exceptions. In: Lecture notes in Computer Science 1381, pp. 57–74
4. Choi, J.-D., Grove, D., Hind, M., Sarkar, V., 1999. Efficient and precise modeling of exceptions for analysis of Java programs. In: Proceedings of PASTE '99 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, September 1999, pp. 21–31
5. Compositional and inductive semantic definitions in fixpoint, equational, constraint, closure-condition, rule-based and game-theoretic form;Cousot,1995