Login / Signup
Leon Schaer
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Open Source
Quantitative Analysis
Evolutionary Algorithm
Top Venues
FormaliSE@ICSE
</>
Publications
</>
Alexander Knüppel
,
Leon Schaer
,
Ina Schaefer
How much Specification is Enough? Mutation Analysis for Software Contracts.
FormaliSE@ICSE
(2021)