國立虎尾科技大學 |

Testing Software and Systems = 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Testing Software and Systems/ edited by Valentina Casola, Alessandra De Benedictis, Massimiliano Rak.
其他題名:	32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings /
其他作者:	Rak, Massimiliano.
面頁冊數:	XII, 317 p. 104 illus., 64 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Logics and Meanings of Programs. -
電子資源:	https://doi.org/10.1007/978-3-030-64881-7
ISBN:	9783030648817

Testing Software and Systems = 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings /
Testing Software and Systems32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings /[electronic resource] :edited by Valentina Casola, Alessandra De Benedictis, Massimiliano Rak. - 1st ed. 2020. - XII, 317 p. 104 illus., 64 illus. in color.online resource. - Programming and Software Engineering ;12543. - Programming and Software Engineering ;8987.

Model-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.

This 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.

ISBN: 9783030648817

Standard No.: 10.1007/978-3-030-64881-7doiSubjects--Topical Terms:

670058
Logics and Meanings of Programs.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Testing Software and Systems = 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings /
LDR:03964nam a22004095i 4500 001 1030245
003 DE-He213
005 20201126165358.0
007 cr nn 008mamaa
008 210318s2020 gw | s |||| 0|eng d
020 $a 9783030648817 $9 978-3-030-64881-7
024 7 $a 10.1007/978-3-030-64881-7 $2 doi
035 $a 978-3-030-64881-7
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
245 1 0 $a Testing Software and Systems $h [electronic resource] : $b 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings / $c edited by Valentina Casola, Alessandra De Benedictis, Massimiliano Rak.
250 $a 1st ed. 2020.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a XII, 317 p. 104 illus., 64 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Programming and Software Engineering ; $v 12543
505 0 $a Model-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 $a This 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 2 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Computing Milieux. $3 669921
650 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Computer Systems Organization and Communication Networks. $3 669309
650 1 4 $a Software Engineering. $3 669632
650 0 $a Computer logic. $3 786340
650 0 $a Computers. $3 565115
650 0 $a Artificial intelligence. $3 559380
650 0 $a Computer organization. $3 596298
650 0 $a Software engineering. $3 562952
700 1 $a Rak, Massimiliano. $e editor. $1 https://orcid.org/0000-0001-6708-4032 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1327101
700 1 $a De Benedictis, Alessandra. $e editor. $1 https://orcid.org/0000-0001-7455-4653 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1327100
700 1 $a Casola, Valentina. $e editor. $1 https://orcid.org/0000-0003-0964-7014 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1327099
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030648800
776 0 8 $i Printed edition: $z 9783030648824
830 0 $a Programming and Software Engineering ; $v 8987 $3 1253476
856 4 0 $u https://doi.org/10.1007/978-3-030-64881-7
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)