000			01984cam a22003977i 4500
999			_c7010 _d7010
001			16260700
005			20201015123750.0
008			100601s2010 gw a b 001 0 eng d
010			_a 2010929777
020			_a9783642143342
020			_a3642143342
040			_aBTCTA _cBTCTA _dOHX _dYDXCP _dTXH _dDLC _dEG-NcFUE _erda
050	0	0	_aQA76.758 _b.P42 2007
082			_222 _a005.1 _bT
111	2		_aPernambuco Summer School on Software Engineering _n(2nd : _d2007 : _cRecife, Brazil)
245	1	0	_aTesting techniques in software engineering : _bsecond Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007 : revised lectures / _cPaulo Borba ... [et al.] (eds.).
246	3	0	_aPSSE 2007
260			_aBerlin : _bSpringer, _c2010.
300			_aviii, 312 pages. : _billustration ; _c24 cm.
336			_2rdacontent _atext
337			_2rdamedia _aunmediated
338			_2rdacarrier _avolume
490	1		_aLecture notes in computer science, _x0302-9743 ; _v6153. Tutorial
490	1		_aLNCS sublibrary. SL 2, Programming and software engineering
504			_aIncludes bibliographical references and index.
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
650		0	_aSoftware engineering _vCongresses.
650		0	_aComputer software _xTesting _vCongresses.
700	1		_aBorba, Paulo
830		0	_aLecture notes in computer science ; _pTutorial. _v6153.
830		0	_aLNCS sublibrary. SL 2, Programming and software engineering.
856			_3Abstract _uhttp://repository.fue.edu.eg/xmlui/handle/123456789/3462
942			_cBK _2ddc