Special section of Tests and Proofs 2016.

Bernhard K. Aichernig Carlo A. Furia Marie-Claude Gaudel Robert M. Hierons

Published in: Formal Aspects Comput. (2018)

Keyphrases

special section
special issue
award winning
real time
genetic algorithm
knowledge representation
test data
theorem proving
multiple choice
formal proofs
image processing
website
statistical tests