A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking. - Carmen Avila; Guillermo Flores; Yoonsik Cheon (Software Engineering Research and Practice, 2008)

An Aspect-Based Approach to Checking Design Constraints at Run-Time. - Yoonsik Cheon; Carmen Avila; Steve Roach; Cuauhtemoc Munoz; Neith Estrada; Valeria Fierro; Jessica Romo (ITNG, 2009)

Automating Java Program Testing Using OCL and AspectJ. - Yoonsik Cheon; Carmen Avila (ITNG, 2010)

Runtime Constraint Checking Approaches for OCL, A Critical Comparison. - Carmen Avila; Amritam Sarcar; Yoonsik Cheon; Cesar Yeep (SEKE, 2010)