Joshua Schmidt

Latest

• Translating Alloy and Extensions to Classical B
• Inquiry- and Research-based Teaching in a 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