Conference: PERR 2022 (5th Workshop on Program Equivalence and Relational Reasoning)

Conference: PERR 2022 (5th Workshop on Program Equivalence and Relational Reasoning)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Generating Mutation Tests Using an Equivalence Prover

Generating Mutation Tests Using an Equivalence Prover

Christian Martin and Mattias Ulbrich

From Bounded Checking to Verification of Equivalence via Symbolic up-to Techniques (Extended Abstract)

From Bounded Checking to Verification of Equivalence via Symbolic up-to Techniques (Extended Abstract)

Yu-Yang Lin, Vasileios Koutavas and Nikos Tzevelekos

Presentations in this collection: 2