Format:
Table of Contents: “... -- Competition Contributions -- Software Testing: 5th Comparative Evaluation: Test-Comp 2023 -- 1 Introduction...”
Click to View

Format:
Table of Contents: “... -- References -- SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation...”
Click to View

Format:
Table of Contents: “... in Industry 4.0 -- 5 Conclusion -- References -- Hybrid Differential Software Testing -- 1 Introduction -- 2...”
Click to View

Format:
Table of Contents: “... Components of HPC Systems -- Summary -- References -- Chapter 3: Top-Down Software Optimization -- The Three...”
Click to View

Format:
Table of Contents: “... -- Incomplete Requirements Equals Faulty Software -- An Automated and Agile Approach -- Achieving Complete Test...”
Click to View

Format:
Table of Contents: “....3 Testing Implication -- 4 Experimental Results -- 4.1 Mutilated Chessboard -- 4.2 Pigeonhole Problem -- 4...”
Click to View

Format:
Table of Contents: “... -- References -- Alpinist: an Annotation-Aware GPU Program Optimizer -- 1 Introduction -- 2 Annotation-Aware...”
Click to View

Format:
Table of Contents: “... Placement Problem -- 2.2.1 Constraint Optimization Program for Cell Placement -- 2.3 Solving COP with SAT...”
Click to View

Format:
Table of Contents: “... Component -- 4.5.5 Optimization Component -- 4.6 Testing and Validation of Results -- 4.6.1 Industrial Case...”
Click to View

Format:
Table of Contents: “... OF GENUS/PHYLA CLASSIFICATION OF METAGENOMIC READS -- GUIDED GENOME HALVING: PROVABLY OPTIMAL SOLUTIONS...”
Click to View

Format:
Table of Contents: “... Keyboard Demand -- Software Distribution and Copyright Protection Problems -- Android Application Overview...”
Click to View

Format:
Table of Contents: “... Programs and Micro-structures -- 5 Façade Development and Sunlight Optimization -- 6 Conclusion...”
Click to View

Format:
Table of Contents: “... -- Enhancing Programming Experiences Using AI: Leveraging LLMs as Analogical Reasoning Engines and Beyond...”
Click to View

Format:
Table of Contents: “... Scheduling -- 6.4.4 Optimal Scheduling with Integer Linear Programming -- 6.5 Dependent Jobs on Heterogeneous...”
Click to View

Format:
Table of Contents: “... paths for industrial robots -- 1 Introduction -- 2 State of the art -- 3 Methodology -- 3.1 Problem...”
Click to View

Format:
Table of Contents: “... on Sensitive Robotics and Deep Recurrent Q-Learning -- 1 Introduction -- 2 State of the Art -- 3 Problem...”
Click to View

Format:
Table of Contents: “... State of the Art -- 3 Software -- 3.1 Programming Environment -- 3.2 Light Fixture Detection -- 3.3 GUI...”
Click to View

Format:
Table of Contents: “... Problems of the Mobile Internet -- Evolution of Flat Architectures -- Distributed Mobility Management...”
Click to View