Luis Llana
Universidad Complutense de Madrid(ES)
Publications by Year
Research Areas
Formal Methods in Verification, Software Testing and Debugging Techniques, Logic, programming, and type systems, Model-Driven Software Engineering Techniques, Advanced Software Engineering Methodologies
Most-Cited Works
- → Acceptance trees for probabilistic processes(1995)42 cited
- → Metamorphic testing of oracle quantum programs(2022)32 cited
- → A General Testability Theory: Classes, Properties, Complexity, and Testing Reductions(2014)27 cited
- → MT-EA4Cloud: A Methodology For testing and optimising energy-aware cloud systems(2020)24 cited
- → Input-Output Conformance Simulation (iocos) for Model Based Testing(2013)22 cited
- → FLOP, a free laboratory of programming(2012)18 cited
- → Testing semantics for a probabilistic-timed process algebra(1997)13 cited
- → A formal framework for software product lines(2013)12 cited
- → Introducing MOOC-like methodologies in a face-to-face undergraduate course: a detailed case study(2018)12 cited
- → EXercita(2001)10 cited