arXiv 2102.13569
EvoSpex: An Evolutionary Algorithm for Learning Postconditions
By Facundo Molina, Pablo Ponzio, et al.
Published 2021-02-26
Wiki summary
Explore the paper's summary, context, and related research on Papiers.
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…