Abstract is missing.
- An algebraic specification language for organizational behavior of OOMASYan Zhang, Lejian Liao. 1-6 [doi]
- A model for systematic monitoring and debugging of starvation bugs in multicore softwareSara Abbaspour Asadollah, Mehrdad Saadatmand, Sigrid Eldh, Daniel Sundmark, Hans A. Hansson. 7-11 [doi]
- A leader election based deadlock detection algorithm in distributed systemsWei Lu, Yong Yang, Liqiang Wang, Weiwei Xing, Xiaoping Che. 12-19 [doi]
- Dynamic cohesion measurement for distributed systemWuxia Jin, Ting Liu, Yu Qu, Jianlei Chi, Di Cui, Qinghua Zheng. 20-26 [doi]
- MD-ART: a test case generation method without test oracle problemZhanwei Hui, Song Huang. 27-34 [doi]