Testing a PL/I Compiler Using Precomputation-based Program Generation | IEEE Conference Publication | IEEE Xplore