@inproceedings{SANER-2018-JayM,
	author        = "Nathan Jay and Barton P. Miller",
	booktitle     = "{Proceedings of the 25th International Conference on Software Analysis, Evolution and Reengineering}",
	doi           = "10.1109/SANER.2018.8330199",
	isbn          = "978-1-5386-4969-5",
	pages         = "84--94",
	publisher     = "{IEEE Computer Society}",
	title         = "{Structured random differential testing of instruction decoders}",
	year          = 2018,
}