Rojas Siles, Jose Miguel (2013). Generación de Casos de Prueba en Programación Orientada a Objetos = Test Case Generation in Object-Oriented Programming. Thesis (Doctoral), Facultad de Informática (UPM).