國立虎尾科技大學 |

Testing Software and Systems = 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Testing Software and Systems/ edited by Franz Wotawa, Mihai Nica, Natalia Kushik.
其他題名:	28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings /
其他作者:	Wotawa, Franz.
面頁冊數:	XVIII, 257 p. 62 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Software engineering. -
電子資源:	https://doi.org/10.1007/978-3-319-47443-4
ISBN:	9783319474434

Testing Software and Systems = 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings /
Testing Software and Systems28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings /[electronic resource] :edited by Franz Wotawa, Mihai Nica, Natalia Kushik. - 1st ed. 2016. - XVIII, 257 p. 62 illus.online resource. - Programming and Software Engineering ;9976. - Programming and Software Engineering ;8987.

Conformance Testing in Respect to Partial-Order Specifications -- Back-to-Back Testing of Self-Organization Mechanisms -- Test Generation by Constraint Solving and FSM Mutant Killing -- Risk-based Interoperability Testing Using Reinforcement Learning -- A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security Testing -- Controllability Through Non-determinism in Distributed Testing -- Parallelizing Heuristics for Generating Synchronizing Sequences -- Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness -- On-the-fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications -- Mutation-Based Test Generation for PLC Embedded Software Using Model Checking -- STIPI: Using Search to Prioritize Test Cases Based on Multi-Objectives Derived from Industrial Practice -- From Simulation Data to Test Cases for Fully Automated Driving and ADAS -- Searching Critical Values for Floating-point Programs -- UTTOS: A Tool for Testing UEFI Code in OS Environment -- Towards Model Construction Based on Test Cases and GUI Extraction -- Set-based Algorithms for Combinatorial Test Set Generation -- Another Experience with Test* in Industry: Automated Localization Testing -- Distribution Visualization for User Behavior Analysis on LTE Network. .

This book constitutes the refereed proceedings of the 278th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2016, held in Graz, Austria, in October 2016. The 12 revised full papers and 6 short papers presented were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on testing methodologies, heuristics and non-determinism in testing, practical applications, and short contributions.

ISBN: 9783319474434

Standard No.: 10.1007/978-3-319-47443-4doiSubjects--Topical Terms:

562952
Software engineering.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Testing Software and Systems = 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings /
LDR:03337nam a22004095i 4500 001 982463
003 DE-He213
005 20200701234109.0
007 cr nn 008mamaa
008 201211s2016 gw | s |||| 0|eng d
020 $a 9783319474434 $9 978-3-319-47443-4
024 7 $a 10.1007/978-3-319-47443-4 $2 doi
035 $a 978-3-319-47443-4
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 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings / $c edited by Franz Wotawa, Mihai Nica, Natalia Kushik.
250 $a 1st ed. 2016.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2016.
300 $a XVIII, 257 p. 62 illus. $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 9976
505 0 $a Conformance Testing in Respect to Partial-Order Specifications -- Back-to-Back Testing of Self-Organization Mechanisms -- Test Generation by Constraint Solving and FSM Mutant Killing -- Risk-based Interoperability Testing Using Reinforcement Learning -- A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security Testing -- Controllability Through Non-determinism in Distributed Testing -- Parallelizing Heuristics for Generating Synchronizing Sequences -- Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness -- On-the-fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications -- Mutation-Based Test Generation for PLC Embedded Software Using Model Checking -- STIPI: Using Search to Prioritize Test Cases Based on Multi-Objectives Derived from Industrial Practice -- From Simulation Data to Test Cases for Fully Automated Driving and ADAS -- Searching Critical Values for Floating-point Programs -- UTTOS: A Tool for Testing UEFI Code in OS Environment -- Towards Model Construction Based on Test Cases and GUI Extraction -- Set-based Algorithms for Combinatorial Test Set Generation -- Another Experience with Test* in Industry: Automated Localization Testing -- Distribution Visualization for User Behavior Analysis on LTE Network. .
520 $a This book constitutes the refereed proceedings of the 278th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2016, held in Graz, Austria, in October 2016. The 12 revised full papers and 6 short papers presented were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on testing methodologies, heuristics and non-determinism in testing, practical applications, and short contributions.
650 0 $a Software engineering. $3 562952
650 0 $a Computer communication systems. $3 1115394
650 0 $a Programming languages (Electronic computers). $3 1127615
650 0 $a Special purpose computers. $3 1204562
650 0 $a Computer logic. $3 786340
650 0 $a Management information systems. $3 561123
650 0 $a Computer science. $3 573171
650 1 4 $a Software Engineering. $3 669632
650 2 4 $a Computer Communication Networks. $3 669310
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Special Purpose and Application-Based Systems. $3 669833
650 2 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Management of Computing and Information Systems. $3 593928
700 1 $a Wotawa, Franz. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1113523
700 1 $a Nica, Mihai. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1114547
700 1 $a Kushik, Natalia. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1114548
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319474427
776 0 8 $i Printed edition: $z 9783319474441
830 0 $a Programming and Software Engineering ; $v 8987 $3 1253476
856 4 0 $u https://doi.org/10.1007/978-3-319-47443-4
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)