rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Advances in computers
    part number: Volume 99
  name:
    name part: Memon, Atif M.
    role:
      role term: editor.
  name:
    name part: ScienceDirect (Online service)
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: mau
    date issued: 2015
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource.
  abstract: Advances in Computers, the latest volume in the series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design, and applications. In addition, it provides contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. As a result, many articles have become standard references that continue to be of significant, lasting value in this rapidly expanding field.
  table of contents: Front Cover; Advances in Computers; Copyright; Contents; Preface; Chapter One: Combinatorial Testing: Theory and Practice; 1. Introduction; 1.1. Empirical Data on Failures; 1.2. Implications for Testing; 2. Covering Arrays; 2.1. History of DoE; 2.2. From DoE to CAs; 2.3. Combinatorial Coverage; 2.3.1. Measures of Combinatorial Coverage; 2.3.2. Using Combinatorial Coverage; 3. Algorithms for CT; 3.1. Categories of Algorithms; 3.2. Algorithms for Higher Strength Combinatorial Test Suites; 3.3. Example Tools; 3.4. ACTS/CCM; 4. Input Partitioning and Representation.
  table of contents: 4.1. Combinatorial Issues in Input Model Development4.2. Size Considerations with CAs; 4.3. Modeling Environment Conditions and State; 4.4. Types of Constraints for Input Parameter Model; 4.4.1. Environment Constraints Versus System Constraints; 4.4.2. First-Order Constraints Versus Higher-Order Constraints; 4.4.3. Temporal Constraints Versus Nontemporal Constraints; 5. Constraints Handling in CA Algorithms; 5.1. Representations of Constraints; 5.2. Major Approaches to Constraint Handling; 5.2.1. The Abstract Parameters Approach; 5.2.2. The Submodels Approach; 5.2.3. The Avoid Approach.
  table of contents: 5.2.4. The Replace Approach5.3. Validity Checking for the Avoid Approach; 5.3.1. Constraint Solving-Based Validity Checking; 5.3.2. Forbidden Tuples-Based Validity Checking; 6. Case Studies; 6.1. Document Object Model; 6.2. Lockheed Martin; 7. Advanced Topics in CT; 7.1. Test Suite Prioritization; 7.1.1. Generation of Prioritized Test Suites by Combinatorial-Based Coverage; 7.1.2. Prioritization of Existing Test Suites by Combinatorial-Based Coverage; 7.2. Sequence Covering Arrays; 7.2.1. Example; 7.2.2. Generating Sequence Covering Arrays; 7.3. Fault Localization.
  table of contents: 7.3.1. Identifying Failure-Inducing Combinations7.3.2. Identifying Faults in the Source Code; 7.4. Relationship Between CT and Structural Coverage; 7.4.1. Basic Structural Coverage; 7.4.2. Effects of Input Model; 7.5. Testing Very Large Systems; 8. Future Directions; 8.1. Algorithms; 8.2. Input Modeling; 8.3. Harder Problems; Conclusions; References; About the Authors; Chapter Two: Constraint-Based Testing: An Emerging Trend in Software Testing; 1. Introduction; 1.1. Software Testing; 1.2. Constraint-Based Testing; 1.3. Constraint-Based Test Input Generation; 1.4. Organization of the Chapter.
  table of contents: 2. A Motivating Example3. Bibliographic Notes; 4. Foundations; 4.1. Constraint Generation; 4.1.1. Assignment; 4.1.2. Conditional; 4.1.3. Iteration; 4.2. Constraint Solving and Optimization; 4.3. Linear Programming for Test Data Generation; 4.4. SAT and SMT Solving for Test Input Generation; 4.5. Constraint Programming Approaches for Test Data Generation; 4.6. User-Defined Constraints; 4.7. The w Constraint for Handling Loops; 4.8. Illustrative Example; 5. Extensions; 5.1. Constraint Solving for Floating-Point Computations; 5.2. Test Input Generation for Object-Oriented Code; 6. Perspectives.
  note: edited by Atif M. Memon.
  note: Includes bibliographical references and index.
  subject:
    topic: Computer science
  subject:
    topic: Software engineering
  subject:
    topic: Electronic data processing
  subject:
    topic: Informatique
  subject:
    topic: Génie logiciel
  subject:
    topic: computer science
  subject:
    topic: data processing
  subject:
    topic: COMPUTERS / Software Development & Engineering / General
  subject:
    topic: Electronic data processing
  subject:
    topic: Computer science
  subject:
    topic: Software engineering
  classification: QA76 .A3 2015eb
  classification: 004
  related item:
    title info:
      title: Advances in computers, Volume 99
  identifier: 0128021314
  identifier: 9780128021316
  identifier: 9780128023396
  identifier: 0128023392
  identifier: CL0500000651 Safari Books Online
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: OPELS
    record creation date: 150827
    record change date: 20260326213732.9
    record identifier: in00005759529
    language of cataloging:
      language term: eng