https://paulgazzillo.com/papers/esecfse21.pdf
https://paulgazzillo.com/papers/esecfse21_slides.pdf
https://github.com/paulgazz/kmax
Author: Paul Gazzillo
Created: 2023-04-13 Thu 14:59