Mostrando
1 - 9
Resultados de
9
Para Buscar '
Rosner, N.
'
Saltar al contenido
BDU
3
Inicio
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Rosner, N.
Mostrando
1 - 9
Resultados de
9
Para Buscar '
Rosner, N.
'
, tiempo de consulta: 0.07s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
TACO: Efficient SAT-based bounded verification using symmetry breaking and tight bounds
por
Galeotti, J.P.
,
Rosner
,
N
.
,
Lopez Pombo, C.G.
,
Frias, M.F.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
2
Analysis of invariants for efficient bounded verification
por
Galeotti, J.P.
,
Rosner
,
N
.
,
Pombo, C.G.L.
,
Frias, M.F.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
3
BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support
por
Rosner
,
N
.
,
Geldenhuys, J.
,
Aguirre, N.M.
,
Visser, W.
,
Frias, M.F.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
JOUR
4
ParAlloy: Towards a framework for efficient parallel analysis of alloy models
por
Rosner
,
N
.
,
Galeotti, J.P.
,
Lopez Pombo, C.G.
,
Frias, M.F.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
5
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
6
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
7
Parallel bounded analysis in code with rich invariants by refinement of field bounds
por
Rosner
,
N
.
,
Galeotti, J.
,
Bermúdez, S.
,
Blas, G.M.
,
De Rosso, S.P.
,
Pizzagalli, L.
,
Zemín, L.
,
Frias, M.F.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
8
Parallel bounded verification of alloy models by tranScoping
por
Rosner
,
N
.
,
Pombo, C.G.L.
,
Aguirre, N.
,
Jaoua, A.
,
Mili, A.
,
Frias, M.F.
,
Rybalchenko A.
,
Rybalchenko A.
,
Cohen E.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
9
Ranger: Parallel analysis of alloy models by range partitioning
por
Rosner
,
N
.
,
Siddiqui, J.H.
,
Aguirre, N.
,
Khurshid, S.
,
Frias, M.F.
,
IEEE Computer Society; Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Technical Council on Software Engineering (TCSE); ACM SIGART; NASA
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Alloy
Alloying
SAT-solving
Propositional formulas
Software testing
Static analysis
Alloy analyzers
Alloys
Cerium alloys
Code analysis
Data structures
DynAlloy
Model checking
Novel techniques
Parallel analysis
SAT-based code analysis
Automated test generation
Automated test generations
Bounded exhaustive testing
Java programming language
KodKod
Korat
Linked data structures
Orders of magnitude
Propositional variables
SAT solvers
SAT solving
SAT-based bounded verification
Sequential programs
Specifications
Cargando...