東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Testing software and systems = 32nd ...

ICTSS (Conference) (2020 :)

FindBook

Google Book

Amazon

博客來

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 /
其他題名:	ICTSS 2020
其他作者:	Casola, Valentina.
團體作者:	ICTSS (Conference)
出版者:	Cham :Springer International Publishing : : 2020.,
面頁冊數:	xii, 317 p. :ill., digital ;24 cm.
內容註:	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.
Contained By:	Springer Nature eBook
標題:	Computer software - Congresses. - Testing -
電子資源:	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] :ICTSS 2020edited by Valentina Casola, Alessandra De Benedictis, Massimiliano Rak. - Cham :Springer International Publishing :2020. - xii, 317 p. :ill., digital ;24 cm. - Lecture notes in computer science,125430302-9743 ;. - Lecture notes in computer science ;12543..

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:

849414
Computer software
--Testing--Congresses.

LC Class. No.: QA76.76.T48

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:03699nmm a2200361 a 4500 001 2256964
003 DE-He213
005 20201126165358.0
006 m d
007 cr nn 008maaau
008 220420s2020 sz s 0 eng d
020 $a 9783030648817 $q (electronic bk.)
020 $a 9783030648800 $q (paper)
024 7 $a 10.1007/978-3-030-64881-7 $2 doi
035 $a 978-3-030-64881-7
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.76.T48
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
090 $a QA76.76.T48 $b I17 2020
111 2 $a ICTSS (Conference) $n (32nd : $d 2020 : $c Online) $3 3527727
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.
246 3 $a ICTSS 2020
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a xii, 317 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 12543
490 1 $a Programming and software engineering
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 0 $a Computer software $x Testing $v Congresses. $3 849414
650 0 $a Software engineering $x Congresses. $3 696781
650 1 4 $a Software Engineering. $3 890874
650 2 4 $a Computer Systems Organization and Communication Networks. $3 891212
650 2 4 $a Artificial Intelligence. $3 769149
650 2 4 $a Computing Milieux. $3 893243
650 2 4 $a Logics and Meanings of Programs. $3 892495
700 1 $a Casola, Valentina. $3 3527728
700 1 $a De Benedictis, Alessandra. $3 3527729
700 1 $a Rak, Massimiliano. $3 3527730
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 12543. $3 3527731
830 0 $a Programming and software engineering. $3 3382571
856 4 0 $u https://doi.org/10.1007/978-3-030-64881-7
950 $a Computer Science (SpringerNature-11645)