◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

P. Schrammel

18 papers hereh-index 17945 citations63 works total

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

author position
  • sole author2
  • first author2
  • middle author9
  • last author5

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

fields
  • cs.SE10
  • cs.LO5
  • cs.PL2
  • eess.SY1
same name
  • P. Schrammel — 1 paper, h 1

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
20132023
most citedIncremental Bounded Model Checking for Embedded Software (extended version)

7 citations · 27 across the 17 of their papers we have counts for

collaborators
Showing 2022Show all

1 paper · 1 filter

cs.SE2022★ 1 cited

BlueCov: Integrating Test Coverage and Model Checking with JBMC

Matthias Güdemann, Peter Schrammel

Automated test case generation tools help businesses to write tests and increase the safety net provided by high regression test coverage when making code changes. Test generation…

◍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.