Testing can be formal, too. (1995)

by Marie-Claude Gaudel
Venue:Proceedings of TAPSOFT ’95,