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: “... 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: “... to the Case Study -- 6.4 Integrating Design Decision Models with Program Code -- 6.4.1 Integrating...”
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: “....2 Design View -- 2.3 Program View -- 3 Software Development -- 4 Teamwork -- 5 A Final Wish -- Applications...”
Click to View

Format:
Table of Contents: “... of Validating Worst-Case Analyses -- 3.2 GenE: Benchmark Generator for WCET Tools....”
Click to View