Fevzi Belli Oliver Jack Declarative Paradigm of Test Coverage. 15-47 1998 8 Softw. Test., Verif. Reliab. 1 db/journals/stvr/stvr8.html#BelliJ98