| 000 -LEADER |
|---|
| fixed length control field |
03844nam a22005175i 4500 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20140310144112.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
121116s2012 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642346910 |
|
978-3-642-34691-0 |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.758 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1 |
| Edition number |
23 |
| 264 #1 - |
|---|
| -- |
Berlin, Heidelberg : |
| -- |
Springer Berlin Heidelberg : |
| -- |
Imprint: Springer, |
| -- |
2012. |
| 912 ## - |
|---|
| -- |
ZDB-2-SCS |
|
|---|
| -- |
ZDB-2-LNC |
| 100 1# - MAIN ENTRY--PERSONAL NAME |
|---|
| Personal name |
Nielsen, Brian. |
| Relator term |
editor. |
| 245 10 - IMMEDIATE SOURCE OF ACQUISITION NOTE |
|---|
| Title |
Testing Software and Systems |
| Medium |
[electronic resource] : |
| Remainder of title |
24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings / |
| Statement of responsibility, etc |
edited by Brian Nielsen, Carsten Weise. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
X, 263 p. 97 illus. |
| Other physical details |
online resource. |
| 440 1# - SERIES STATEMENT/ADDED ENTRY--TITLE |
|---|
| Title |
Lecture Notes in Computer Science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume number/sequential designation |
7641 |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Requirements-Driven Log Analysis -- Active Learning of Extended Finite State Machines -- Testing in Practice -- Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools -- Managing Execution Environment Variability during Software Testing:mAn Industrial Experience -- A Technique for Agile and Automatic Interaction Testing for Product Lines -- CaPTIF: Comprehensive Performance TestIng Framework -- Test Frameworks for Distributed Systems Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems -- Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP Protocol -- Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems.-Testing of Embedded Systems Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing -- Querying Parametric Temporal Logic Properties on Embedded Systems -- State Estimation and Property-Guided Exploration for Hybrid Systems Testing -- Test Optimization -- Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes -- Using Behaviour Inference to Optimise Regression Test Sets -- New Testing Methods -- Machine Learning Approach in Mutation Testing -- Lightweight Automatic Error Detection by Monitoring Collar Variables -- Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution -- Parameterized GUI Tests. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012, held in Aalborg, Denmark, in November 2012. The 16 revised full papers presented together with 2 invited talks were carefully selected from 48 submissions. The papers are organized in topical sections on testing in practice, test frameworks for distributed systems, testing of embedded systems, test optimization, and new testing methods. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer science. |
|
|---|
| Topical term or geographic name as entry element |
Computer Communication Networks. |
|
|---|
| Topical term or geographic name as entry element |
Software engineering. |
|
|---|
| Topical term or geographic name as entry element |
Logic design. |
|
|---|
| Topical term or geographic name as entry element |
Information Systems. |
|
|---|
| Topical term or geographic name as entry element |
Computer Science. |
|
|---|
| Topical term or geographic name as entry element |
Software Engineering. |
|
|---|
| Topical term or geographic name as entry element |
Computer Communication Networks. |
|
|---|
| Topical term or geographic name as entry element |
Programming Languages, Compilers, Interpreters. |
|
|---|
| Topical term or geographic name as entry element |
Special Purpose and Application-Based Systems. |
|
|---|
| Topical term or geographic name as entry element |
Logics and Meanings of Programs. |
|
|---|
| Topical term or geographic name as entry element |
Management of Computing and Information Systems. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Weise, Carsten. |
| Relator term |
editor. |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY |
|---|
| Title |
Springer eBooks |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Display text |
Printed edition: |
| International Standard Book Number |
9783642346903 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
http://dx.doi.org/10.1007/978-3-642-34691-0 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
|
| Item type |
E-Book |
