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.

Sebastian Krings
Sebastian Krings
Software Engineer

My interests include software analysis, formal methods and offensive security.