Carmen Avila

According to our database, Carmen Avila authored at least 4 papers between 2008 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Runtime Constraint Checking Approaches for OCL, A Critical Comparison.

Carmen Avila, Amritam Sarcar, Yoonsik Cheon, Cesar Yeep

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

Automating Java Program Testing Using OCL and AspectJ.

Yoonsik Cheon, Carmen Avila

Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

2009

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

Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

2008

A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking.

Carmen Avila, Guillermo Flores, Yoonsik Cheon

Proceedings of the 2008 International Conference on Software Engineering Research & Practice, 2008