◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Sebastian Krings

6 papers hereh-index 10331 citations40 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author2
  • middle author3
  • last author1

Across the 6 of 6 papers where every author was matched, so the position is known.

fields
  • cs.PL3
  • cs.SE2
  • cs.LO1

identity via Semantic Scholar / OpenAlex

activity
20142020
most citedWho watches the watchers: Validating the ProB Validation Tool

7 citations · 16 across the 6 of their papers we have counts for

collaborators
Showing 2019Show all

2 papers · 1 filter

cs.PL2019★ 1 cited

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…

cs.LO2019★ 1 cited

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…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.