Navegar

Colección

Datos Estadísticas

Lista de

2014
1426
2014 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2014
1
"Bounded exhaustive test input generation from hybrid invariants" (2014) Rosner, N.;Bengolea, V.;Ponzio, P. (...)Khurshid, S. 2014 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2014:655-674