FORTEST: Formal Methods and Testing (2002)

by Jonathan P. Bowen , Kirill Bogdanov , John Clark , Mark Harman , Robert Hierons , Paul Krause
Venue:Proceedings of 26th Annual International Computer Software and Applications Conference (COMPSAC 02
Citations:3 - 3 self