Cooperative Verifier-Based Testing with CoVeriTest, paper in STTT, just got published.

News

Student talks at LMU

We regularly host student talks in the context of seminars, projects, and theses. All students and staff are welcome to participate. A list of all upcoming talks can be found in the talk schedule.

News