Before revision:  The approach broadly follows recent work by \mbox{%DIFAUXCMD MM20 user-specified bounds on (i) test accuracy , in particular sensitivity, (ii) the extent to which tests are targeted, formalized as restriction on the effect of true  status on the odds ratio of getting tested and thereby embeddable in logit specifications.
After revision:  The approach broadly follows recent work by \mbox{%DIFAUXCMD MM20 user-specified bounds on (i) test accuracy and (ii) the extent to which tests are targeted, formalized as restriction on the effect of true status on the odds ratio of getting tested and thereby embeddable in logit specifications.