Sebastian Krings
Sebastian Krings
Home
Posts
Projects
Publications
Contact
Light
Dark
Automatic
Logic Programming
Prolog Coding Guidelines: Status and Tool Support
Paper presentation.
Sep 22, 2019 3:30 PM — 4:00 PM
Las Cruces, NM, USA
Sebastian Krings
Project
Towards Constraint Logic Programming over Strings for Test Data Generation
Paper presentation.
Sep 11, 2019 11:00 AM — 11:30 AM
Cottbus, Germany
Sebastian Krings
Project
Prolog Coding Guidelines: Status and Tool Support
The importance of coding guidelines is generally accepted throughout developers of every programming language. Naturally, Prolog makes …
Falco Nogatz
,
Philipp Körner
,
Sebastian Krings
PDF
Project
Slides
DOI
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 …
Sebastian Krings
,
Joshua Schmidt
,
Patrick Skowronek
,
Jannik Dunkelau
,
Dierk Ehmke
PDF
Project
Slides
DOI
CLP(Str)
Constraint Logic Programming Over Strings.
Prolog Language Features
Providing new features to Prolog implementations.
Measuring Code Coverage of Prolog Programs Using Mutation Testing
Testing is an important aspect in professional software development, both to avoid and identify bugs as well as to increase …
Alexandros Efremidis
,
Joshua Schmidt
,
Sebastian Krings
,
Philipp Körner
PDF
Cite
Project
Slides
DOI
Three is a crowd: SAT, SMT and CLP on a chessboard
Constraint solving technology for declarative formal models has made considerable progress in recent years, and has many applications …
Sebastian Krings
,
Michael Leuschel
,
Philipp Körner
,
Stefan Hallerstede
,
Miran Hasanagic
PDF
Cite
DOI
Contraint Logic Programming over Infinite Domains with an Application to Proof
We present a CLP(FD)-based constraint solver able to deal with unbounded domains. It is based on constraint propagation, resorting to …
Sebastian Krings
,
Michael Leuschel
PDF
Cite
Project
Project
DOI
Cite
×