Precision Reuse in CPAchecker.

Dirk Beyer Stefan Löwe Evgeny Novikov Andreas Stahlbauer Philipp Wendler

Published in: Software Engineering (2014)

Keyphrases

high precision
precision and recall
real time
high recall
genetic algorithm
information systems
data structure
learning process
special case
learning objects
recall rate