Joshua Moerman

  • 🏠
  • Research
  • Teaching
  • Apps
  • Blog

RERS 2020 — Learning, Testing, Fuzzing and Slicing

26 Nov 2020
Joshua Moerman and Jana Berger
RERS

We participated in the RERS 2020 challenge. Our approach is summarised in our report and performed well in the contest.

Links

Report
Code

Recent Posts

  1. Residual probabilistic automata ar... Jan 09, 2020
  2. Separation and Renaming in Nominal... Dec 11, 2019
  3. PD is not a monad. So What‽ Sep 23, 2019
  • Mail: joshua at cs.rwth-aachen.de
  • Github: Jaxan
  • Twitter: @Jaxan_
© 2021 Joshua Moerman. Powered by Jekyll and KaTeX.