IcePick applies model checking to achieve guaranteed state coverage in API testing while Glacier provides executable semantic contracts for automated behavioral oracles.
Restest: automated black-box testing of RESTful web APIs
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.SE 2years
2026 2roles
background 1polarities
background 1representative citing papers
APIDiffer automatically detects 72 API inconsistencies across 11 Ethereum clients using specification-guided test generation and LLM-based false-positive filtering, with 90% of bugs confirmed by developers.
citing papers explorer
-
Systematic API Testing Through Model Checking and Executable Contracts
IcePick applies model checking to achieve guaranteed state coverage in API testing while Glacier provides executable semantic contracts for automated behavioral oracles.
-
When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
APIDiffer automatically detects 72 API inconsistencies across 11 Ethereum clients using specification-guided test generation and LLM-based false-positive filtering, with 90% of bugs confirmed by developers.