5 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.LO2019★ 1 cited
Towards Constraint Logic Programming over Strings for Test Data Generation
Sebastian Krings, Joshua Schmidt, Patrick Skowronek +2
In order to properly test software, test data of a certain quality is needed. However, useful test data is often unavailable: Existing or hand-crafted data might not be diverse eno…
cs.PL2018★ 5 cited
Measuring Coverage of Prolog Programs Using Mutation Testing
Alexandros Efremidis, Joshua Schmidt, Sebastian Krings +1
Testing is an important aspect in professional software development, both to avoid and identify bugs as well as to increase maintainability. However, increasing the number of tests…