Mutation-based exploration of a method for verifying concurrent java components

18th International Parallel and Distributed Processing Symposium, 2004. Proceedings. ◽

10.1109/ipdps.2004.1303338 ◽

2004 ◽

Cited By ~ 7

Author(s):

B. Long ◽

R. Duke ◽

D. Goldson ◽

P. Strooper ◽

L. Wildman

Download Full-text