


default search action
1st SCTDCP@ASE 2016: Singapore
- Zijiang Yang, Ting Liu, Daniel Xiapu Luo:
Proceedings of the 1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs, SCTDCP@ASE 2016, Singapore, Singapore, September 3, 2016. ACM 2016, ISBN 978-1-4503-4510-1 - Yan Zhang, Lejian Liao:
An algebraic specification language for organizational behavior of OOMAS. 1-6 - Sara Abbaspour Asadollah
, Mehrdad Saadatmand
, Sigrid Eldh
, Daniel Sundmark, Hans A. Hansson:
A model for systematic monitoring and debugging of starvation bugs in multicore software. 7-11 - Wei Lu, Yong Yang, Liqiang Wang, Weiwei Xing, Xiaoping Che:
A leader election based deadlock detection algorithm in distributed systems. 12-19 - Wuxia Jin, Ting Liu, Yu Qu
, Jianlei Chi, Di Cui, Qinghua Zheng:
Dynamic cohesion measurement for distributed system. 20-26 - Zhanwei Hui, Song Huang:
MD-ART: a test case generation method without test oracle problem. 27-34

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.