Vista normal Vista MARC Vista ISBD

Validation of evolving software / edited by Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina. - viii, 220 páginas : 60 ilustraciones, 28 ilustraciones en color.

Springer eBooks

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

ISBN: 9783319106236

LC Class. No.: QA76.758