國立高雄大學圖資館 |

Language: English

Back

Testing software and systems32nd IFI...

(1998 :)

Testing software and systems32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Testing software and systemsedited by Valentina Casola, Alessandra De Benedictis, Massimiliano Rak.
Reminder of title:	32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020 : proceedings /
remainder title:	ICTSS 2020
other author:	Casola, Valentina.
corporate name:
Published:	Cham :Springer International Publishing :2020.
Description:	xii, 317 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Computer softwareCongresses.Testing
Online resource:	https://doi.org/10.1007/978-3-030-64881-7
ISBN:	9783030648817$q(electronic bk.)

Testing software and systems32nd 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 ;4891..

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$q(electronic bk.)

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

444627
Computer software
--Testing--Congresses.

LC Class. No.: QA76.76.T48

Dewey Class. No.: 005.1

Testing software and systems32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020 : proceedings /
LDR:03699nmm a2200361 a 4500 001 589448
003 DE-He213
005 20201126165358.0
006 m d
007 cr nn 008maaau
008 210601s2020 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 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
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 444627
650 0 $a Software engineering $3 253562
650 1 4 $a Software Engineering. $3 274511
650 2 4 $a Computer Systems Organization and Communication Networks. $3 273709
650 2 4 $a Artificial Intelligence. $3 212515
650 2 4 $a Computing Milieux. $3 275270
650 2 4 $a Logics and Meanings of Programs. $3 275357
700 1 $a Casola, Valentina. $3 881269
700 1 $a De Benedictis, Alessandra. $3 881270
700 1 $a Rak, Massimiliano. $3 881271
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
830 0 $a Programming and software engineering. $3 821998
856 4 0 $u https://doi.org/10.1007/978-3-030-64881-7
950 $a Computer Science (SpringerNature-11645)