Universidad Complutense de Madrid
E-Prints Complutense

IndexAuthor

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 2.

Isabel Márquez, Miguel (2017) Deadlock-Guided Testing in CLP. [Trabajo Fin de Máster]

Isabel Márquez, Miguel (2015) Techniques to improve testing scalability on concurrent programs: combining static analysis and testing for Deadlock detection. [Trabajo Fin de Grado]

This list was generated on Wed Oct 23 03:16:00 2019 CEST.