| |
| 2006 | ||
|---|---|---|
| 2 | EE | Rafael Ceballos, Rafael Martinez Gasca, Diana Borrego: Constraint satisfaction techniques for diagnosing errors in design by contract software. ACM SIGSOFT Software Engineering Notes 31(2): (2006) |
| 2005 | ||
| 1 | EE | Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Diana Borrego: Diagnosing Errors in DbC Programs Using Constraint Programming. CAEPIA 2005: 200-210 |
| 1 | Rafael Ceballos | [1] [2] |
| 2 | Rafael M. Gasca (Rafael Martinez Gasca) | [1] [2] |
| 3 | Carmelo Del Valle | [1] |