Joshua Schmidt

Latest

• 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