Using Declarative Specification to Improve the Understanding, Extensibility, and Comparison of Model-Inference Algorithms

Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, Arvind Krishnamurthy. Using Declarative Specification to Improve the Understanding, Extensibility, and Comparison of Model-Inference Algorithms. IEEE Trans. Software Eng., 41(4):408-428, 2015. [doi]

Abstract

Abstract is missing.