Towards Substructural Property-Based Testing.

Marco Mantovani Alberto Momigliano

Published in: LOPSTR (2021)

Keyphrases

multimedia
test cases
databases
machine learning
test generation
propositional calculus
mobile robot
test set
statistical tests