arXiv 2102.13569
EvoSpex: An Evolutionary Algorithm for Learning Postconditions
By Facundo Molina, Pablo Ponzio, et al.
Published 2021-02-26
Mindmap
Browse the paper's core ideas, clusters, and relationships in a structured outline.
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…