000			04116nam a2200433 i 4500
999			_c334627 _d334627 _x1
001			334627
003			ES-MaUEC
005			20240111050210.0
006			a|||| o|||| 10| 0
007			cr nn nnnaamaa
008			210316s2021 gw a o |1|| 0|eng d
020			_a9783030714727
024	7		_a10.1007/978-3-030-71472-7 _2doi
040			_aES-MaUEC _bspa _cES-MaUEC _dES-MaUEC
050		4	_aQA76.758 _b2021 EB
245	0	0	_aTools and methods of program analysis : _b5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7-9, 2019 : revised selected papers _cedited by Anna Kalenkova, Jose A Lozano, Rostislav Yavorskiy
250			_aFirst edition 2021
264		1	_aCham, Switzerland _bSpringer International Publising _c2021
300			_a1 recurso en línea (X, 209 páginas) _b68 ilustraciones, 45 ilustraciones a color
336			_2rdacontent _aTexto _btxt
337			_2rdamedia _aelectrónico _bc
338			_2rdacarrier _arecurso electrónico _bcr
347			_atext file _bPDF _2rda
490	0		_aCommunications in Computer and Information Science _x1865-0929 _v1288
505	0		_aPartial Specifications of Libraries: Applications in Software Engineering -- Chaotic Time Series Prediction: Run for the Horizon -- Machine Learning and value generation in Software Development: a survey -- About using of Strings Similarity conception in software engineering -- Multi-Perspective Process Mining with Embedding Configurations into DB-based Event Logs -- On DB-nets and their Applications -- Pre-Processing Network Messages of Trading Systems into Event Log for Process Mining -- Time series classification based on visualization of recurrence plots -- Relation between Test Coverage and Timed Automata Model Structure -- Random Graph Model for Structural Analysis of Online Communications -- The in uence of self-organizing teams on the structure of the social graph -- Making Bounded Model Checking Interprocedural in (Static Analysis) Style -- Static Taint Analysis for JavaScript Programs -- Generation of Testing Metrics by Using Cluster Analysis of Bug Reports -- Building an Adaptive Logs Classification System An Industrial Report -- Development of Test Suite with Formally Verified FSM Coverage: A Case Study -- Generation of test-based traces for automated partial software specifications extraction.
520	3		_aThis book constitutes the refereed proceedings of the 5th International Conference on Tools and Methods for Program Analysis, TMPA 2019, held in Tbilisi, Georgia, in November 2019. The 14 revised full papers and 2 revised short papers presented together with one keynote paper were carefully reviewed and selected from 41 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification.
988			_aSpringer_Computer_2021
650		7	_2embne _aIngeniería del software _vCongresos y asambleas _9152630
650		7	_2embne _aInteligencia artificial _vCongresos y asambleas _9413115
700	1		_aKalenkova, Anna _eeditor literario _0(orcid)0000-0002-5088-7602 _1https://orcid.org/0000-0002-5088-7602 _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aLozano, Jose A _eeditor literario _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aYavorskiy, Rostislav _eeditor literario _0(orcid)0000-0003-0509-1821 _1https://orcid.org/0000-0003-0509-1821 _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-030-71472-7 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942			_2lcc _cLE
998			_b05/2021 _dz _eb _zSI