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: “... -- Introduction to Part IV -- A Use-Case on Testing Adaptive Admission Control and Resource Allocation Algorithms...”
Click to View

Format:
Table of Contents: “... Developments in Explainable AI -- A Rate-Distortion Framework for Explaining Black-Box Model Decisions -- 1...”
Click to View

Format:
Table of Contents: “....5 Conclusion -- References -- 10 SogouQ: The First Large-Scale Test Collection with Click Streams Used in a...”
Click to View

Format:
Table of Contents: “... and Standardization and Programs -- 5 Concluding Remarks -- References -- Towards a Minimal Core for Information...”
Click to View