000			02091nam a22004815i 4500
001			978-3-319-10623-6
003			DE-He213
005			20200421112542.0
007			cr nn 008mamaa
008			150701s2015 gw | s |||| 0|eng d
020			_a9783319106236 _9978-3-319-10623-6
024	7		_a10.1007/978-3-319-10623-6 _2doi
050		4	_aQA76.758
072		7	_aUMZ _2bicssc
072		7	_aCOM051230 _2bisacsh
082	0	4	_a005.1 _223
245	1	0	_aValidation of Evolving Software _h[electronic resource] / _cedited by Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina.
264		1	_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2015.
300			_aVIII, 220 p. 60 illus., 28 illus. in color. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
505	0		_aIntroduction -- Challenges of Existing Technology -- Static Analysis -- Dynamic Analysis -- Hybrid Analysis -- Quality of Validation.
520			_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.
650		0	_aComputer science.
650		0	_aSoftware engineering.
650		0	_aComputer logic.
650	1	4	_aComputer Science.
650	2	4	_aSoftware Engineering.
650	2	4	_aLogics and Meanings of Programs.
700	1		_aChockler, Hana. _eeditor.
700	1		_aKroening, Daniel. _eeditor.
700	1		_aMariani, Leonardo. _eeditor.
700	1		_aSharygina, Natasha. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783319106229
856	4	0	_uhttp://dx.doi.org/10.1007/978-3-319-10623-6
912			_aZDB-2-SCS
942			_cEBK
999			_c58320 _d58320