RIFDiscoverer: A Tool for Finding Resource Interaction Failures.

Euler Marinho, Izaias Machado Pessoa Neto, Fischer Ferreira, Joo Paulo Diniz, Eduardo Figueiredo

Browse the full SPLC paper archive.