Estadísticas del PDF: Técnicas automáticas para la diagnosis de errores en software diseñado por contrato

Técnicas automáticas para la diagnosis de
errores en software diseñado por contrato

Rafael Ceballos Guerrero,

[email protected]

Supervised by Prof. Dr. Rafael Martínez Gasca y Carmelo del Valle Sevillano

Research Report submitted to the Department of Computer Languages

and Systems of the University of Sevilla in partial fulfilment

of the requirements for the degree of Ph.D. in Computer Engineering.

(“Research Period”)

If debugging is the process of removing
bugs, then programming must b...