Testing a PL/I Compiler Using Precomputation-based Program Generation. - Jesse Postema; Johan Fabry; Yannick Barthol; Ana Oprescu (ICST, 2022)