@inproceedings{Testing2018,
	author = "Vadim Zaytsev",
	title = "{An Industrial Case Study in Compiler Testing}",
	booktitle = "{Proceedings of the 11th International Conference on Software Language Engineering (SLE)}",
	year = 2018,
	editor = "David J. Pearce and Tanja Mayerhofer and Friedrich Steimann",
	isbn = "978-1-4503-6029-6/18/11",
	pages = "97--102",
	publisher = "ACM",
	doi = "10.1145/3276604.3276619",
}