ENRIQUE
MARTÍN MARTÍN
Profesor contratado doctor
ADRIÁN
RIESCO RODRÍGUEZ
Profesor titular de universidad
Publications by the researcher in collaboration with ADRIÁN RIESCO RODRÍGUEZ (13)
2023
-
Verification of the ROS NavFn planner using executable specification languages
Journal of Logical and Algebraic Methods in Programming, Vol. 132
2022
-
Improving Database Learning with an Automatic Judge
Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE
-
LearnSQL: un juez para el aprendizaje de las bases de datos
Jornada «Aprendizaje Eficaz con TIC en la UCM» (Universidad Complutense de Madrid), pp. 277-288
2021
-
A unified framework for declarative debugging and testing
Information and Software Technology, Vol. 129
2019
-
A core Erlang semantics for declarative debugging
Journal of Logical and Algebraic Methods in Programming, Vol. 107, pp. 1-37
-
FlinkCheck: Property-based testing for apache flink
IEEE Access, Vol. 7, pp. 150369-150382
2018
-
A language-independent technique for assessing tweet success: An experience report
IEEE Access, Vol. 6, pp. 62384-62395
-
Declarative debugging of concurrent Erlang programs
Journal of Logical and Algebraic Methods in Programming, Vol. 101, pp. 22-41
2017
-
Sistema para el aprendizaje de lenguajes de programación mediante tutoriales interactivos
Las TIC en la enseñanza. Experiencias en la UCM: actas de la Jornada. 29 de marzo de 2017, Facultad de Geografía e Historia (Universidad Complutense de Madrid), pp. 69-73
2016
-
Debugging meets testing in Erlang
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015
-
A zoom-declarative debugger for sequential Erlang programs
Science of Computer Programming, Vol. 110, pp. 104-118
2014
-
EDD: A declarative debugger for sequential Erlang programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013
-
A declarative debugger for sequential Erlang programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)