( en | de | ru )

 

Disambiguation of "Schmidt, Joshua"

Author of the publication

copydeleteadd this publication to your clipboard
Measuring Coverage of Prolog Programs Using Mutation Testing.

, , , and . CoRR, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Joshua Migdal

Joshua Sempebwa

Joshua Cordes

Joshua Amavi

Joshua Müller

 

Other publications of authors with the same name

SMT solving for the validation of B and Event-B models., and . Int. J. Softw. Tools Technol. Transf., 24 (6): 1043-1077 (2022)Towards Constraint Logic Programming over Strings for Test Data Generation., , , , and . CoRR, (2019)Experience Report on an Inquiry-Based Course on Model Checking., , and . SEUH, volume 2358 of CEUR Workshop Proceedings, page 87-98. CEUR-WS.org, (2019)Analysing ProB's Constraint Solving Backends - What Do They Know? Do They Know Things? Let's Find Out!, , and . ABZ, volume 12071 of Lecture Notes in Computer Science, page 107-123. Springer, (2020)Measuring Coverage of Prolog Programs Using Mutation Testing., , , and . CoRR, (2018)New Applications and Techniques for Constraint Programming in B.. University of Düsseldorf, Germany, (2023)Translating Alloy and extensions to classical B., , , , and . Sci. Comput. Program., (2020)Interactive Model Repair by Synthesis., , and . ABZ, volume 9675 of Lecture Notes in Computer Science, page 303-307. Springer, (2016)A Translation from Alloy to B., , , , and . ABZ, volume 10817 of Lecture Notes in Computer Science, page 71-86. Springer, (2018)Improving SMT Solver Integrations for the Validation of B and Event-B Models., and . FMICS, volume 12863 of Lecture Notes in Computer Science, page 107-125. Springer, (2021)