The concept of must testing is naturally parametrised with a chosen completeness criterion,
defining the complete runs of a system. Here I employ justness as this completeness …