Format:
Table of Contents: “... Bounded Exhaustive Input Generation from Program APIs -- 1 Introduction -- 2 A Motivating Example -- 3...”
Click to View

Format:
Table of Contents: “... is (like?) software development: -- 2.2.1 Measurement of Laws -- 2.3 Recipes are software -- 2...”
Click to View

Format:
Table of Contents: “... Behaviours -- 3.3 TSP Is a Learning and Development Scheme -- 3.4 The Skills Inventory -- 3.5 Program Member...”
Click to View

Format:
Table of Contents: “... -- 7.1 Foundations -- 7.1.1 Model-Based Software Development and Testing -- 7.1.2 Model-Based Product...”
Click to View

Format:
Table of Contents: “...3.1 Overview -- 3.2 YML -- 3.3 OmniRPC-MPI -- 4 Application Development in the mSPMD Programming...”
Click to View