Quantification of Correctness with Palladio and KeY: Case Study Data

In our report, we described a case study where we evaluate our approach for correctness quantification using Palladio and KeY. Here, we publish the corresponding Palladio...