arXiv 2102.13569
EvoSpex: An Evolutionary Algorithm for Learning Postconditions
By Facundo Molina, Pablo Ponzio, et al.
Published 2021-02-26
Citation lineage
Review the prior work and downstream research connected to this paper.
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 requires a specification of the intended behavior of the software under analysis, and at the source code level, such specifications typically take the form of assertions. Unfortunately, software many times lacks such specifications, or only…