hi, I have written some programs to build a special graph to represent Concurrent Java programs. This graph is similar to UnitGraph, but it is a whole-program representation. If you have some idea about how to test the results or experimental framework, please let me know. Thank you very much. cheers lin