EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact) | IEEE Conference Publication | IEEE Xplore