Leon Schaer

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Quantitative Analysis

Evolutionary Algorithm

Top Venues

Publications

Alexander Knüppel, Leon Schaer, Ina Schaefer
How much Specification is Enough? Mutation Analysis for Software Contracts. FormaliSE@ICSE (2021)