000			03198nam a22003855i 4500
001			294943
003			MX-SnUAN
005			20160429155207.0
007			cr nn 008mamaa
008			150903s2005 gw | o |||| 0|eng d
020			_a9783540318484 _99783540318484
024	7		_a10.1007/b106767 _2doi
035			_avtls000347977
039		9	_a201509030443 _bVLOAD _c201405070458 _dVLOAD _y201402071016 _zstaff
040			_aMX-SnUAN _bspa _cMX-SnUAN _erda
050		4	_aQA76.758
100	1		_aGrabowski, Jens. _eeditor. _9328975
245	1	0	_aFormal Approaches to Software Testing : _b4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers / _cedited by Jens Grabowski, Brian Nielsen.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2005.
300			_ax, 225 páginas Also available online. _brecurso en línea.
336			_atexto _btxt _2rdacontent
337			_acomputadora _bc _2rdamedia
338			_arecurso en línea _bcr _2rdacarrier
347			_aarchivo de texto _bPDF _2rda
490	0		_aLecture Notes in Computer Science, _x0302-9743 ; _v3395
500			_aSpringer eBooks
505	0		_aSymbolic Test Generation -- Test Generation Based on Symbolic Specifications -- Symbolic Test Case Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing Non-functional Properties -- Testing of Symbolic-Probabilistic Systems -- A Test Generation Framework for quiescent Real-Time Systems -- Online Testing of Real-time Systems Using Uppaal -- Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach -- Test Development with Model Checking Techniques -- Using Model Checking for Reducing the Cost of Test Generation -- Specifying and Generating Test Cases Using Observer Automata -- Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang -- An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components -- Test Optimization -- Test Patterns with TTCN-3 -- High-Level Restructuring of TTCN-3 Test Data -- Ordering Mutants to Minimise Test Effort in Mutation Testing -- Testing COM Components Using Software Fault Injection and Mutation Analysis, and Its Empirical Study.
520			_aThis book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Formal Approaches to Software Testing, FATES 2004, held in Linz, Austria in September 2004. The 14 revised full papers presented were carefully selected during two rounds of reviewing and improvement; they are organized in topical sections on symbolic test generation, testing non-functional properties, test development with model checking techniques, and test optimization.
590			_aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700	1		_aNielsen, Brian. _eeditor. _9328976
710	2		_aSpringerLink (Servicio en línea) _9299170
776	0	8	_iEdición impresa: _z9783540251095
856	4	0	_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/b106767 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942			_c14
999			_c294943 _d294943