Joshua Schmidt

Latest

• Automated Backend Selection for ProB Using Deep Learning
• Experience Report on An Inquiry-Based Course on Model Checking
• Measuring 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