52 citations · 120 across the 14 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.PL2023★ 1 cited
Morpheus: Automated Safety Verification of Data-dependent Parser Combinator Programs
Ashish Mishra, Suresh Jagannathan
Parser combinators are a well-known mechanism used for the compositional construction of parsers, and have shown to be particularly useful in writing parsers for rich grammars with…
cs.PL2023
Polymorphic Coverage Types
Zhe Zhou, Ashish Mishra, Benjamin Delaware +1
Test input generators are an important part of property-based testing (PBT) frameworks, and a key expectation is that they be capable of producing all acceptable elements that sati…