BibTeX records: Yan Cai 0001

download as .bib file

@article{DBLP:journals/tse/BianLZYSC20,
  author    = {Pan Bian and
               Bin Liang and
               Yan Zhang and
               Chaoqun Yang and
               Wenchang Shi and
               Yan Cai},
  title     = {Corrections to "Detecting Bugs by Discovering Expectations and
               Their Violations"},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {46},
  number    = {1},
  pages     = {113},
  year      = {2020},
  url       = {https://doi.org/10.1109/TSE.2019.2958750},
  doi       = {10.1109/TSE.2019.2958750},
  timestamp = {Thu, 06 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tse/BianLZYSC20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Bian0ZYS019,
  author    = {Pan Bian and
               Bin Liang and
               Yan Zhang and
               Chaoqun Yang and
               Wenchang Shi and
               Yan Cai},
  title     = {Detecting Bugs by Discovering Expectations and Their Violations},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {45},
  number    = {10},
  pages     = {984--1001},
  year      = {2019},
  url       = {https://doi.org/10.1109/TSE.2018.2816639},
  doi       = {10.1109/TSE.2018.2816639},
  timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tse/Bian0ZYS019.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ChangGX00Y19,
  author    = {Jialiang Chang and
               Bo Gao and
               Hao Xiao and
               Jun Sun and
               Yan Cai and
               Zijiang Yang},
  editor    = {Yamine A{\"{\i}}t Ameur and
               Shengchao Qin},
  title     = {sCompile: Critical Path Identification and Analysis for Smart Contracts},
  booktitle = {Formal Methods and Software Engineering - 21st International Conference
               on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
               5-9, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11852},
  pages     = {286--304},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-32409-4\_18},
  doi       = {10.1007/978-3-030-32409-4\_18},
  timestamp = {Mon, 28 Oct 2019 17:04:46 +0100},
  biburl    = {https://dblp.org/rec/conf/icfem/ChangGX00Y19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MengZYL0Y19,
  author    = {Ruijie Meng and
               Biyun Zhu and
               Hao Yun and
               Haicheng Li and
               Yan Cai and
               Zijiang Yang},
  title     = {{CONVUL:} An Effective Tool for Detecting Concurrency Vulnerabilities},
  booktitle = {34th {IEEE/ACM} International Conference on Automated Software Engineering,
               {ASE} 2019, San Diego, CA, USA, November 11-15, 2019},
  pages     = {1154--1157},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://doi.org/10.1109/ASE.2019.00125},
  doi       = {10.1109/ASE.2019.00125},
  timestamp = {Sun, 19 Jan 2020 15:18:02 +0100},
  biburl    = {https://dblp.org/rec/conf/kbse/MengZYL0Y19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/0001ZMYHSL19,
  author    = {Yan Cai and
               Biyun Zhu and
               Ruijie Meng and
               Hao Yun and
               Liang He and
               Purui Su and
               Bin Liang},
  editor    = {Marlon Dumas and
               Dietmar Pfahl and
               Sven Apel and
               Alessandra Russo},
  title     = {Detecting concurrency memory corruption vulnerabilities},
  booktitle = {Proceedings of the {ACM} Joint Meeting on European Software Engineering
               Conference and Symposium on the Foundations of Software Engineering,
               {ESEC/SIGSOFT} {FSE} 2019, Tallinn, Estonia, August 26-30, 2019},
  pages     = {706--717},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1145/3338906.3338927},
  doi       = {10.1145/3338906.3338927},
  timestamp = {Thu, 24 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/sigsoft/0001ZMYHSL19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZhaoNLWCZ18,
  author    = {Jing Zhao and
               Gao{-}Rong Ning and
               H. L. Lu and
               Y. B. Wang and
               Yan Cai and
               Jian Zhang},
  editor    = {Michel Chaudron and
               Ivica Crnkovic and
               Marsha Chechik and
               Mark Harman},
  title     = {A weight-based approach to combinatorial test generation},
  booktitle = {Proceedings of the 40th International Conference on Software Engineering:
               Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 -
               June 03, 2018},
  pages     = {378--379},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3183440.3195018},
  doi       = {10.1145/3183440.3195018},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/ZhaoNLWCZ18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BianLSH018,
  author    = {Pan Bian and
               Bin Liang and
               Wenchang Shi and
               Jianjun Huang and
               Yan Cai},
  editor    = {Gary T. Leavens and
               Alessandro Garcia and
               Corina S. Pasareanu},
  title     = {NAR-miner: discovering negative association rules from code for bug
               detection},
  booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
               Conference and Symposium on the Foundations of Software Engineering,
               {ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
               2018},
  pages     = {411--422},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3236024.3236032},
  doi       = {10.1145/3236024.3236032},
  timestamp = {Tue, 31 Dec 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/sigsoft/BianLSH018.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HeCHSLYHYJF17,
  author    = {Liang He and
               Yan Cai and
               Hong Hu and
               Purui Su and
               Zhenkai Liang and
               Yi Yang and
               Huafeng Huang and
               Jia Yan and
               Xiangkun Jia and
               Dengguo Feng},
  editor    = {Grigore Rosu and
               Massimiliano Di Penta and
               Tien N. Nguyen},
  title     = {Automatically assessing crashes from heap overflows},
  booktitle = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
               Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
               03, 2017},
  pages     = {274--279},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {https://doi.org/10.1109/ASE.2017.8115640},
  doi       = {10.1109/ASE.2017.8115640},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/kbse/HeCHSLYHYJF17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZhouSLCL17,
  author    = {Jinpeng Zhou and
               Sam Silvestro and
               Hongyu Liu and
               Yan Cai and
               Tongping Liu},
  editor    = {Grigore Rosu and
               Massimiliano Di Penta and
               Tien N. Nguyen},
  title     = {{UNDEAD:} detecting and preventing deadlocks in production software},
  booktitle = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
               Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
               03, 2017},
  pages     = {729--740},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {https://doi.org/10.1109/ASE.2017.8115684},
  doi       = {10.1109/ASE.2017.8115684},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/kbse/ZhouSLCL17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CaiCZ17,
  author    = {Yan Cai and
               Lingwei Cao and
               Jing Zhao},
  editor    = {Eric Bodden and
               Wilhelm Sch{\"{a}}fer and
               Arie van Deursen and
               Andrea Zisman},
  title     = {Adaptively generating high quality fixes for atomicity violations},
  booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
               Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
  pages     = {303--314},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3106237.3106239},
  doi       = {10.1145/3106237.3106239},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/sigsoft/CaiCZ17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GuoCY17,
  author    = {Yu Guo and
               Yan Cai and
               Zijiang Yang},
  editor    = {Eric Bodden and
               Wilhelm Sch{\"{a}}fer and
               Arie van Deursen and
               Andrea Zisman},
  title     = {AtexRace: across thread and execution sampling for in-house race detection},
  booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
               Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
  pages     = {315--325},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3106237.3106242},
  doi       = {10.1145/3106237.3106242},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/sigsoft/GuoCY17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/JiaCYT16,
  author    = {Changjiang Jia and
               Yan Cai and
               Yuen{-}Tak Yu and
               T. H. Tse},
  title     = {5W+1H pattern: {A} perspective of systematic mapping studies and a
               case study on cloud software testing},
  journal   = {J. Syst. Softw.},
  volume    = {116},
  pages     = {206--219},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.jss.2015.01.058},
  doi       = {10.1016/j.jss.2015.01.058},
  timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/jss/JiaCYT16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CaiL16,
  author    = {Yan Cai and
               Qiong Lu},
  title     = {Dynamic Testing for Deadlocks via Constraints},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {42},
  number    = {9},
  pages     = {825--842},
  year      = {2016},
  url       = {https://doi.org/10.1109/TSE.2016.2537335},
  doi       = {10.1109/TSE.2016.2537335},
  timestamp = {Tue, 11 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tse/CaiL16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LiangBZSYC16,
  author    = {Bin Liang and
               Pan Bian and
               Yan Zhang and
               Wenchang Shi and
               Wei You and
               Yan Cai},
  editor    = {Laura K. Dillon and
               Willem Visser and
               Laurie Williams},
  title     = {AntMiner: mining more bugs by reducing noise interference},
  booktitle = {Proceedings of the 38th International Conference on Software Engineering,
               {ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
  pages     = {333--344},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2884781.2884870},
  doi       = {10.1145/2884781.2884870},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/LiangBZSYC16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CaiC16,
  author    = {Yan Cai and
               Lingwei Cao},
  editor    = {Laura K. Dillon and
               Willem Visser and
               Laurie Williams},
  title     = {Fixing deadlocks via lock pre-acquisitions},
  booktitle = {Proceedings of the 38th International Conference on Software Engineering,
               {ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
  pages     = {1109--1120},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2884781.2884819},
  doi       = {10.1145/2884781.2884819},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/CaiC16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/CaiY16,
  author    = {Yan Cai and
               Zijiang Yang},
  editor    = {David Lo and
               Sven Apel and
               Sarfraz Khurshid},
  title     = {Radius aware probabilistic testing of deadlocks with guarantees},
  booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
               Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
  pages     = {356--367},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2970276.2970307},
  doi       = {10.1145/2970276.2970307},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/kbse/CaiY16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CaiZCL16,
  author    = {Yan Cai and
               Jian Zhang and
               Lingwei Cao and
               Jian Liu},
  editor    = {Thomas Zimmermann and
               Jane Cleland{-}Huang and
               Zhendong Su},
  title     = {A deployable sampling strategy for data race detection},
  booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
               November 13-18, 2016},
  pages     = {810--821},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2950290.2950310},
  doi       = {10.1145/2950290.2950310},
  timestamp = {Tue, 06 Nov 2018 16:59:23 +0100},
  biburl    = {https://dblp.org/rec/conf/sigsoft/CaiZCL16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/CaiJWZC15,
  author    = {Yan Cai and
               Changjiang Jia and
               Shangru Wu and
               Ke Zhai and
               Wing Kwong Chan},
  title     = {{ASN:} {A} Dynamic Barrier-Based Approach to Confirmation of Deadlocks
               from Warnings for Large-Scale Multithreaded Programs},
  journal   = {{IEEE} Trans. Parallel Distrib. Syst.},
  volume    = {26},
  number    = {1},
  pages     = {13--23},
  year      = {2015},
  url       = {https://doi.org/10.1109/TPDS.2014.2307864},
  doi       = {10.1109/TPDS.2014.2307864},
  timestamp = {Sun, 10 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tpds/CaiJWZC15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/MeiCJJCZT15,
  author    = {Lijun Mei and
               Yan Cai and
               Changjiang Jia and
               Bo Jiang and
               Wing Kwong Chan and
               Zhenyu Zhang and
               T. H. Tse},
  title     = {A Subsumption Hierarchy of Test Case Prioritization for Composite
               Services},
  journal   = {{IEEE} Trans. Services Computing},
  volume    = {8},
  number    = {5},
  pages     = {658--673},
  year      = {2015},
  url       = {https://doi.org/10.1109/TSC.2014.2331683},
  doi       = {10.1109/TSC.2014.2331683},
  timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/tsc/MeiCJJCZT15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CaiC15,
  author    = {Yan Cai and
               Lingwei Cao},
  editor    = {Elisabetta Di Nitto and
               Mark Harman and
               Patrick Heymans},
  title     = {Effective and precise dynamic detection of hidden races for Java programs},
  booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software
               Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September
               4, 2015},
  pages     = {450--461},
  publisher = {{ACM}},
  year      = {2015},
  url       = {https://doi.org/10.1145/2786805.2786839},
  doi       = {10.1145/2786805.2786839},
  timestamp = {Tue, 06 Nov 2018 16:59:22 +0100},
  biburl    = {https://dblp.org/rec/conf/sigsoft/CaiC15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/CaiC14,
  author    = {Yan Cai and
               W. K. Chan},
  title     = {Magiclock: Scalable Detection ofPotential Deadlocks in Large-ScaleMultithreaded
               Programs},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {40},
  number    = {3},
  pages     = {266--281},
  year      = {2014},
  url       = {https://doi.org/10.1109/TSE.2014.2301725},
  doi       = {10.1109/TSE.2014.2301725},
  timestamp = {Mon, 24 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tse/CaiC14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CaiWC14,
  author    = {Yan Cai and
               Shangru Wu and
               W. K. Chan},
  editor    = {Pankaj Jalote and
               Lionel C. Briand and
               Andr{\'{e}} van der Hoek},
  title     = {ConLock: a constraint-based approach to dynamic checking on deadlocks
               in multithreaded programs},
  booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
               Hyderabad, India - May 31 - June 07, 2014},
  pages     = {491--502},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2568225.2568312},
  doi       = {10.1145/2568225.2568312},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/CaiWC14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jwsr/MeiCJJC13,
  author    = {Lijun Mei and
               Yan Cai and
               Changjiang Jia and
               Bo Jiang and
               W. K. Chan},
  title     = {Test Pair Selection for Test Case Prioritization in Regression Testing
               for {WS-BPEL} Programs},
  journal   = {Int. J. Web Service Res.},
  volume    = {10},
  number    = {1},
  pages     = {73--102},
  year      = {2013},
  url       = {https://doi.org/10.4018/jwsr.2013010104},
  doi       = {10.4018/jwsr.2013010104},
  timestamp = {Mon, 24 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jwsr/MeiCJJC13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/ChanC13,
  author    = {W. K. Chan and
               Yan Cai},
  title     = {In quest of the science in statistical fault localization},
  journal   = {Softw., Pract. Exper.},
  volume    = {43},
  number    = {8},
  pages     = {971--987},
  year      = {2013},
  url       = {https://doi.org/10.1002/spe.1147},
  doi       = {10.1002/spe.1147},
  timestamp = {Mon, 24 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/spe/ChanC13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/CaiC13,
  author    = {Yan Cai and
               W. K. Chan},
  title     = {Lock Trace Reduction for Multithreaded Programs},
  journal   = {{IEEE} Trans. Parallel Distrib. Syst.},
  volume    = {24},
  number    = {12},
  pages     = {2407--2417},
  year      = {2013},
  url       = {https://doi.org/10.1109/TPDS.2013.13},
  doi       = {10.1109/TPDS.2013.13},
  timestamp = {Mon, 24 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tpds/CaiC13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/MeiCJJC13,
  author    = {Lijun Mei and
               Yan Cai and
               Changjiang Jia and
               Bo Jiang and
               W. K. Chan},
  title     = {Prioritizing Structurally Complex Test Pairs for Validating {WS-BPEL}
               Evolutions},
  booktitle = {2013 {IEEE} 20th International Conference on Web Services, Santa Clara,
               CA, USA, June 28 - July 3, 2013},
  pages     = {147--154},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {https://doi.org/10.1109/ICWS.2013.29},
  doi       = {10.1109/ICWS.2013.29},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/conf/icws/MeiCJJC13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/CaiZWC13,
  author    = {Yan Cai and
               Ke Zhai and
               Shangru Wu and
               Wing Kwong Chan},
  editor    = {Alex Nicolau and
               Xiaowei Shen and
               Saman P. Amarasinghe and
               Richard W. Vuduc},
  title     = {TeamWork: synchronizing threads globally to detect real deadlocks
               for multithreaded programs},
  booktitle = {{ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming,
               PPoPP '13, Shenzhen, China, February 23-27, 2013},
  pages     = {311--312},
  publisher = {{ACM}},
  year      = {2013},
  url       = {https://doi.org/10.1145/2442516.2442560},
  doi       = {10.1145/2442516.2442560},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/ppopp/CaiZWC13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/CaiCY13,
  author    = {Yan Cai and
               W. K. Chan and
               Yuen{-}Tak Yu},
  title     = {Taming Deadlocks in Multithreaded Programs},
  booktitle = {2013 13th International Conference on Quality Software, Najing, China,
               July 29-30, 2013},
  pages     = {276--279},
  publisher = {{IEEE}},
  year      = {2013},
  url       = {https://doi.org/10.1109/QSIC.2013.20},
  doi       = {10.1109/QSIC.2013.20},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/conf/qsic/CaiCY13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CaiC12,
  author    = {Yan Cai and
               W. K. Chan},
  editor    = {Martin Glinz and
               Gail C. Murphy and
               Mauro Pezz{\`{e}}},
  title     = {MagicFuzzer: Scalable deadlock detection for large-scale applications},
  booktitle = {34th International Conference on Software Engineering, {ICSE} 2012,
               June 2-9, 2012, Zurich, Switzerland},
  pages     = {606--616},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {https://doi.org/10.1109/ICSE.2012.6227156},
  doi       = {10.1109/ICSE.2012.6227156},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/CaiC12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/CaiC11,
  author    = {Yan Cai and
               W. K. Chan},
  editor    = {Tadashi Dohi and
               Bojan Cukic},
  title     = {{LOFT:} Redundant Synchronization Event Removal for Data Race Detection},
  booktitle = {{IEEE} 22nd International Symposium on Software Reliability Engineering,
               {ISSRE} 2011, Hiroshima, Japan, November 29 - December 2, 2011},
  pages     = {160--169},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {https://doi.org/10.1109/ISSRE.2011.12},
  doi       = {10.1109/ISSRE.2011.12},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/issre/CaiC11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics