Automatic white-box testing of first-order logic ontologies

Javier Álvez, Montserrat Hermo, Paqui Lucio, German Rigau. Automatic white-box testing of first-order logic ontologies. Journal of Logic and Computation, 29(5):723-751, 2019. [doi]

Abstract

Abstract is missing.