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: “... -- 4 Software Project -- References -- Symbiotic 8: Parallel and Targeted Test Generation (Competition...”
Click to View

Format:
Table of Contents: “....3 Runtime Features -- 5 Program Generation for Training Set Augmentation -- 5.1 Code Mutations -- 5.2 Data...”
Click to View

Format:
Table of Contents: “...Escaping Method Prison - On the Road to Real Software Engineering -- 1 Typical Methods...”
Click to View

Format:
Table of Contents: “...-Generation Software Testers: Broaden or Specialize! -- 1 The Future of Testing -- 2 The Concept of T-Shape...”
Click to View

Format:
Table of Contents: “... Test-Suite Generation for Software Variants -- 8.1.3 Family-Based Analysis of Software Variants -- 8...”
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: “... Research Goal, Data, and Method -- 4 Results: How Does Pair Programming Work? -- 4.1 Fluency...”
Click to View

Format:
Table of Contents: “...Generating Extended Resolution Proofs with a BDD-Based SAT Solver -- 1 Introduction -- 2...”
Click to View

Format:
Table of Contents: “... Programs -- 7.2 Explicit Model Checking of Symbolic Systems -- 7.3 Hyperproperties for Path Planning -- 7...”
Click to View

Format:
Table of Contents: “... Eigen Solver on the mSPMD Programming Model -- 6.1 Implicitly Restarted Arnoldi Method (IRAM), Multiple...”
Click to View

Format:
Table of Contents: “...++ -- Advanced c++ template programming -- Tuples in c++ and their applications -- Type traits, advanced lambdas...”
Click to View