ASE 2016 Workshops
31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016)

Powered by

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

Message from the Chairs

An Algebraic Specification Language for Organizational Behavior of OOMAS
Yan Zhang and Lejian Liao
(Beijing Institute of Technology, China)

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)

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)

Dynamic Cohesion Measurement for Distributed System
Wuxia Jin, Ting Liu, Yu Qu, Jianlei Chi, Di Cui, and Qinghua Zheng
(Xi'an Jiaotong University, China)

MD-ART: A Test Case Generation Method without Test Oracle Problem
Zhan-Wei Hui and Song Huang
(PLA University of Science and Technology, China)

proc time: 0.65