Towards Testing Concurrent Objects in CLP | Publicación