Automated Backend Selection for ProB Using Deep Learning
Employing formal methods for software development usually involves using a multitude of tools such as model checkers and provers.
Deep Learning
Measuring Code Coverage of Prolog Programs Using Mutation Testing
Testing is an important aspect in professional software development, both to avoid and identify bugs as well as to increase maintainability.