Manuel Carrasco

According to our database, Manuel Carrasco authored at least 2 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Scalable SMT Sampling for Floating-Point Formulas via Coverage-Guided Fuzzing.

Manuel Carrasco, Cristian Cadar, Alastair F. Donaldson

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2025

2020

Open Activities And Technologies During COVID19 From The IEEE Student Branch at UNED.

Pedro Plaza, Manuel Castro, Elio San Cristóbal, Félix García Loro, Rosario Gil, Antonio Menacho, Manuel Blázquez, Blanca Quintana, Sergio Martín, Francisco Mur, Alejandro Macho, Pablo Baizán, Manuel Carrasco, Germán Carro Fernandez, África Lopez-Rey, Clara Pérez, Russ Meier, Edmundo Tovar

Proceedings of the IEEE International Conference on Teaching, 2020