Format:
Table of Contents: “... to characterize software traceability -- 5.1 Introduction to feature modelling -- 5.2 Trace definition...”
Click to View

Format:
Table of Contents: “...-ModularAbstract Interpretation with Local Traces -- 1 Introduction -- 2 Relational Domains -- 3 A Local...”
Click to View

Format:
Table of Contents: “... The Basic Message-Passing Model -- 5 Trace Specifications -- 6 Locally Shared Memory Model -- 7 Related Work...”
Click to View

Format:
Table of Contents: “... exponential space -- 8 A complexity characterisation -- 9 Conclusion -- References -- A first-order logic...”
Click to View

Format:
Table of Contents: “.... -- References -- Complete trace models of state and control -- 1 Introduction -- 2 HOSC -- 3 HOSC[HOSC] -- 3...”
Click to View

Format:
Table of Contents: “... -- 4.3 FET-aware Trace-driven Fuzzing -- 5 Evaluation -- 5.1 FET Inference Accuracy Evaluation -- 5...”
Click to View

Format:
Table of Contents: “....3 Evaluation -- 5 Conclusion -- References -- Bounded Model Checking for Hyperproperties -- 1 Introduction -- 2...”
Click to View

Format:
Table of Contents: “... of the Innovation Space (Fig. 8.3C) -- Dimension 4: Critically Analysing Current Practices in the Organisation...”
Click to View

Format:
Table of Contents: “... -- Stabilizing the Action System -- Expanding Option Space -- A Relational Model Between Skill Development...”
Click to View

Format:
Table of Contents: “...Intro -- Foreword -- Contents -- Notes on Contributors -- List of Figures -- Chapter 1: Educational...”
Click to View