DCO analyzer: local controllability and observability analysis and enforcement of distributed test scenarios.

Bruno Lima, Joo Pascoal Faria

Browse the full ICSE paper archive.