Reusing Precisions for Efficient Regression Verification

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

Published in: CoRR (2013)

Keyphrases

model selection
computationally expensive
verification method
real time
artificial intelligence
search engine
cost effective