Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/kbse/AsadollahSESH16,
  author       = {Sara Abbaspour Asadollah and
                  Mehrdad Saadatmand and
                  Sigrid Eldh and
                  Daniel Sundmark and
                  Hans A. Hansson},
  editor       = {Zijiang Yang and
                  Ting Liu and
                  Daniel Xiapu Luo},
  title        = {A model for systematic monitoring and debugging of starvation bugs
                  in multicore software},
  booktitle    = {Proceedings of the 1st International Workshop on Specification, Comprehension,
                  Testing, and Debugging of Concurrent Programs, SCTDCP@ASE 2016, Singapore,
                  Singapore, September 3, 2016},
  pages        = {7--11},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2975954.2975958},
  doi          = {10.1145/2975954.2975958},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/AsadollahSESH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/HuiH16,
  author       = {Zhanwei Hui and
                  Song Huang},
  editor       = {Zijiang Yang and
                  Ting Liu and
                  Daniel Xiapu Luo},
  title        = {{MD-ART:} a test case generation method without test oracle problem},
  booktitle    = {Proceedings of the 1st International Workshop on Specification, Comprehension,
                  Testing, and Debugging of Concurrent Programs, SCTDCP@ASE 2016, Singapore,
                  Singapore, September 3, 2016},
  pages        = {27--34},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2975954.2975959},
  doi          = {10.1145/2975954.2975959},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/HuiH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/JinLQCCZ16,
  author       = {Wuxia Jin and
                  Ting Liu and
                  Yu Qu and
                  Jianlei Chi and
                  Di Cui and
                  Qinghua Zheng},
  editor       = {Zijiang Yang and
                  Ting Liu and
                  Daniel Xiapu Luo},
  title        = {Dynamic cohesion measurement for distributed system},
  booktitle    = {Proceedings of the 1st International Workshop on Specification, Comprehension,
                  Testing, and Debugging of Concurrent Programs, SCTDCP@ASE 2016, Singapore,
                  Singapore, September 3, 2016},
  pages        = {20--26},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2975954.2975956},
  doi          = {10.1145/2975954.2975956},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/JinLQCCZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/LuYWXC16,
  author       = {Wei Lu and
                  Yong Yang and
                  Liqiang Wang and
                  Weiwei Xing and
                  Xiaoping Che},
  editor       = {Zijiang Yang and
                  Ting Liu and
                  Daniel Xiapu Luo},
  title        = {A leader election based deadlock detection algorithm in distributed
                  systems},
  booktitle    = {Proceedings of the 1st International Workshop on Specification, Comprehension,
                  Testing, and Debugging of Concurrent Programs, SCTDCP@ASE 2016, Singapore,
                  Singapore, September 3, 2016},
  pages        = {12--19},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2975954.2975955},
  doi          = {10.1145/2975954.2975955},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/LuYWXC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/ZhangL16,
  author       = {Yan Zhang and
                  Lejian Liao},
  editor       = {Zijiang Yang and
                  Ting Liu and
                  Daniel Xiapu Luo},
  title        = {An algebraic specification language for organizational behavior of
                  {OOMAS}},
  booktitle    = {Proceedings of the 1st International Workshop on Specification, Comprehension,
                  Testing, and Debugging of Concurrent Programs, SCTDCP@ASE 2016, Singapore,
                  Singapore, September 3, 2016},
  pages        = {1--6},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2975954.2975957},
  doi          = {10.1145/2975954.2975957},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/ZhangL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/kbse/2016sctdcp,
  editor       = {Zijiang Yang and
                  Ting Liu and
                  Daniel Xiapu Luo},
  title        = {Proceedings of the 1st International Workshop on Specification, Comprehension,
                  Testing, and Debugging of Concurrent Programs, SCTDCP@ASE 2016, Singapore,
                  Singapore, September 3, 2016},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2975954},
  doi          = {10.1145/2975954},
  isbn         = {978-1-4503-4510-1},
  timestamp    = {Thu, 11 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/2016sctdcp.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}