Mostrando
1 - 3
Resultados de
3
Para Buscar '
Ponzio, P.
'
Saltar al contenido
BDU
3
Inicio
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Ponzio, P.
Mostrando
1 - 3
Resultados de
3
Para Buscar '
Ponzio, P.
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Bounded exhaustive test input generation from hybrid invariants
por
Rosner, N.
,
Bengolea, V.
,
Ponzio
,
P
.
,
Khalek, S.A.
,
Aguirre, N.
,
Frias, M.F.
,
Khurshid, S.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
2
Bounded exhaustive test input generation from hybrid invariants
por
Rosner, N.
,
Bengolea, V.
,
Ponzio
,
P
.
,
Khalek, S.A.
,
Aguirre, N.
,
Frias, M.F.
,
Khurshid, S.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
3
Towards abstraction for DynAlloy specifications
por
Aguirre, N.M.
,
Frias, M.F.
,
Ponzio
,
P
.
,
Cardiff, B.J.
,
Galeotti, J.P.
,
Regis, G.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Specifications
Alloy
Alloying
Automated test generation
Automated test generations
Bounded exhaustive testing
Korat
SAT solving
SAT-solving
Software testing
Transcoping
Abstracting
Atomic actions
Case studies
Computer programming languages
Computer software
Computer software reusability
Computer systems programming
Dynamic logics
Final states
Formal methods
Intermediate states
JAVA programs
Java programming language
Model checking
Object oriented programming
Operational units
Partial correctnesses
Predicate abstractions
Program translators
Cargando...