Underapproximate types with symbolic traces guide synthesis of test generators that outperform defaults in property-based testing and model checking for effectful programs.
Covering All the Bases: Type-Based Verification of Test Input Generators.Proc
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.PL 2verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
A type system with types over normal forms and a decidable complement operator via subtyping is sound and complete, deriving refutation principles to certify incorrectness in functional programs.
citing papers explorer
-
Trace-Guided Synthesis of Effectful Test Generators
Underapproximate types with symbolic traces guide synthesis of test generators that outperform defaults in property-based testing and model checking for effectful programs.
-
A Complementary Approach to Incorrectness Typing
A type system with types over normal forms and a decidable complement operator via subtyping is sound and complete, deriving refutation principles to certify incorrectness in functional programs.