LEADER 02509nam  22005895  450 
001 9910299253603321
005 20230314072309.0
010   $a3-319-10623-6
024 7 $a10.1007/978-3-319-10623-6
035   $a(CKB)3710000000442852
035   $a(EBL)3567487
035   $a(SSID)ssj0001534570
035   $a(PQKBManifestationID)11873095
035   $a(PQKBTitleCode)TC0001534570
035   $a(PQKBWorkID)11494996
035   $a(PQKB)11238207
035   $a(DE-He213)978-3-319-10623-6
035   $a(MiAaPQ)EBC3567487
035   $a(PPN)187683816
035   $a(EXLCZ)993710000000442852
100   $a20150701d2015      u|         0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aValidation of Evolving Software /$fedited by Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (216 p.)
300   $aDescription based upon print version of record.
311   $a3-319-10622-8 
320   $aIncludes bibliographical references.
327   $aIntroduction -- Challenges of Existing Technology -- Static Analysis -- Dynamic Analysis -- Hybrid Analysis -- Quality of Validation.
330   $aThis 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.
606   $aSoftware engineering
606   $aComputer science
606   $aSoftware Engineering
606   $aComputer Science Logic and Foundations of Programming
615  0$aSoftware engineering.
615  0$aComputer science.
615 14$aSoftware Engineering.
615 24$aComputer Science Logic and Foundations of Programming.
676   $a004
702   $aChockler$b Hana$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aKroening$b Daniel$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMariani$b Leonardo$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSharygina$b Natasha$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a9910299253603321
996   $aValidation of Evolving Software$92508554
997   $aUNINA