Proceedings of the 1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs - SCTDCP 2016
Latest Publications

TOTAL DOCUMENTS

5

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By ACM Press

9781450345101

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A model for systematic monitoring and debugging of starvation bugs in multicore software

Proceedings of the 1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs - SCTDCP 2016 ◽

10.1145/2975954.2975958 ◽

2016 ◽

Author(s):

Sara Abbaspour Asadollah ◽

Mehrdad Saadatmand ◽

Sigrid Eldh ◽

Daniel Sundmark ◽

Hans Hansson

Keyword(s):

Systematic Monitoring

Download Full-text

A leader election based deadlock detection algorithm in distributed systems

Proceedings of the 1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs - SCTDCP 2016 ◽

10.1145/2975954.2975955 ◽

2016 ◽

Cited By ~ 2

Author(s):

Wei Lu ◽

Yong Yang ◽

Liqiang Wang ◽

Weiwei Xing ◽

Xiaoping Che

Keyword(s):

Distributed Systems ◽

Detection Algorithm ◽

Leader Election ◽

Deadlock Detection

Download Full-text

Dynamic cohesion measurement for distributed system

Proceedings of the 1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs - SCTDCP 2016 ◽

10.1145/2975954.2975956 ◽

2016 ◽

Author(s):

Wuxia Jin ◽

Ting Liu ◽

Yu Qu ◽

Jianlei Chi ◽

Di Cui ◽

...

Keyword(s):

Distributed System

Download Full-text

An algebraic specification language for organizational behavior of OOMAS

Proceedings of the 1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs - SCTDCP 2016 ◽

10.1145/2975954.2975957 ◽

2016 ◽

Cited By ~ 1

Author(s):

Yan Zhang ◽

Lejian Liao

Keyword(s):

Organizational Behavior ◽

Specification Language ◽

Algebraic Specification

Download Full-text

MD-ART: a test case generation method without test oracle problem

Proceedings of the 1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs - SCTDCP 2016 ◽

10.1145/2975954.2975959 ◽

2016 ◽

Cited By ~ 1

Author(s):

Zhan-Wei Hui ◽

Song Huang

Keyword(s):

Test Case Generation ◽

Test Case ◽

Test Oracle

Download Full-text