@InProceedings{huang_et_al:LIPIcs:2017:7252,

  author = {Shiyou Huang and Jeff Huang},

  title = {{Speeding Up Maximal Causality Reduction with Static Dependency Analysis}},

  booktitle = {31st European Conference on Object-Oriented Programming (ECOOP 2017)},

  pages = {16:1--16:22},

  series = {Leibniz International Proceedings in Informatics (LIPIcs)},

  ISBN = {978-3-95977-035-4},

  ISSN = {1868-8969},

  year = {2017},

  volume = {74},

  editor = {Peter M{\"u}ller},

  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},

  address = {Dagstuhl, Germany},

  URL = {http://drops.dagstuhl.de/opus/volltexte/2017/7252},

  URN = {urn:nbn:de:0030-drops-72523},

  doi = {10.4230/LIPIcs.ECOOP.2017.16},

  annote = {Keywords: Model Checking, Dynamic Analysis, Program Dependency Analysis}

}