000			04883nam a22006255i 4500
001			978-3-030-64881-7
003			DE-He213
005			20240423125331.0
007			cr nn 008mamaa
008			201126s2020 sz | s |||| 0|eng d
020			_a9783030648817 _9978-3-030-64881-7
024	7		_a10.1007/978-3-030-64881-7 _2doi
050		4	_aQA76.758
072		7	_aUMZ _2bicssc
072		7	_aCOM051230 _2bisacsh
072		7	_aUMZ _2thema
082	0	4	_a005.1 _223
245	1	0	_aTesting Software and Systems _h[electronic resource] : _b32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings / _cedited by Valentina Casola, Alessandra De Benedictis, Massimiliano Rak.
250			_a1st ed. 2020.
264		1	_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2020.
300			_aXII, 317 p. 104 illus., 64 illus. in color. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aProgramming and Software Engineering, _x2945-9168 ; _v12543
505	0		_aModel-Based Testing -- Using Model Learning for the Generation of Mock Components -- Interrogating Virtual Agents: In Quest of Security Vulnerabilities -- Giving a Model-based Testing Language a Formal Semantics via Partial MAX-SAT -- Learning Abstracted Non-Deterministic Finite State Machines -- Security Testing -- APPregator: a large-scale platform for mobile security analysis -- Vulsploit: a module for semi-automatic exploitation of vulnerabilities -- About the Robustness and Looseness of Yara Rules -- Measurement-based analysis of a DoS Defense Module for an Open Source Web Server -- Trust is in the air: a new adaptive method to evaluate mobile wireless networks -- Enabling Next-Generation Cyber Ranges with Mobile Security Components -- Testing Methods and Applications -- A Technique for Parallel GUI Testing of Android Applications -- Trigger Alarm A Smart NFC Sniffer for High-Precision Measurements -- Methods for Live Testing of Cloud Services -- Testing Methods and Automation -- Automated Transition Coverage in Behavioural Conformance Testing -- An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm -- Automatic Fairness Testing of Machine Learning Models -- Inspecting Code Churns to Prioritize Test Cases -- Short Contributions -- Using an SMT solver for checking the completeness of FSM-based tests -- Hacking Goals: a goal-centric attack taxonomy in computer systems -- A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems -- Architecture based on keyword driven testing with domain specific language for a testing system.
520			_aThis book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2020, which was supposed to be held in Naples, Italy, in December 2020, but was held virtually due to the COVID-19 pandemic. The 17 regular papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, embedded and cyber-physical systems, and security infrastructures. The papers are organized in the topical sections named: model-based testing; security testing; testing methods and applications; testing methods and automation; and short contributions.
650		0	_aSoftware engineering.
650		0	_aComputer engineering.
650		0	_aComputer networks .
650		0	_aArtificial intelligence.
650		0	_aComputers.
650		0	_aComputer science.
650	1	4	_aSoftware Engineering.
650	2	4	_aComputer Engineering and Networks.
650	2	4	_aArtificial Intelligence.
650	2	4	_aComputing Milieux.
650	2	4	_aComputer Science Logic and Foundations of Programming.
700	1		_aCasola, Valentina. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aDe Benedictis, Alessandra. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aRak, Massimiliano. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink (Online service)
773	0		_tSpringer Nature eBook
776	0	8	_iPrinted edition: _z9783030648800
776	0	8	_iPrinted edition: _z9783030648824
830		0	_aProgramming and Software Engineering, _x2945-9168 ; _v12543
856	4	0	_uhttps://doi.org/10.1007/978-3-030-64881-7
912			_aZDB-2-SCS
912			_aZDB-2-SXCS
912			_aZDB-2-LNC
942			_cSPRINGER
999			_c176804 _d176804