An Exploratory Study on the Validation of Lehman's Laws. - Augusto Braz De Sousa; Izaias Pessoa Neto; Fischer Ferreira (SBSI, 2024)

RIFDiscoverer: A Tool for Finding Resource Interaction Failures. - Euler Marinho; Izaias Machado Pessoa Neto; Fischer Ferreira; João Paulo Diniz; Eduardo Figueiredo 001 (SPLC (B), 2024)