Navegar

Colección

Datos Estadísticas

Lista de

IEEE Transactions on Software Engineering
11
2015
1
"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