Powered by
1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs (SCTDCP 2016), September 3, 2016,
Singapore, Singapore
1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs (SCTDCP 2016)
An Algebraic Specification Language for Organizational Behavior of OOMAS
Yan Zhang and
Lejian Liao
(Beijing Institute of Technology, China)
@InProceedings{SCTDCP16p1,
author = {Yan Zhang and Lejian Liao},
title = {An Algebraic Specification Language for Organizational Behavior of OOMAS},
booktitle = {Proc.\ SCTDCP},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2016},
}
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)
@InProceedings{SCTDCP16p9,
author = {Sara Abbaspour Asadollah and Mehrdad Saadatmand and Sigrid Eldh and Daniel Sundmark and Hans Hansson},
title = {A Model for Systematic Monitoring and Debugging of Starvation Bugs in Multicore Software},
booktitle = {Proc.\ SCTDCP},
publisher = {ACM},
pages = {9-8},
doi = {},
year = {2016},
}
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)
@InProceedings{SCTDCP16p14,
author = {Wei Lu and Yong Yang and Liqiang Wang and Weiwei Xing and Xiaoping Che},
title = {A Leader Election Based Deadlock Detection Algorithm in Distributed Systems},
booktitle = {Proc.\ SCTDCP},
publisher = {ACM},
pages = {14-13},
doi = {},
year = {2016},
}
Dynamic Cohesion Measurement for Distributed System
Wuxia Jin,
Ting Liu,
Yu Qu,
Jianlei Chi,
Di Cui, and
Qinghua Zheng
(Xi'an Jiaotong University, China)
@InProceedings{SCTDCP16p22,
author = {Wuxia Jin and Ting Liu and Yu Qu and Jianlei Chi and Di Cui and Qinghua Zheng},
title = {Dynamic Cohesion Measurement for Distributed System},
booktitle = {Proc.\ SCTDCP},
publisher = {ACM},
pages = {22-21},
doi = {},
year = {2016},
}
MD-ART: A Test Case Generation Method without Test Oracle Problem
Zhan-Wei Hui and
Song Huang
(PLA University of Science and Technology, China)
@InProceedings{SCTDCP16p30,
author = {Zhan-Wei Hui and Song Huang},
title = {MD-ART: A Test Case Generation Method without Test Oracle Problem},
booktitle = {Proc.\ SCTDCP},
publisher = {ACM},
pages = {30-29},
doi = {},
year = {2016},
}
proc time: 0.65