|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Zijiang Yang 0006, Ting Liu 0002, Daniel Xiapu Luo (eds.) |
Proceedings of the 1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs, SCTDCP@ASE 2016, Singapore, Singapore, September 3, 2016 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCTDCP@ASE ![ACM, 978-1-4503-4510-1 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Wuxia Jin, Ting Liu 0002, Yu Qu, Jianlei Chi, Di Cui, Qinghua Zheng |
Dynamic cohesion measurement for distributed system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCTDCP@ASE ![In: Proceedings of the 1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs, SCTDCP@ASE 2016, Singapore, Singapore, September 3, 2016, pp. 20-26, 2016, ACM, 978-1-4503-4510-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Zhanwei Hui, Song Huang |
MD-ART: a test case generation method without test oracle problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCTDCP@ASE ![In: Proceedings of the 1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs, SCTDCP@ASE 2016, Singapore, Singapore, September 3, 2016, pp. 27-34, 2016, ACM, 978-1-4503-4510-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Wei Lu 0010, Yong Yang 0007, Liqiang Wang, Weiwei Xing, Xiaoping Che |
A leader election based deadlock detection algorithm in distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCTDCP@ASE ![In: Proceedings of the 1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs, SCTDCP@ASE 2016, Singapore, Singapore, September 3, 2016, pp. 12-19, 2016, ACM, 978-1-4503-4510-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yan Zhang, Lejian Liao |
An algebraic specification language for organizational behavior of OOMAS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCTDCP@ASE ![In: Proceedings of the 1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs, SCTDCP@ASE 2016, Singapore, Singapore, September 3, 2016, pp. 1-6, 2016, ACM, 978-1-4503-4510-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCTDCP@ASE ![In: Proceedings of the 1st International Workshop on Specification, Comprehension, Testing, and Debugging of Concurrent Programs, SCTDCP@ASE 2016, Singapore, Singapore, September 3, 2016, pp. 7-11, 2016, ACM, 978-1-4503-4510-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
|