IcePick applies model checking to achieve guaranteed state coverage in API testing while Glacier provides executable semantic contracts for automated behavioral oracles.
Petstore - openapi 3.0
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
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.