QRS 2019: Sofia, Bulgaria

Session I-A: Fault Localization and Prediction

Session I-B: Random and Combinatorial Testing

Session I-C: Reliability Analysis

Session I-D: Software Maintenance

Session II-A: Bug Finding

Session II-B: Non-Functional Properties

Session II-C: Formal Method I

Session III-A: Bug Reporting

Session III-B: Empirical Studies & Security

Session III-C: Formal Method II

Session IV-A: Test Selection, Prioritization, and Generation

Sessions V-A: Testing Specialized Software

Session V-B: Quality and Cost

a service of Schloss Dagstuhl - Leibniz Center for Informatics