Testability and test framework for collaborative real-time editing toolsLian YuLifeng Xuet al.2007QSIC 2007