Navegar

Colección

Datos Estadísticas

Lista de

Frias, Marcelo
22
IEEE Transactions on Software Engineering
2
"TACO: Efficient SAT-based bounded verification using symmetry breaking and tight bounds" (2013) Galeotti, J.P.; Rosner, N.; Lopez Pombo, C.G.; Frias, M.F. IEEE Transactions on Software Engineering. 39(9):1283-1306
"BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support" (2015) Rosner, N.;Geldenhuys, J.;Aguirre, N.M. (...)Frias, M.F. IEEE Transactions on Software Engineering. 41(7):639-660