Format:
Table of Contents: “....1 Implementing Ethics into Software Development -- 2.2 ECCOLA Method and It's Application -- 2.3 User Stories...”
Click to View

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

Format:
Table of Contents: “... -- 2.1 Introduction -- 2.2 Software Systems -- 2.2.1 Application Domains -- 2.2.2 Scopes...”
Click to View

Format:
Table of Contents: “... -- 4.9 Overall Evaluation and Input for Optimising -- 4.10 Example of AI Test Framework (Fig. 2) -- 5...”
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: “....1 Fundamental Performance -- 4.2 Non-blocking Communication -- 4.3 Application Program -- 4.3.1 Coarray Version...”
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: “... Symbolic Execution -- 5 General Framework for Hybrid Differential Software Testing -- 6 Applications -- 6...”
Click to View

Format:
Table of Contents: “... -- 4.6 Discussion -- 5 Evaluation -- 5.1 Benchmark Set -- 5.2 State-of-the-Art Hardware and Software...”
Click to View