Joshua Schmidt

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 13

Top Topics

Constraint Logic Programming

Mutation Testing

Simulated Annealing Algorithm

Top Venues

Int. J. Softw. Tools Technol. Transf.

Sci. Comput. Program.

Publications

Joshua Schmidt, Michael Leuschel
SMT solving for the validation of B and Event-B models. Int. J. Softw. Tools Technol. Transf. 24 (6) (2022)
Joshua Schmidt, Michael Leuschel
Improving SMT Solver Integrations for the Validation of B and Event-B Models. FMICS (2021)
Jannik Dunkelau, Joshua Schmidt, Michael Leuschel
Analysing ProB's Constraint Solving Backends - What Do They Know? Do They Know Things? Let's Find Out! ABZ (2020)
Sebastian Krings, Michael Leuschel, Joshua Schmidt, David Schneider, Marc Frappier
Translating Alloy and extensions to classical B. Sci. Comput. Program. 188 (2020)
Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke
Towards Constraint Logic Programming over Strings for Test Data Generation. CoRR (2019)
Jannik Dunkelau, Sebastian Krings, Joshua Schmidt
Automated Backend Selection for ProB Using Deep Learning. NFM (2019)
Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke
Towards Constraint Logic Programming over Strings for Test Data Generation. DECLARE (2019)
Sebastian Krings, Philipp Körner, Joshua Schmidt
Experience Report on an Inquiry-Based Course on Model Checking. SEUH (2019)
Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner
Measuring Coverage of Prolog Programs Using Mutation Testing. CoRR (2018)
Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner
Measuring Coverage of Prolog Programs Using Mutation Testing. WFLP (2018)
Sebastian Krings, Joshua Schmidt, Carola Brings, Marc Frappier, Michael Leuschel
A Translation from Alloy to B. ABZ (2018)
Joshua Schmidt, Sebastian Krings, Michael Leuschel
Repair and Generation of Formal Models Using Synthesis. IFM (2018)
Joshua Schmidt, Sebastian Krings, Michael Leuschel
Interactive Model Repair by Synthesis. ABZ (2016)