Format:
Table of Contents: “... Generation -- 4 Implementation and Tests -- 4.1 Runtime System and Implementation -- 4.2 Evaluation -- 4...”
Click to View

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: “... and concurrency -- 5.3 Soundness and program extraction -- 6 Application -- 7 Implementation -- 8 Conclusion -- 8...”
Click to View

Format:
Table of Contents: “... Implementation and Experimental Results -- 8 Related Work and Conclusion -- References -- Data Flow Analysis...”
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