Automatic Test Generation from here until the end (of my Phd.) University of Geneva Levi Lúcio SMV & LGL @ Les Diablerets.