Mostrando
1 - 1
Resultados de
1
Para Buscar '
Pasareanu C.S.
'
Saltar al contenido
BDU
3
Inicio
Su cuenta
Salir
Entrar
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Pasareanu C.S.
Mostrando
1 - 1
Resultados de
1
Para Buscar '
Pasareanu C.S.
'
, tiempo de consulta: 0.01s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Testing and validating end user programmed calculated fields
por
Braberman, V.
,
Garbervetsky, D.
,
Godoy, J.
,
Uchitel, S.
,
De Caso, G.
,
Perez, I.
,
Perez, S.
,
Garci A.
,
Pasareanu
C
.S.
,
Leavens G.T.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Database queries
End users
Model checking
Path condition
Program Analysis
Program analysis
Query Generation
Query generation
Query languages
Query processing
Smt solvers
Software testing
Symbolic Execution
Symbolic execution
Test data
Cargando...