Sebastian Krings
Home
Projects
Publications
Talks
Contact
Joshua Schmidt
Latest
Experience Report on An Inquiry-Based Course on Model Checking
Towards Constraint Logic Programming over Strings for Test Data Generation
Automated Backend Selection for ProB Using Deep Learning
Experience Report on An Inquiry-Based Course on Model Checking
Measuring Code Coverage of Prolog Programs Using Mutation Testing
Repair and Generation of Formal Models Using Synthesis
A Translation from Alloy to B
Interactive Model Repair by Synthesis
Cite
×