Holistic Specifications for Robust Programs.

Sophia Drossopoulou James Noble Julian Mackay Susan Eisenbach

Published in: FASE (2020)

Keyphrases

artificial intelligence
machine learning
genetic algorithm
real time
evolutionary algorithm
computationally efficient
parameter tuning