activity
20172020
most citedConstraint Logic Programming over Infinite Domains with an Application to Proof

2 citations · 2 across the 1 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2019

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…