In this work, we present a model-driven methodology for generating directed tests that take the SystemC model under validation to specific reachable states.
For maize, a threshold p-value of 0.001 was considered significant for directed tests versus the physically closest SNP, or 0.0001 for elsewhere in the genome.
We used directed tests because in a previous study it was found that the outbred males are more resistant to Salmonella than the inbred ones [ 30].
Using two-tailed tests instead of directed tests does not change the interpretation of our results, except that the observed female preference for outbred versus inbred males measured by duration of investigations becomes only marginally significant (P = 0.05).
For example, in directed tests of chosen mutants we identified a class of lesions that exhibit non-selective p53 action throughout the ovary only after IR challenge (see Figure 1 figure supplement 3, Figure 1 source data 1C).
We used directed tests instead of one- or two-tailed tests [ 62] for the overall female preference for outbred males over inbred males, because we had a clear a priori-prediction that females would prefer the outbred males over the inbred ones, which is consistent with previous results [ 14].
