000			03295nam a22005655i 4500
001			978-3-642-14335-9
003			DE-He213
005			20140220084542.0
007			cr nn 008mamaa
008			100707s2010 gw | s |||| 0|eng d
020			_a9783642143359 _9978-3-642-14335-9
024	7		_a10.1007/978-3-642-14335-9 _2doi
050		4	_aQA76.758
072		7	_aUMZ _2bicssc
072		7	_aCOM051230 _2bisacsh
082	0	4	_a005.1 _223
100	1		_aBorba, Paulo. _eeditor.
245	1	0	_aTesting Techniques in Software Engineering _h[electronic resource] : _bSecond Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures / _cedited by Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2010.
300			_aIX, 313p. 73 illus. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aLecture Notes in Computer Science, _x0302-9743 ; _v6153
505	0		_aSoftware Testing: An Overview -- Functional, Control and Data Flow, and Mutation Testing: Theory and Practice -- Automatic Test-Case Generation -- Testing a Software Product Line -- Parameterized Unit Testing with Pex: Tutorial -- Software Tool Issues -- Software Testing Based on Formal Specification -- A Systematic Introduction to Mutation Testing in Unifying Theories of Programming.
520			_aThis tutorial book presents an augmented selection of the material presented at the Second Pernambuco Summer School on Software Engineering, PSSE 2007, held in Receife, Brazil in December 2007. The 8 contributions are the thoroughly revised versions of the papers presented by the invited lecturers. The revision was inspired by the synergy generated by the opportunity for the lecturers to present and discuss their work among themselves, and with the school’s attendees. The courses cover a wide spectrum of topics in software engineering with a special focus on testing - a key activity for assuring software quality. Apart from foundational issues, languages and techniques, the courses also cover the semantic underpinnings of refinement, as well as industrial applications and refinement tools.
650		0	_aComputer science.
650		0	_aSoftware engineering.
650		0	_aLogic design.
650		0	_aInformation Systems.
650	1	4	_aComputer Science.
650	2	4	_aSoftware Engineering.
650	2	4	_aProgramming Techniques.
650	2	4	_aProgramming Languages, Compilers, Interpreters.
650	2	4	_aLogics and Meanings of Programs.
650	2	4	_aMathematical Logic and Formal Languages.
650	2	4	_aManagement of Computing and Information Systems.
700	1		_aCavalcanti, Ana. _eeditor.
700	1		_aSampaio, Augusto. _eeditor.
700	1		_aWoodcook, Jim. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783642143342
830		0	_aLecture Notes in Computer Science, _x0302-9743 ; _v6153
856	4	0	_uhttp://dx.doi.org/10.1007/978-3-642-14335-9
912			_aZDB-2-SCS
912			_aZDB-2-LNC
999			_c112453 _d112453