An Automatic Generator for Compiler Testing - Bazzichi, F (IEEE Transactions on Software Engineering)