Type-level Property Based Testing.

Thomas Ekström Hansen Edwin Brady

Published in: CoRR (2024)

Keyphrases

higher level
test cases
database
machine learning
information systems
high level
preprocessing
desirable properties