Test case generation for object-oriented imperative languages in CLP | Publicación