Peter Schrammel -

Registered user since Thu 27 Aug 2026

Name:Peter Schrammel

Country:United Kingdom

Affiliation:Diffblue Ltd

Contributions

2026

SPLASH/ISSTA

Author of Iekkë: A Bounded-Round Partial-Order Encoding Verification Tool for Concurrent C Programs within the Tool Demonstrations-track

EASE

Author of RESTestBench: A Benchmark for Evaluating the Effectiveness of LLM-Generated REST API Test Cases from NL Requirements within the AI Models / Data-track