Test coverage models

Another installment of tests.