Carmen Avila

Publication Activity (10 Years)

Years Active: 2008-2010
Publications (10 Years): 0

Publications

Carmen Avila, Amritam Sarcar, Yoonsik Cheon, Cesar Yeep
Runtime Constraint Checking Approaches for OCL, A Critical Comparison. SEKE (2010)
Yoonsik Cheon, Carmen Avila
Automating Java Program Testing Using OCL and AspectJ. ITNG (2010)
Yoonsik Cheon, Carmen Avila, Steve Roach, Cuauhtemoc Munoz, Neith Estrada, Valeria Fierro, Jessica Romo
An Aspect-Based Approach to Checking Design Constraints at Run-Time. ITNG (2009)
Carmen Avila, Guillermo Flores, Yoonsik Cheon
A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking. Software Engineering Research and Practice (2008)