Validation of evolving software / edited by Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina.

Colaborador(es):

Tipo de material: Texto

TextoEditor: Cham : Springer International Publishing : Springer, 2015Descripción: viii, 220 páginas : 60 ilustraciones, 28 ilustraciones en colorTipo de contenido:

Tipo de medio:

Tipo de portador:

ISBN:

Formatos físicos adicionales: Edición impresa:: Sin títuloClasificación LoC:

Recursos en línea:

Contenidos:

Introduction -- Challenges of Existing Technology -- Static Analysis -- Dynamic Analysis -- Hybrid Analysis -- Quality of Validation.

No hay ítems correspondientes a este registro

Springer eBooks

Introduction -- Challenges of Existing Technology -- Static Analysis -- Dynamic Analysis -- Hybrid Analysis -- Quality of Validation.

Para consulta fuera de la UANL se requiere clave de acceso remoto.