@Article{         Bendkowski:2016aa,
  Author        = "Bendkowski, Maciej and Grygiel, Katarzyna and Tarau, Paul",
  Abstract      = "A natural approach to software quality assurance consists in writing unit tests securing programmer-declared code invariants. Throughout the literature a great body of work has been devoted to tools and techniques automating this labour-intensive process. A prominent example is the successful use of randomness, in particular random typeable",
  date-added    = "2018-04-25 08:31:07 +0000",
  date-modified = "2018-04-25 08:31:07 +0000",
  EPrint        = "1612.07682",
  Month         = "12",
  Title         = "Random generation of closed simply-typed",
  URL           = "https://arxiv.org/pdf/1612.07682",
  Year          = "2016",
  bdsk-url-1    = "https://arxiv.org/abs/1612.07682",
  bdsk-url-2    = "https://arxiv.org/pdf/1612.07682",
  File          = "1612.07682 (0) - a - a - r.pdf"
}

@Article{ Bendkowski:2016aa, Author = "Bendkowski, Maciej and Grygiel, Katarzyna and Tarau, Paul", Abstract = "A natural approach to software quality assurance consists in writing unit tests securing programmer-declared code invariants. Throughout the literature a great body of work has been devoted to tools and techniques automating this labour-intensive process. A prominent example is the successful use of randomness, in particular random typeable", date-added = "2018-04-25 08:31:07 +0000", date-modified = "2018-04-25 08:31:07 +0000", EPrint = "1612.07682", Month = "12", Title = "Random generation of closed simply-typed", URL = "https://arxiv.org/pdf/1612.07682", Year = "2016", bdsk-url-1 = "https://arxiv.org/abs/1612.07682", bdsk-url-2 = "https://arxiv.org/pdf/1612.07682", File = "1612.07682 (0) - a - a - r.pdf" }