SPLC 2020: Montreal, Quebec

Adoption and experiences

Feature models

Testing I

Time, space, and more

SAT solvers and reasoning

Services and applications

Testing II

Architectures and languages

Workshops

Tutorials

a service of Schloss Dagstuhl - Leibniz Center for Informatics