Viewpoint-Based Testing of Concurrent Components.

Luke Wildman, Roger Duke, Paul A. Strooper

Browse the full IFM paper archive.