000 04986nam a22006255i 4500
001 978-3-030-64881-7
003 DE-He213
005 20240730174614.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.
_94138
650 0 _aComputer engineering.
_910164
650 0 _aComputer networks .
_931572
650 0 _aArtificial intelligence.
_93407
650 0 _aComputers.
_98172
650 0 _aComputer science.
_99832
650 1 4 _aSoftware Engineering.
_94138
650 2 4 _aComputer Engineering and Networks.
_9113222
650 2 4 _aArtificial Intelligence.
_93407
650 2 4 _aComputing Milieux.
_955441
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
700 1 _aCasola, Valentina.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9113223
700 1 _aDe Benedictis, Alessandra.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9113224
700 1 _aRak, Massimiliano.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9113225
710 2 _aSpringerLink (Online service)
_9113226
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
_9113227
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 _cELN
999 _c89521
_d89521