MARC details
| 000 -LEADER |
|---|
| fixed length control field |
06622cam a2201009 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn672011403 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703160149.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr ||||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
101027s2010 gw a ob 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
CUS |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
CUS |
| Modifying agency |
GW5XE |
| -- |
E7B |
| -- |
OUN |
| -- |
OCLCQ |
| -- |
COO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCF |
| -- |
BEDGE |
| -- |
DKDLA |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
NLGGC |
| -- |
YDXCP |
| -- |
OCL |
| -- |
OCLCO |
| -- |
EBLCP |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
VT2 |
| -- |
SHS |
| -- |
UAB |
| -- |
ESU |
| -- |
OCLCQ |
| -- |
IOG |
| -- |
BUF |
| -- |
CEF |
| -- |
CRU |
| -- |
OCLCQ |
| -- |
TFW |
| -- |
OCLCO |
| -- |
U3W |
| -- |
AU@ |
| -- |
OCLCO |
| -- |
WYU |
| -- |
OCLCQ |
| -- |
OCLCA |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
LEAUB |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCL |
| -- |
OCLCA |
| 015 ## - NATIONAL BIBLIOGRAPHY NUMBER |
|---|
| National bibliography number |
10,N38 |
| Source |
dnb |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
1006975918 |
| Source |
DE-101 |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER |
|---|
| Record control number |
015673134 |
| Source |
Uk |
| 019 ## - |
|---|
| -- |
679539228 |
| -- |
681900142 |
| -- |
964932828 |
| -- |
1005804457 |
| -- |
1058128761 |
| -- |
1066436418 |
| -- |
1066552714 |
| -- |
1081199177 |
| -- |
1086558647 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783642165733 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3642165737 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
1280390085 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9781280390081 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9786613568007 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
6613568007 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783642165726 |
| Qualifying information |
(pbk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3642165729 |
| Qualifying information |
(pbk.) |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-642-16573-3 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000048718839 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
330018671 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
13647399 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
DKDLA |
| System control number |
820120-katalog:999889479205765 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)672011403 |
| Canceled/invalid control number |
(OCoLC)679539228 |
| -- |
(OCoLC)681900142 |
| -- |
(OCoLC)964932828 |
| -- |
(OCoLC)1005804457 |
| -- |
(OCoLC)1058128761 |
| -- |
(OCoLC)1066436418 |
| -- |
(OCoLC)1066552714 |
| -- |
(OCoLC)1081199177 |
| -- |
(OCoLC)1086558647 |
| 037 ## - SOURCE OF ACQUISITION |
|---|
| Stock number |
978-3-642-16572-6 |
| Source of stock number/acquisition |
Springer |
| Note |
http://www.springerlink.com |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
TK5101.A1 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
QA |
| Source |
lcco |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
UMZ |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
COM051230 |
| Source |
bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
005.1/4 |
| Edition number |
22 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.32 |
| Number source |
bcl |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
54.52 |
| Number source |
bcl |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
ICTSS 2010 |
| Date of meeting |
(2010 : |
| Location of meeting |
Natal, Brazil) |
| 9 (RLIN) |
40254 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Testing software and systems : |
| Remainder of title |
22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 : proceedings / |
| Statement of responsibility, etc. |
Alexandre Petrenko, Adenilso Simão, José Carlos Maldonado (eds.). |
| 246 30 - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
ICTSS 2010 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin : |
| Name of publisher, distributor, etc. |
Springer, |
| Date of publication, distribution, etc. |
2010. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xii, 265 pages) : |
| Other physical details |
illustrations |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| Encoding format |
PDF |
| Source |
rda |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in computer science, |
| International Standard Serial Number |
0302-9743 ; |
| Volume/sequential designation |
6435 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
LNCS sublibrary. SL 2, Programming and software engineering |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 520 8# - SUMMARY, ETC. |
|---|
| Summary, etc. |
Annotation |
| Expansion of summary note |
This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2010, held in Natal, Brazil, in November 2010. ICTSS 2010 is the merger of the 22nd IFIP International Conference on Testing of Communicating Systems (TESTCOM) and the 10th International Workshop on Formal Approaches to Testing of Software (FATES). The 16 revised full papers presented together with 2 invited presentations were carefully selected from 60 submissions. The papers cover a wide range of topics in the field of testing of general software and systems such as test automation, integration testing, test case selection, search based testing, combinatorial testing, inductive testing, test architectures for large-scale systems, and end-to-end performance testing. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Print version record. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Test Automation with TTCN-3 -- State of the Art and a Future Perspective -- A Model-Based Approach to Testing Software for Critical Behavior and Properties -- A Pareto Ant Colony Algorithm Applied to the Class Integration and Test Order Problem -- More Testable Properties -- Alternating Simulation and IOCO -- Reducing the Cost of Model-Based Testing through Test Case Diversity -- Built-In Data-Flow Integration Testing in Large-Scale Component-Based Systems -- Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing -- Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage -- Increasing Functional Coverage by Inductive Testing: A Case Study -- FloPSy -- Search-Based Floating Point Constraint Solving for Symbolic Execution -- Test Data Generation for Programs with Quantified First-Order Logic Specifications -- Efficient Distributed Test Architectures for Large-Scale Systems -- Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction -- Practical End-to-End Performance Testing Tool for High Speed 3G-Based Networks -- A Learning-Based Approach to Unit Testing of Numerical Software -- From Scenarios to Test Implementations Via Promela -- Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases. |
| 546 ## - LANGUAGE NOTE |
|---|
| Language note |
English. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Telecommunication systems |
| General subdivision |
Testing |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
17626 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer software |
| General subdivision |
Testing |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
18837 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Informatique. |
| Source of heading or term |
eclas |
| 9 (RLIN) |
14930 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer software |
| General subdivision |
Testing |
| Source of heading or term |
fast |
| 9 (RLIN) |
4794 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Telecommunication systems |
| General subdivision |
Testing |
| Source of heading or term |
fast |
| 9 (RLIN) |
17627 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Testen |
| Source of heading or term |
gnd |
| 9 (RLIN) |
18844 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Kommunikationssystem |
| Source of heading or term |
gnd |
| 9 (RLIN) |
39201 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Softwaretest |
| Source of heading or term |
gnd |
| 9 (RLIN) |
38895 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Testmustergenerierung |
| Source of heading or term |
gnd |
| 9 (RLIN) |
40255 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Model Checking |
| Source of heading or term |
gnd |
| 9 (RLIN) |
1932 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software |
| Source of heading or term |
gnd |
| 9 (RLIN) |
16724 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logiciels |
| General subdivision |
Essais |
| -- |
Congrès. |
| Source of heading or term |
ram |
| 9 (RLIN) |
40256 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Systèmes de télécommunications |
| General subdivision |
Essais |
| -- |
Congrès. |
| Source of heading or term |
ram |
| 9 (RLIN) |
40257 |
| 651 #7 - SUBJECT ADDED ENTRY--GEOGRAPHIC NAME |
|---|
| Geographic name |
Natal <Rio Grande do Norte, 2010> |
| Source of heading or term |
swd |
| 9 (RLIN) |
40258 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
proceedings (reports) |
| Source of term |
aat |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings |
| Source of term |
fast |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings. |
| Source of term |
lcgft |
| 9 (RLIN) |
6065 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Actes de congrès. |
| Source of term |
rvmgf |
| 9 (RLIN) |
609890 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Petrenko, Alexandre. |
| 9 (RLIN) |
18847 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Simão, Adenilso. |
| 9 (RLIN) |
40259 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Maldonado, José Carlos. |
| 9 (RLIN) |
40260 |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
IFIP Working Group 6.1. |
| 9 (RLIN) |
22020 |
| 758 ## - |
|---|
| -- |
has work: |
| -- |
Testing software and systems (Text) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCH8yPYTBmxbMCXCRjJCvpP |
| -- |
https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Title |
Testing software and systems. |
| Place, publisher, and date of publication |
Berlin : Springer, 2010 |
| International Standard Book Number |
9783642165726 |
| Record control number |
(DLC) 2010936701 |
| -- |
(OCoLC)670471797 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
6435. |
| International Standard Serial Number |
0302-9743 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
LNCS sublibrary. |
| Number of part/section of a work |
SL 2, |
| Name of part/section of a work |
Programming and software engineering. |
| 9 (RLIN) |
20654 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link.springer.com/10.1007/978-3-642-16573-3">https://link.springer.com/10.1007/978-3-642-16573-3</a> |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL3066041 |
| 938 ## - |
|---|
| -- |
ebrary |
| -- |
EBRY |
| -- |
ebr10426127 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
3523311 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |