G. v. Bochmann;A. Petrenko;M. Yao
-;-;-
Testing in context: framework and test derivation
Computer Communications