@inproceedings{KorogluWotawa:AST:2019,
 author = {Yavuz Koroglu and Franz Wotawa},
 title = {Fully Automated Compiler Testing of a Reasoning Engine via Mutated Grammar Fuzzing},
 booktitle = {Proceedings of the 14th International Workshop on Automation of Software Test In Conjunction with ICSE},
 series = {AST '19},
 year = {2019}
}