SCTDCP@ASE

Keyphrases

Publications

2016

Proceedings of the 1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs, SCTDCP@ASE 2016, Singapore, Singapore, September 3, 2016 SCTDCP@ASE (2016)
Wuxia Jin, Ting Liu, Yu Qu, Jianlei Chi, Di Cui, Qinghua Zheng
Dynamic cohesion measurement for distributed system. SCTDCP@ASE (2016)
Zhanwei Hui, Song Huang
MD-ART: a test case generation method without test oracle problem. SCTDCP@ASE (2016)
Wei Lu, Yong Yang, Liqiang Wang, Weiwei Xing, Xiaoping Che
A leader election based deadlock detection algorithm in distributed systems. SCTDCP@ASE (2016)
Yan Zhang, Lejian Liao
An algebraic specification language for organizational behavior of OOMAS. SCTDCP@ASE (2016)
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. SCTDCP@ASE (2016)