Ricardo Peña

Professor at Universidad Complutense de Madrid

Ricardo is a Full Professor in Computer Science at the Universidad Complutense de Madrid. Up to 1991, he was Associate Professor at the Universidad Politécnica de Cataluña. Previously to 1984, he worked as project leader for several companies.

Research Interests:

  • Functional languages
  • Compilation and virtual machines
  • Static analysis
  • Abstract interpretation
  • Type systems
  • Proof carrying code (PCC)
  • Parallelism and concurrency

We present an algorithm for generating paths through a set of mutually recursive functions. The algorithm is part of a tool for white-box test-case generation. While in imperative programs there is a well established notion of path depth, this is not the case in recursive programs. We define what we mean by path and path depth in these programs and propose an algorithm which generates all the static paths up to a given depth. When the algorithm is applied to iterative programs, the defined depth corresponds to the maximum number of iterations through any loop. When applied to non-tail recursive functions, the meaning is closely related to the maximum number of their unfoldings along the path. It can also be applied to hybrid programs where iteration and recursion are both present.


←Back