MARC details
| 000 -LEADER |
|---|
| fixed length control field |
05251cam a2200877 i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn884433039 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703163418.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 cnu|||unuuu |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
140723s2014 sz a o 101 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
GW5XE |
| Language of cataloging |
eng |
| Description conventions |
rda |
| -- |
pn |
| Transcribing agency |
GW5XE |
| Modifying agency |
YDXCP |
| -- |
COO |
| -- |
UPM |
| -- |
OCLCF |
| -- |
OCLCO |
| -- |
GW5XE |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
JG0 |
| -- |
OCLCQ |
| -- |
IOG |
| -- |
NJR |
| -- |
BUF |
| -- |
CEF |
| -- |
TFW |
| -- |
U3W |
| -- |
AU@ |
| -- |
WYU |
| -- |
YOU |
| -- |
EBLCP |
| -- |
OCLCQ |
| -- |
UKAHL |
| -- |
DCT |
| -- |
QGK |
| -- |
COM |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
OCLCQ |
| 019 ## - |
|---|
| -- |
1204012421 |
| -- |
1259128475 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783319090993 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
3319090992 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783319090986 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3319090984 |
| Qualifying information |
(print) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783319090986 |
| Qualifying information |
(print) |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-319-09099-3 |
| Source of number or code |
doi |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000057662295 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
DKDLA |
| System control number |
820120-katalog:000685753 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NLGGC |
| System control number |
380680106 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15726274 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15753312 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
DKDLA |
| System control number |
820120-katalog:999908293305765 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)884433039 |
| Canceled/invalid control number |
(OCoLC)1204012421 |
| -- |
(OCoLC)1259128475 |
| 037 ## - SOURCE OF ACQUISITION |
|---|
| Source of stock number/acquisition |
Springer |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.76.T48 |
| Item number |
.T37 2013 |
| 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 |
23 |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
TAP (Conference) |
| Number of part/section/meeting |
(8th : |
| Date of meeting |
2014 : |
| Location of meeting |
York, England) |
| 9 (RLIN) |
51998 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Tests and proofs : |
| Remainder of title |
8th International Conference, TAP 2014, held as part of STAF 2014, York, UK, July 24-25, 2014. Proceedings / |
| Statement of responsibility, etc. |
Martina Seidl, Nikolai Tillmann (eds.). |
| 246 3# - VARYING FORM OF TITLE |
|---|
| Title proper/short title |
TAP 2014 |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Cham : |
| Name of producer, publisher, distributor, manufacturer |
Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2014. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xii, 214 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 |
8570 |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
LNCS sublibrary. SL 2, Programming and software engineering |
| 500 ## - GENERAL NOTE |
|---|
| General note |
International conference proceedings. |
| 500 ## - GENERAL NOTE |
|---|
| General note |
Includes author index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Online resource; title from PDF title page (SpringerLink, viewed July 23, 2014). |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Model-Based Mutation Testing of an Industrial Measurement Device -- Computing with an SMT Solver -- An Abstraction Technique for Testing Decomposable Systems by Model Checking -- An All-in-One Toolkit for Automated White-Box Testing -- Behaviour Driven Development for Tests and Verification -- Quality Assurance in MBE Back and Forth -- Visualizing Unbounded Symbolic Execution -- Film stripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models -- Generating Classified Parallel Unit Tests -- JTACO: Test Execution for Faster Bounded Verification -- Explicit Assumptions -- A Prenup for Marrying Static and Dynamic Program Verification -- A Case Study on Verification of a Cloud Hypervisor by Proof and Structural Testing -- Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses: Tutorial Synopsis -- Generating Test Data from a UML Activity Using the AMPL Interface for Constraint Solvers -- Lightweight State Capturing for Automated Testing of Multithreaded Programs -- How Test Generation Helps Software Specification and Deductive Verification in Frama-C. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book constitutes the refereed proceedings of the 8th International Conference on Tests and Proofs, TAP 2014, held in York, UK, in July 2014, as part of the STAF 2014 Federated Conferences. The 10 revised full papers and 4 short papers presented together with two tutorial descriptions were carefully reviewed and selected from 27 submissions. The papers cover topics in the following four research areas: test generation, bridging semantic gaps, integrated development processes and bounded verification. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references and index. |
| 546 ## - LANGUAGE NOTE |
|---|
| Language note |
English. |
| 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 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Computer software |
| General subdivision |
Verification |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15105 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software engineering |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
15264 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logiciels |
| General subdivision |
Vérification |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
18708 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Génie logiciel |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
18168 |
| 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 |
Computer software |
| General subdivision |
Verification |
| Source of heading or term |
fast |
| 9 (RLIN) |
1930 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Software engineering |
| Source of heading or term |
fast |
| 9 (RLIN) |
14736 |
| 655 #2 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Congress |
| 9 (RLIN) |
11670 |
| 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 |
Seidl, Martina, |
| Relator term |
editor. |
| 9 (RLIN) |
51999 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Tillmann, Nikolai, |
| Relator term |
editor. |
| 9 (RLIN) |
52000 |
| 773 0# - HOST ITEM ENTRY |
|---|
| Title |
Springer eBooks |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9783319090986 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in computer science ; |
| Volume number/sequential designation |
8570. |
| 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-319-09099-3">https://link.springer.com/10.1007/978-3-319-09099-3</a> |
| 938 ## - |
|---|
| -- |
Askews and Holts Library Services |
| -- |
ASKH |
| -- |
AH29495341 |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL6302698 |
| 938 ## - |
|---|
| -- |
ProQuest Ebook Central |
| -- |
EBLB |
| -- |
EBL5610554 |
| 938 ## - |
|---|
| -- |
YBP Library Services |
| -- |
YANK |
| -- |
12013345 |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |