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.
Software is notoriously hard to test. Some of the difficulties stem from the test data available for data-intensive applications such …