EvoSpex: An Evolutionary Algorithm for Learning Postconditions

Facundo Molina, Pablo Ponzio, Nazareno Aguirre +1

Software reliability is a primary concern in the construction of software, and thus a fundamental component in the definition of software quality. Analyzing software reliability re…