@article{OOPSLA-2019-Lampropoulos0P,
	author        = "Leonidas Lampropoulos and Michael Hicks 0001 and Benjamin C. Pierce",
	doi           = "10.1145/3360607",
	journal       = "{Proceedings of the ACM on Programming Languages}",
	number        = "OOPSLA",
	pages         = "29",
	publisher     = "{ACM}",
	title         = "{Coverage guided, property based testing}",
	volume        = 3,
	year          = 2019,
}