Fast Estimation of First Order Clause Coverage through Randomization and Maximum Likelihood

Kuželka, O., Železný, F.

KUŽELKA, O. and F. ŽELEZNÝ. Fast Estimation of First Order Clause Coverage through Randomization and Maximum Likelihood. In: Proceedings of the 25th International Conference on Machine Learning. The 25th International Conference on Machine Learning, Helsinki, 2008-07-05/2008-07-09. Madison: Omnipress, 2008. pp. 504-511. ISBN 978-1-60558-205-4.