Sesión 05: Trabajos ya publicados (I) Listado de artículos correspondientes a la sesión Trabajos ya publicados (I) Automatic Grading of Programming Exercises using Property-Based TestingRiver basin management with SPINAbstract analysis of universal properties for tccpProving termination properties of conditional rewrite systems