7 citations · 16 across the 6 of their papers we have counts for
6 papers
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering -- A White Paper
Antonio Cerone, Markus Roggenbach, James Davenport +10
This white paper argues that formal methods need to be better rooted in higher education curricula for computer science and software engineering programmes of study. To this end, i…
Prolog Coding Guidelines: Status and Tool Support
Falco Nogatz, Philipp Körner, Sebastian Krings
The importance of coding guidelines is generally accepted throughout developers of every programming language. Naturally, Prolog makes no exception. However, establishing coding gu…
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…
Measuring Coverage of Prolog Programs Using Mutation Testing
Alexandros Efremidis, Joshua Schmidt, Sebastian Krings +1
Testing is an important aspect in professional software development, both to avoid and identify bugs as well as to increase maintainability. However, increasing the number of tests…
Constraint Logic Programming over Infinite Domains with an Application to Proof
Sebastian Krings, Michael Leuschel
We present a CLP(FD)-based constraint solver able to deal with unbounded domains. It is based on constraint propagation, resorting to enumeration if all other methods fail. An impo…
Who watches the watchers: Validating the ProB Validation Tool
Jens Bendisposto, Sebastian Krings, Michael Leuschel
Over the years, ProB has moved from a tool that complemented proving, to a development environment that is now sometimes used instead of proving for applications, such as exhaustiv…