What is DCO Analyzer?
DCO Analyzer is a Controllability and Observability Analysis Tool for Distributed Systems Testing
You can download DCO Analyzer here.
How to use
Unzip the file and run the “DCO Analyzer.jar”
You can find some sequence diagram models ready to analyze here.