Integrating testing and interactive theorem proving
scientific article; zbMATH DE number 7895637