Constraint satisfaction techniques for diagnosing errors in design by contract software | Publicación