Navegar

Colección

Datos Estadísticas

Lista de

IEEE Transactions on Software Engineering
11
2013
3
"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
"Synthesizing modal transition systems from triggered scenarios" (2013) Sibay, G.E.; Braberman, V.; Uchitel, S.; Kramer, J. IEEE Transactions on Software Engineering. 39(7):975-1001
"Elaborating requirements using model checking and inductive learning" (2013) Alrajeh, D.; Kramer, J.; Russo, A.; Uchitel, S. IEEE Transactions on Software Engineering. 39(3):361-383