Combinatorial Testing for VDM.

Peter Gorm Larsen, Kenneth Lausdahl, Nick Battle

Browse the full SEFM paper archive.