LARA Probabilistic techniques Daikon invariant generator Program verification as probabilistic inference Inferring bugs from within Expressive type systems Scala language ATS Type-Refinements.info
