EvoSpex: A Search-Based Tool for Postcondition Inference.

Facundo Molina Pablo Ponzio Nazareno Aguirre Marcelo F. Frias

Published in: ISSTA (2023)

Keyphrases

search space
search algorithm
search strategy
search tools
search strategies
machine learning
search queries
software tools
genetic algorithm
expert systems
relevance feedback
graphical models
search procedure
search efficiency
inference process