EvoSpex: An Evolutionary Algorithm for Learning PostconditionsDate: May 25, 2021Presentation of a research paper on the use of evolutionary computation to infer postconditions of Java methods, targeting the well known oracle problem [Media]Share on Twitter Facebook Google+ LinkedIn Previous Next