ASE 2016 Workshops
31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016)
Powered by
Conference Publishing Consulting
1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs (SCTDCP 2016), September 3, 2016, Singapore, Singapore

SCTDCP 2016 – Proceedings

 Contents - Abstracts - Authors
Twitter: https://twitter.com/ASEConf2016

1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs (SCTDCP 2016)

Title Page
Article: asews16sctdcpforeword-fm000-p (type: Frontmatter) doi:
Message from the Chairs
Article: asews16sctdcpforeword-fm001-p (type: Frontmatter) doi:
An Algebraic Specification Language for Organizational Behavior of OOMAS
Yan Zhang and Lejian Liao
(Beijing Institute of Technology, China)
Article: asews16sctdcpmain-sctdcpmainid1-p (type: Full Paper (8 pages)) doi:
A Model for Systematic Monitoring and Debugging of Starvation Bugs in Multicore Software
Sara Abbaspour Asadollah, Mehrdad Saadatmand, Sigrid Eldh, Daniel Sundmark, and Hans Hansson
(Mälardalen University, Sweden; SICS, Sweden; Ericsson, Sweden)
Article: asews16sctdcpmain-sctdcpmainid2-p (type: Short Paper (4 pages + 1 page)) doi:
A Leader Election Based Deadlock Detection Algorithm in Distributed Systems
Wei Lu, Yong Yang, Liqiang Wang, Weiwei Xing, and Xiaoping Che
(Beijing Jiaotong University, China; University of Central Florida, USA)
Article: asews16sctdcpmain-sctdcpmainid3-p (type: Full Paper (8 pages)) doi:
Dynamic Cohesion Measurement for Distributed System
Wuxia Jin, Ting Liu, Yu Qu, Jianlei Chi, Di Cui, and Qinghua Zheng
(Xi'an Jiaotong University, China)
Article: asews16sctdcpmain-sctdcpmainid5-p (type: Full Paper (8 pages)) doi:
MD-ART: A Test Case Generation Method without Test Oracle Problem
Zhan-Wei Hui and Song Huang
(PLA University of Science and Technology, China)
Article: asews16sctdcpmain-sctdcpmainid13-p (type: Full Paper (8 pages)) doi:

proc time: 0.01