EvoSpex: An Evolutionary Algorithm for Learning Postconditions

Date:

Presentation of a research paper on the use of evolutionary computation to infer postconditions of Java methods, targeting the well known oracle problem
[Media]