FORTEST: Formal methods and testing (0)

by J P Bowen, K Bogdanov, J Clark, M Harman, R Hierons, P Krause
Venue:Proceedings of 26th Annual International Computer Software and Applications Conference (COMPSAC 02