02509nam 22005895 450 991029925360332120230314072309.03-319-10623-610.1007/978-3-319-10623-6(CKB)3710000000442852(EBL)3567487(SSID)ssj0001534570(PQKBManifestationID)11873095(PQKBTitleCode)TC0001534570(PQKBWorkID)11494996(PQKB)11238207(DE-He213)978-3-319-10623-6(MiAaPQ)EBC3567487(PPN)187683816(EXLCZ)99371000000044285220150701d2015 u| 0engur|n|---|||||txtccrValidation of Evolving Software /edited by Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina1st ed. 2015.Cham :Springer International Publishing :Imprint: Springer,2015.1 online resource (216 p.)Description based upon print version of record.3-319-10622-8 Includes bibliographical references.Introduction -- Challenges of Existing Technology -- Static Analysis -- Dynamic Analysis -- Hybrid Analysis -- Quality of Validation.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.Software engineeringComputer scienceSoftware EngineeringComputer Science Logic and Foundations of ProgrammingSoftware engineering.Computer science.Software Engineering.Computer Science Logic and Foundations of Programming.004Chockler Hanaedthttp://id.loc.gov/vocabulary/relators/edtKroening Danieledthttp://id.loc.gov/vocabulary/relators/edtMariani Leonardoedthttp://id.loc.gov/vocabulary/relators/edtSharygina Natashaedthttp://id.loc.gov/vocabulary/relators/edtBOOK9910299253603321Validation of Evolving Software2508554UNINA