CLP(Str)

In cooperation with periplus instruments, we evaluate to what extend constraint logic programming can be used to reason over string constraints. In particular, we implement a constraint solver based on SWI Prolog and CHR, integration existing solvers such as CLP(FD). We mainly target test data generation for data-intensive applications such as data warehouses.

Avatar
Sebastian Krings
Postdoc

My research interests include formal methods, model checking and logic programming.

Publications

Towards Constraint Logic Programming over Strings for Test Data Generation

Software is notoriously hard to test. Some of the difficulties stem from the test data available for data-intensive applications such …

Talks

Towards Constraint Logic Programming over Strings for Test Data Generation

Paper presentation.