Testing Software and Systems (Record no. 56765)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 04091nam a22006015i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-319-47443-4 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20200421112043.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 161003s2016 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9783319474434 |
| -- | 978-3-319-47443-4 |
| 082 04 - CLASSIFICATION NUMBER | |
| Call Number | 005.1 |
| 245 10 - TITLE STATEMENT | |
| Title | Testing Software and Systems |
| Sub Title | 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings / |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | XVIII, 257 p. 62 illus. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Lecture Notes in Computer Science, |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Remark 2 | 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 ## - SUMMARY, ETC. | |
| Summary, etc | 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. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Wotawa, Franz. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Nica, Mihai. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Kushik, Natalia. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | http://dx.doi.org/10.1007/978-3-319-47443-4 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks |
| 264 #1 - | |
| -- | Cham : |
| -- | Springer International Publishing : |
| -- | Imprint: Springer, |
| -- | 2016. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer communication systems. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Special purpose computers. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Software engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Programming languages (Electronic computers). |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer logic. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Management information systems. |
| 650 14 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Software Engineering. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer Communication Networks. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Programming Languages, Compilers, Interpreters. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Special Purpose and Application-Based Systems. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Logics and Meanings of Programs. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Management of Computing and Information Systems. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| -- | 0302-9743 ; |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
No items available.