Deep Learning on Sebastian Krings https://www.krin.gs/tags/deep-learning/ Recent content in Deep Learning on Sebastian Krings Hugo -- 0.166.0 en Sat, 23 Feb 2019 00:00:00 +0000 Automated Backend Selection for ProB Using Deep Learning https://www.krin.gs/papers/dunkelau-backend-selection-nfm19/ Sat, 23 Feb 2019 00:00:00 +0000 https://www.krin.gs/papers/dunkelau-backend-selection-nfm19/ In Proceedings NFM 2019, Springer LNCS Measuring Code Coverage of Prolog Programs Using Mutation Testing https://www.krin.gs/papers/efremidis-mutation-testing-wflp18/ Wed, 01 Aug 2018 00:00:00 +0000 https://www.krin.gs/papers/efremidis-mutation-testing-wflp18/ In Proceedings WFLP 2018, Springer LNCS