Software error detection through testing and analysis / (Record no. 11374)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 07630cam a2201129 a 4500 |
| 001 - CONTROL NUMBER | |
| control field | ocn441886970 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240523125531.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 cn||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 090930s2009 njua ob 001 0 eng d |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER | |
| Canceled/invalid LC control number | 2008045493 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | DG1 |
| Language of cataloging | eng |
| Description conventions | pn |
| Transcribing agency | DG1 |
| Modifying agency | N$T |
| -- | OCLCQ |
| -- | OSU |
| -- | YDXCP |
| -- | EBLCP |
| -- | IDEBK |
| -- | E7B |
| -- | DG1 |
| -- | OCLCQ |
| -- | MHW |
| -- | TXA |
| -- | CDX |
| -- | OCLCQ |
| -- | CSU |
| -- | OCLCQ |
| -- | DEBSZ |
| -- | OCLCQ |
| -- | OCLCO |
| -- | MERUC |
| -- | UKDOC |
| -- | OCLCF |
| -- | OCLCO |
| -- | COO |
| -- | OCLCO |
| -- | OCLCQ |
| -- | OCLCO |
| -- | OCLCQ |
| -- | OCLCO |
| -- | DEBBG |
| -- | AZK |
| -- | LOA |
| -- | IAS |
| -- | OCLCQ |
| -- | DG1 |
| -- | CNNOR |
| -- | OCLCQ |
| -- | MOR |
| -- | LIP |
| -- | PIFAG |
| -- | ZCU |
| -- | OTZ |
| -- | OCLCQ |
| -- | RRP |
| -- | U3W |
| -- | OCLCQ |
| -- | BRL |
| -- | STF |
| -- | WRM |
| -- | CEF |
| -- | NRAMU |
| -- | ICG |
| -- | INT |
| -- | VT2 |
| -- | AU@ |
| -- | OCLCQ |
| -- | WYU |
| -- | G3B |
| -- | OCLCQ |
| -- | A6Q |
| -- | DKC |
| -- | OCLCQ |
| -- | UKCRE |
| -- | VLY |
| -- | OCLCO |
| -- | VHC |
| -- | OCLCQ |
| -- | INARC |
| -- | OCLCO |
| -- | OCLCL |
| 016 7# - NATIONAL BIBLIOGRAPHIC AGENCY CONTROL NUMBER | |
| Record control number | 014937259 |
| Source | Uk |
| 019 ## - | |
| -- | 466447002 |
| -- | 502453477 |
| -- | 507428499 |
| -- | 646833881 |
| -- | 712985990 |
| -- | 719419890 |
| -- | 719448817 |
| -- | 740993456 |
| -- | 961488829 |
| -- | 962681180 |
| -- | 966099202 |
| -- | 988406062 |
| -- | 992030551 |
| -- | 992928329 |
| -- | 994930846 |
| -- | 1037518684 |
| -- | 1037943405 |
| -- | 1038602413 |
| -- | 1044182781 |
| -- | 1045492203 |
| -- | 1055402809 |
| -- | 1056312451 |
| -- | 1058043583 |
| -- | 1060852393 |
| -- | 1063873335 |
| -- | 1063969795 |
| -- | 1075552511 |
| -- | 1081294601 |
| -- | 1083593787 |
| -- | 1100222121 |
| -- | 1153464655 |
| -- | 1162055588 |
| -- | 1228550356 |
| -- | 1290084932 |
| -- | 1303507903 |
| -- | 1392119960 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780470464076 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0470464070 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780470464052 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0470464054 |
| Qualifying information | (electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9786612279676 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 6612279672 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Canceled/invalid ISBN | 9780470404447 |
| Qualifying information | (cloth) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Canceled/invalid ISBN | 0470404442 |
| Qualifying information | (cloth) |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1002/9780470464076 |
| Source of number or code | doi |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | AU@ |
| System control number | 000045454315 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | AU@ |
| System control number | 000053263594 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | AU@ |
| System control number | 000060064095 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | CDX |
| System control number | 10775574 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | CHNEW |
| System control number | 000934147 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | CHVBK |
| System control number | 480144915 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | DEBBG |
| System control number | BV043390201 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | DEBBG |
| System control number | BV044137950 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | DEBSZ |
| System control number | 372813089 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | DEBSZ |
| System control number | 396289975 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | DEBSZ |
| System control number | 400435314 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | DEBSZ |
| System control number | 430764715 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | DEBSZ |
| System control number | 449160742 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | HEBIS |
| System control number | 24547014X |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | NLGGC |
| System control number | 382168984 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | NZ1 |
| System control number | 14242098 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (OCoLC)441886970 |
| Canceled/invalid control number | (OCoLC)466447002 |
| -- | (OCoLC)502453477 |
| -- | (OCoLC)507428499 |
| -- | (OCoLC)646833881 |
| -- | (OCoLC)712985990 |
| -- | (OCoLC)719419890 |
| -- | (OCoLC)719448817 |
| -- | (OCoLC)740993456 |
| -- | (OCoLC)961488829 |
| -- | (OCoLC)962681180 |
| -- | (OCoLC)966099202 |
| -- | (OCoLC)988406062 |
| -- | (OCoLC)992030551 |
| -- | (OCoLC)992928329 |
| -- | (OCoLC)994930846 |
| -- | (OCoLC)1037518684 |
| -- | (OCoLC)1037943405 |
| -- | (OCoLC)1038602413 |
| -- | (OCoLC)1044182781 |
| -- | (OCoLC)1045492203 |
| -- | (OCoLC)1055402809 |
| -- | (OCoLC)1056312451 |
| -- | (OCoLC)1058043583 |
| -- | (OCoLC)1060852393 |
| -- | (OCoLC)1063873335 |
| -- | (OCoLC)1063969795 |
| -- | (OCoLC)1075552511 |
| -- | (OCoLC)1081294601 |
| -- | (OCoLC)1083593787 |
| -- | (OCoLC)1100222121 |
| -- | (OCoLC)1153464655 |
| -- | (OCoLC)1162055588 |
| -- | (OCoLC)1228550356 |
| -- | (OCoLC)1290084932 |
| -- | (OCoLC)1303507903 |
| -- | (OCoLC)1392119960 |
| 037 ## - SOURCE OF ACQUISITION | |
| Stock number | 227967 |
| Source of stock number/acquisition | MIL |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.76.T48 |
| Item number | H72 2009 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM |
| Subject category code subdivision | 051330 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM |
| Subject category code subdivision | 052000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM |
| Subject category code subdivision | 037000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM |
| Subject category code subdivision | 013000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM |
| Subject category code subdivision | 032000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM |
| Subject category code subdivision | 018000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM |
| Subject category code subdivision | 014000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM |
| Subject category code subdivision | 067000 |
| Source | bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.1/4 |
| Edition number | 22 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004 |
| Edition number | 22 |
| 049 ## - LOCAL HOLDINGS (OCLC) | |
| Holding library | MAIN |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Huang, J. C., |
| Dates associated with a name | 1935- |
| Real World Object URI | https://id.oclc.org/worldcat/entity/E39PCjqvJhk8q9hBmkjthCc6w3 |
| 245 10 - TITLE STATEMENT | |
| Title | Software error detection through testing and analysis / |
| Statement of responsibility, etc. | J.C. Huang. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Hoboken, N.J. : |
| Name of publisher, distributor, etc. | John Wiley & Sons, |
| Date of publication, distribution, etc. | �2009. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource (x, 259 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 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc. note | Includes bibliographical references (pages 237-251) and index. |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | SOFTWARE ERROR DETECTION THROUGH TESTING AND ANALYSIS; CONTENTS; Preface; 1 Concepts, Notation, and Principles; 2 Code-Based Test-Case Selection Methods; 3 Specification-Based Test-Case Selection Methods; 4 Software Testing Roundup; 5 Analysis of Symbolic Traces; 6 Static Analysis; 7 Program Instrumentation; Appendix A: Logico-Mathematical Background; Appendix B: Glossary; Appendix C: Questions for Self-Assessment; Bibliography; Index. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | An in-depth review of key techniques in software error detection. Software error detection is one of the most challenging problems in software engineering. Now, you can learn how to make the most of software testing by selecting test cases to maximize the probability of revealing latent errors. Software Error Detection through Testing and Analysis begins with a thorough discussion of test-case selection and a review of the concepts, notations, and principles used in the book. Next, it covers: Code-based test-case selection methods; Specification-based test-case selection methods; Additional advanced topics in testing; Analysis of symbolic trace; Static analysis; Program instrumentation. Each chapter begins with a clear introduction and ends with exercises for readers to test their understanding of the material. Plus, appendices provide a logico-mathematical background, glossary, and questions for self-assessment. Assuming a basic background in software quality assurance and an ability to write nontrivial programs, the book is free of programming languages and paradigms used to construct the program under test. Software Error Detection through Testing and Analysis is suitable as a professional reference for software testing specialists, software engineers, software developers, and software programmers. It is also appropriate as a textbook for software engineering, software testing, and software quality assurance courses at the advanced undergraduate and graduate levels. |
| 588 0# - SOURCE OF DESCRIPTION NOTE | |
| Source of description note | Print version record. |
| 546 ## - LANGUAGE NOTE | |
| Language note | English. |
| 590 ## - LOCAL NOTE (RLIN) | |
| Local note | John Wiley and Sons |
| Provenance (VM) [OBSOLETE] | Wiley Online Library: Complete oBooks |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer software |
| General subdivision | Testing. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer software |
| General subdivision | Reliability. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Debugging in computer science. |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Logiciels |
| General subdivision | Fiabilit�e. |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | D�ebogage. |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | COMPUTERS |
| General subdivision | Software Development & Engineering |
| -- | Quality Assurance & Testing. |
| Source of heading or term | bisacsh |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | COMPUTERS |
| General subdivision | Reference. |
| Source of heading or term | bisacsh |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | COMPUTERS |
| General subdivision | Machine Theory. |
| Source of heading or term | bisacsh |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | COMPUTERS |
| General subdivision | Computer Literacy. |
| Source of heading or term | bisacsh |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | COMPUTERS |
| General subdivision | Information Technology. |
| Source of heading or term | bisacsh |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | COMPUTERS |
| General subdivision | Data Processing. |
| Source of heading or term | bisacsh |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | COMPUTERS |
| General subdivision | Computer Science. |
| Source of heading or term | bisacsh |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | COMPUTERS |
| General subdivision | Hardware |
| -- | General. |
| Source of heading or term | bisacsh |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer software |
| General subdivision | Reliability |
| Source of heading or term | fast |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer software |
| General subdivision | Testing |
| Source of heading or term | fast |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Debugging in computer science |
| Source of heading or term | fast |
| 758 ## - RESOURCE IDENTIFIER | |
| Relationship information | has work: |
| Label | Software error detection through testing and analysis (Text) |
| Real World Object URI | https://id.oclc.org/worldcat/entity/E39PCFDQgBFPg38GqbF6yjwBKb |
| Relationship | https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Print version: |
| Main entry heading | Huang, J.C., 1935- |
| Title | Software error detection through testing and analysis. |
| Place, publisher, and date of publication | Hoboken, N.J. : John Wiley & Sons, �2009 |
| International Standard Book Number | 9780470404447 |
| -- | 0470404442 |
| Record control number | (DLC) 2008045493 |
| -- | (OCoLC)263498238 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9780470464076">https://onlinelibrary.wiley.com/doi/book/10.1002/9780470464076</a> |
| 938 ## - | |
| -- | 123Library |
| -- | 123L |
| -- | 11452 |
| 938 ## - | |
| -- | Coutts Information Services |
| -- | COUT |
| -- | 10775574 |
| 938 ## - | |
| -- | EBL - Ebook Library |
| -- | EBLB |
| -- | EBL456102 |
| 938 ## - | |
| -- | ebrary |
| -- | EBRY |
| -- | ebr10332960 |
| 938 ## - | |
| -- | EBSCOhost |
| -- | EBSC |
| -- | 289210 |
| 938 ## - | |
| -- | ProQuest MyiLibrary Digital eBook Collection |
| -- | IDEB |
| -- | 227967 |
| 938 ## - | |
| -- | YBP Library Services |
| -- | YANK |
| -- | 3107910 |
| 938 ## - | |
| -- | YBP Library Services |
| -- | YANK |
| -- | 3133804 |
| 938 ## - | |
| -- | Internet Archive |
| -- | INAR |
| -- | softwareerrordet0000huan |
| 994 ## - | |
| -- | 92 |
| -- | INLUM |
No items available.