Validation of Evolving Software
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
Häftad, 2016
561 kr
Validation of Evolving Software
AvNatasha Sharygina,Leonardo Mariani
E-bok
PDF, Engelska, 2015708 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Validation of Evolving Software
Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
Inbunden, 2015
561 kr
Del 13994
Tools and Algorithms for the Construction and Analysis of Systems
Sriram Sankaranarayanan, Natasha Sharygina
Häftad, 2023
448 kr
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conf
Sriram Sankaranarayanan, Natasha Sharygina
644 kr