Open Activities And Technologies During COVID19 From The IEEE Student Branch at UNED. - Pedro Plaza 001; Manuel Castro 001; Elio San Cristóbal; Félix García Loro; Rosario Gil 001; Antonio Menacho; Manuel Blázquez; Blanca Quintana; Sergio Martín 001; Francisco Mur; Alejandro Macho; Pablo Baizán; et al. (TALE, 2020)

Scalable SMT Sampling for Floating-Point Formulas via Coverage-Guided Fuzzing. - Manuel Carrasco; Cristian Cadar; Alastair F. Donaldson (ICST, 2025)