BibTeX records: Chao Wang 0001

download as .bib file

@article{DBLP:journals/tse/YiYGWLZ18,
  author    = {Qiuping Yi and
               Zijiang Yang and
               Shengjian Guo and
               Chao Wang and
               Jian Liu and
               Chen Zhao},
  title     = {Eliminating Path Redundancy via Postconditioned Symbolic Execution},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {44},
  number    = {1},
  pages     = {25--43},
  year      = {2018},
  url       = {https://doi.org/10.1109/TSE.2017.2659751},
  doi       = {10.1109/TSE.2017.2659751},
  timestamp = {Sat, 27 Jan 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tse/YiYGWLZ18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ZhangGSW18,
  author    = {Jun Zhang and
               Pengfei Gao and
               Fu Song and
               Chao Wang},
  title     = {SCInfer: Refinement-Based Verification of Software Countermeasures
               Against Side-Channel Attacks},
  booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
               2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
               UK, July 14-17, 2018, Proceedings, Part {II}},
  pages     = {157--177},
  year      = {2018},
  crossref  = {DBLP:conf/cav/2018-2},
  url       = {https://doi.org/10.1007/978-3-319-96142-2\_12},
  doi       = {10.1007/978-3-319-96142-2\_12},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/ZhangGSW18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WuGS018,
  author    = {Meng Wu and
               Shengjian Guo and
               Patrick Schaumont and
               Chao Wang},
  title     = {Eliminating timing side-channel leaks using program repair},
  booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
               Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
               July 16-21, 2018},
  pages     = {15--26},
  year      = {2018},
  crossref  = {DBLP:conf/issta/2018},
  url       = {https://doi.org/10.1145/3213846.3213851},
  doi       = {10.1145/3213846.3213851},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issta/WuGS018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SungLEW18,
  author    = {Chungha Sung and
               Shuvendu K. Lahiri and
               Constantin Enea and
               Chao Wang},
  title     = {Datalog-based scalable semantic diffing of concurrent programs},
  booktitle = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated
               Software Engineering, {ASE} 2018, Montpellier, France, September 3-7,
               2018},
  pages     = {656--666},
  year      = {2018},
  crossref  = {DBLP:conf/kbse/2018},
  url       = {https://doi.org/10.1145/3238147.3238211},
  doi       = {10.1145/3238147.3238211},
  timestamp = {Wed, 21 Nov 2018 12:44:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/SungLEW18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SungPW18,
  author    = {Chungha Sung and
               Brandon Paulsen and
               Chao Wang},
  title     = {{CANAL:} a cache timing analysis framework via {LLVM} transformation},
  booktitle = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated
               Software Engineering, {ASE} 2018, Montpellier, France, September 3-7,
               2018},
  pages     = {904--907},
  year      = {2018},
  crossref  = {DBLP:conf/kbse/2018},
  url       = {https://doi.org/10.1145/3238147.3240485},
  doi       = {10.1145/3238147.3240485},
  timestamp = {Wed, 21 Nov 2018 12:44:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/SungPW18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GuoWW18,
  author    = {Shengjian Guo and
               Meng Wu and
               Chao Wang},
  title     = {Adversarial symbolic execution for detecting concurrency-related cache
               timing leaks},
  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     = {377--388},
  year      = {2018},
  crossref  = {DBLP:conf/sigsoft/2018},
  url       = {https://doi.org/10.1145/3236024.3236028},
  doi       = {10.1145/3236024.3236028},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/GuoWW18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2018,
  editor    = {Shuvendu K. Lahiri and
               Chao Wang},
  title     = {Automated Technology for Verification and Analysis - 16th International
               Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11138},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-01090-4},
  doi       = {10.1007/978-3-030-01090-4},
  isbn      = {978-3-030-01089-8},
  timestamp = {Mon, 01 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-02444,
  author    = {Meng Wu and
               Shengjian Guo and
               Patrick Schaumont and
               Chao Wang},
  title     = {Eliminating Timing Side-Channel Leaks using Program Repair},
  journal   = {CoRR},
  volume    = {abs/1806.02444},
  year      = {2018},
  url       = {http://arxiv.org/abs/1806.02444},
  archivePrefix = {arXiv},
  eprint    = {1806.02444},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1806-02444},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-03280,
  author    = {Shengjian Guo and
               Meng Wu and
               Chao Wang},
  title     = {Adversarial Symbolic Execution for Detecting Concurrency-Related Cache
               Timing Leaks},
  journal   = {CoRR},
  volume    = {abs/1807.03280},
  year      = {2018},
  url       = {http://arxiv.org/abs/1807.03280},
  archivePrefix = {arXiv},
  eprint    = {1807.03280},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1807-03280},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-03329,
  author    = {Chungha Sung and
               Brandon Paulsen and
               Chao Wang},
  title     = {{CANAL:} {A} Cache Timing Analysis Framework via {LLVM} Transformation},
  journal   = {CoRR},
  volume    = {abs/1807.03329},
  year      = {2018},
  url       = {http://arxiv.org/abs/1807.03329},
  archivePrefix = {arXiv},
  eprint    = {1807.03329},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1807-03329},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/WangS17,
  author    = {Chao Wang and
               Patrick Schaumont},
  title     = {Security by compilation: an automated approach to comprehensive side-channel
               resistance},
  journal   = {{SIGLOG} News},
  volume    = {4},
  number    = {2},
  pages     = {76--89},
  year      = {2017},
  url       = {https://dl.acm.org/citation.cfm?id=3090071},
  timestamp = {Wed, 05 Dec 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/siglog/WangS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/WuZWY17,
  author    = {Meng Wu and
               Haibo Zeng and
               Chao Wang and
               Huafeng Yu},
  title     = {Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical
               Systems: Invited},
  booktitle = {Proceedings of the 54th Annual Design Automation Conference, {DAC}
               2017, Austin, TX, USA, June 18-22, 2017},
  pages     = {84:1--84:6},
  year      = {2017},
  crossref  = {DBLP:conf/dac/2017},
  url       = {https://doi.org/10.1145/3061639.3072957},
  doi       = {10.1145/3061639.3072957},
  timestamp = {Tue, 06 Nov 2018 16:58:15 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/WuZWY17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZhangW17,
  author    = {Lu Zhang and
               Chao Wang},
  title     = {RClassify: classifying race conditions in web applications via deterministic
               replay},
  booktitle = {Proceedings of the 39th International Conference on Software Engineering,
               {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017},
  pages     = {278--288},
  year      = {2017},
  crossref  = {DBLP:conf/icse/2017},
  url       = {https://doi.org/10.1109/ICSE.2017.33},
  doi       = {10.1109/ICSE.2017.33},
  timestamp = {Wed, 01 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/ZhangW17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SungKW17,
  author    = {Chungha Sung and
               Markus Kusano and
               Chao Wang},
  title     = {Modular verification of interrupt-driven 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     = {206--216},
  year      = {2017},
  crossref  = {DBLP:conf/kbse/2017},
  url       = {https://doi.org/10.1109/ASE.2017.8115634},
  doi       = {10.1109/ASE.2017.8115634},
  timestamp = {Fri, 01 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/SungKW17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ChengYW17,
  author    = {Lin Cheng and
               Zijiang Yang and
               Chao Wang},
  title     = {Systematic reduction of {GUI} test sequences},
  booktitle = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
               Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
               03, 2017},
  pages     = {849--860},
  year      = {2017},
  crossref  = {DBLP:conf/kbse/2017},
  url       = {https://doi.org/10.1109/ASE.2017.8115696},
  doi       = {10.1109/ASE.2017.8115696},
  timestamp = {Fri, 01 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/ChengYW17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GuoWW17,
  author    = {Shengjian Guo and
               Meng Wu and
               Chao Wang},
  title     = {Symbolic execution of programmable logic controller code},
  booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
               Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
  pages     = {326--336},
  year      = {2017},
  crossref  = {DBLP:conf/sigsoft/2017},
  url       = {https://doi.org/10.1145/3106237.3106245},
  doi       = {10.1145/3106237.3106245},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/GuoWW17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KusanoW17,
  author    = {Markus Kusano and
               Chao Wang},
  title     = {Thread-modular static analysis for relaxed memory models},
  booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
               Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
  pages     = {337--348},
  year      = {2017},
  crossref  = {DBLP:conf/sigsoft/2017},
  url       = {https://doi.org/10.1145/3106237.3106243},
  doi       = {10.1145/3106237.3106243},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/KusanoW17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/YuZW17,
  author    = {Tingting Yu and
               Tarannum S. Zaman and
               Chao Wang},
  title     = {{DESCRY:} reproducing system-level concurrency failures},
  booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
               Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
  pages     = {694--704},
  year      = {2017},
  crossref  = {DBLP:conf/sigsoft/2017},
  url       = {https://doi.org/10.1145/3106237.3106266},
  doi       = {10.1145/3106237.3106266},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/YuZW17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-10077,
  author    = {Markus Kusano and
               Chao Wang},
  title     = {Thread-Modular Static Analysis for Relaxed Memory Models},
  journal   = {CoRR},
  volume    = {abs/1709.10077},
  year      = {2017},
  url       = {http://arxiv.org/abs/1709.10077},
  archivePrefix = {arXiv},
  eprint    = {1709.10077},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1709-10077},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-10078,
  author    = {Chungha Sung and
               Markus Kusano and
               Chao Wang},
  title     = {Modular Verification of Interrupt-Driven Software},
  journal   = {CoRR},
  volume    = {abs/1709.10078},
  year      = {2017},
  url       = {http://arxiv.org/abs/1709.10078},
  archivePrefix = {arXiv},
  eprint    = {1709.10078},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1709-10078},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-10116,
  author    = {Markus Kusano and
               Chao Wang},
  title     = {Flow-Sensitive Composition of Thread-Modular Abstract Interpretation},
  journal   = {CoRR},
  volume    = {abs/1709.10116},
  year      = {2017},
  url       = {http://arxiv.org/abs/1709.10116},
  archivePrefix = {arXiv},
  eprint    = {1709.10116},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1709-10116},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BefroueiWW16,
  author    = {Mitra Tabaei Befrouei and
               Chao Wang and
               Georg Weissenbacher},
  title     = {Abstraction and mining of traces to explain concurrency bugs},
  journal   = {Formal Methods in System Design},
  volume    = {49},
  number    = {1-2},
  pages     = {1--32},
  year      = {2016},
  url       = {https://doi.org/10.1007/s10703-015-0240-5},
  doi       = {10.1007/s10703-015-0240-5},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/fmsd/BefroueiWW16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AdhikariSWLZ16,
  author    = {Kiran Adhikari and
               James Street and
               Chao Wang and
               Yang Liu and
               Shao Jie Zhang},
  title     = {Verifying a quantitative relaxation of linearizability via refinement},
  journal   = {{STTT}},
  volume    = {18},
  number    = {4},
  pages     = {393--407},
  year      = {2016},
  url       = {https://doi.org/10.1007/s10009-015-0373-2},
  doi       = {10.1007/s10009-015-0373-2},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/AdhikariSWLZ16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EldibWW16,
  author    = {Hassan Eldib and
               Meng Wu and
               Chao Wang},
  title     = {Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits},
  booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
               2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
  pages     = {343--363},
  year      = {2016},
  crossref  = {DBLP:conf/cav/2016-2},
  url       = {https://doi.org/10.1007/978-3-319-41540-6\_19},
  doi       = {10.1007/978-3-319-41540-6\_19},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/EldibWW16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GuoKW16,
  author    = {Shengjian Guo and
               Markus Kusano and
               Chao Wang},
  title     = {Conc-iSE: incremental symbolic execution of concurrent software},
  booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
               Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
  pages     = {531--542},
  year      = {2016},
  crossref  = {DBLP:conf/kbse/2016},
  url       = {https://doi.org/10.1145/2970276.2970332},
  doi       = {10.1145/2970276.2970332},
  timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/GuoKW16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ChengCYW16,
  author    = {Lin Cheng and
               Jialiang Chang and
               Zijiang Yang and
               Chao Wang},
  title     = {GUICat: {GUI} testing as a service},
  booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
               Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
  pages     = {858--863},
  year      = {2016},
  crossref  = {DBLP:conf/kbse/2016},
  url       = {https://doi.org/10.1145/2970276.2970294},
  doi       = {10.1145/2970276.2970294},
  timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/ChengCYW16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/WuZW16,
  author    = {Meng Wu and
               Haibo Zeng and
               Chao Wang},
  title     = {Synthesizing Runtime Enforcer of Safety Properties Under Burst Error},
  booktitle = {{NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis,
               MN, USA, June 7-9, 2016, Proceedings},
  pages     = {65--81},
  year      = {2016},
  crossref  = {DBLP:conf/nfm/2016},
  url       = {https://doi.org/10.1007/978-3-319-40648-0\_6},
  doi       = {10.1007/978-3-319-40648-0\_6},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/WuZW16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SungKS016,
  author    = {Chungha Sung and
               Markus Kusano and
               Nishant Sinha and
               Chao Wang},
  title     = {Static {DOM} event dependency analysis for testing web applications},
  booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
               November 13-18, 2016},
  pages     = {447--459},
  year      = {2016},
  crossref  = {DBLP:conf/sigsoft/2016},
  url       = {https://doi.org/10.1145/2950290.2950292},
  doi       = {10.1145/2950290.2950292},
  timestamp = {Tue, 06 Nov 2018 16:59:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/SungKS016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Kusano016,
  author    = {Markus Kusano and
               Chao Wang},
  title     = {Flow-sensitive composition of thread-modular abstract interpretation},
  booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
               November 13-18, 2016},
  pages     = {799--809},
  year      = {2016},
  crossref  = {DBLP:conf/sigsoft/2016},
  url       = {https://doi.org/10.1145/2950290.2950291},
  doi       = {10.1145/2950290.2950291},
  timestamp = {Tue, 06 Nov 2018 16:59:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/Kusano016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/EldibWTS15,
  author    = {Hassan Eldib and
               Chao Wang and
               Mostafa M. I. Taha and
               Patrick Schaumont},
  title     = {Quantitative Masking Strength: Quantifying the Power Side-Channel
               Resistance of Software Code},
  journal   = {{IEEE} Trans. on {CAD} of Integrated Circuits and Systems},
  volume    = {34},
  number    = {10},
  pages     = {1558--1568},
  year      = {2015},
  url       = {https://doi.org/10.1109/TCAD.2015.2424951},
  doi       = {10.1109/TCAD.2015.2424951},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcad/EldibWTS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/YiYLZW15,
  author    = {Qiuping Yi and
               Zijiang Yang and
               Jian Liu and
               Chen Zhao and
               Chao Wang},
  title     = {Explaining Software Failures by Cascade Fault Localization},
  journal   = {{ACM} Trans. Design Autom. Electr. Syst.},
  volume    = {20},
  number    = {3},
  pages     = {41:1--41:28},
  year      = {2015},
  url       = {https://doi.org/10.1145/2738038},
  doi       = {10.1145/2738038},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/todaes/YiYLZW15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ZhangCW15,
  author    = {Lu Zhang and
               Arijit Chattopadhyay and
               Chao Wang},
  title     = {Round-Up: Runtime Verification of Quasi Linearizability for Concurrent
               Data Structures},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {41},
  number    = {12},
  pages     = {1202--1216},
  year      = {2015},
  url       = {https://doi.org/10.1109/TSE.2015.2467371},
  doi       = {10.1109/TSE.2015.2467371},
  timestamp = {Wed, 01 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tse/ZhangCW15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/YiYLZW15,
  author    = {Qiuping Yi and
               Zijiang Yang and
               Jian Liu and
               Chen Zhao and
               Chao Wang},
  title     = {A Synergistic Analysis Method for Explaining Failed Regression Tests},
  booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
               {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},
  pages     = {257--267},
  year      = {2015},
  crossref  = {DBLP:conf/icse/2015-1},
  url       = {https://doi.org/10.1109/ICSE.2015.46},
  doi       = {10.1109/ICSE.2015.46},
  timestamp = {Sat, 27 Jan 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/YiYLZW15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KusanoCW15,
  author    = {Markus Kusano and
               Arijit Chattopadhyay and
               Chao Wang},
  title     = {Dynamic Generation of Likely Invariants for Multithreaded Programs},
  booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
               {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},
  pages     = {835--846},
  year      = {2015},
  crossref  = {DBLP:conf/icse/2015-1},
  url       = {https://doi.org/10.1109/ICSE.2015.95},
  doi       = {10.1109/ICSE.2015.95},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/KusanoCW15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/YiYGWLZ15,
  author    = {Qiuping Yi and
               Zijiang Yang and
               Shengjian Guo and
               Chao Wang and
               Jian Liu and
               Chen Zhao},
  title     = {Postconditioned Symbolic Execution},
  booktitle = {8th {IEEE} International Conference on Software Testing, Verification
               and Validation, {ICST} 2015, Graz, Austria, April 13-17, 2015},
  pages     = {1--10},
  year      = {2015},
  crossref  = {DBLP:conf/icst/2015},
  url       = {https://doi.org/10.1109/ICST.2015.7102601},
  doi       = {10.1109/ICST.2015.7102601},
  timestamp = {Sat, 27 Jan 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icst/YiYGWLZ15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KhoshnoodKW15,
  author    = {Sepideh Khoshnood and
               Markus Kusano and
               Chao Wang},
  title     = {ConcBugAssist: constraint solving for diagnosis and repair of concurrency
               bugs},
  booktitle = {Proceedings of the 2015 International Symposium on Software Testing
               and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages     = {165--176},
  year      = {2015},
  crossref  = {DBLP:conf/issta/2015},
  url       = {https://doi.org/10.1145/2771783.2771798},
  doi       = {10.1145/2771783.2771798},
  timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issta/KhoshnoodKW15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZhangKW15,
  author    = {Naling Zhang and
               Markus Kusano and
               Chao Wang},
  title     = {Dynamic partial order reduction for relaxed memory models},
  booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, Portland, OR, USA, June 15-17,
               2015},
  pages     = {250--259},
  year      = {2015},
  crossref  = {DBLP:conf/pldi/2015},
  url       = {https://doi.org/10.1145/2737924.2737956},
  doi       = {10.1145/2737924.2737956},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/ZhangKW15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GuoKWYG15,
  author    = {Shengjian Guo and
               Markus Kusano and
               Chao Wang and
               Zijiang Yang and
               Aarti Gupta},
  title     = {Assertion guided symbolic execution of multithreaded 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     = {854--865},
  year      = {2015},
  crossref  = {DBLP:conf/sigsoft/2015},
  url       = {https://doi.org/10.1145/2786805.2786841},
  doi       = {10.1145/2786805.2786841},
  timestamp = {Tue, 06 Nov 2018 16:59:22 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/GuoKWYG15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BloemKKW15,
  author    = {Roderick Bloem and
               Bettina K{\"{o}}nighofer and
               Robert K{\"{o}}nighofer and
               Chao Wang},
  title     = {Shield Synthesis: - Runtime Enforcement for Reactive Systems},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 21st International Conference, {TACAS} 2015, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2015, London, UK, April 11-18, 2015. Proceedings},
  pages     = {533--548},
  year      = {2015},
  crossref  = {DBLP:conf/tacas/2015},
  url       = {https://doi.org/10.1007/978-3-662-46681-0\_51},
  doi       = {10.1007/978-3-662-46681-0\_51},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/BloemKKW15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BloemKKW15,
  author    = {Roderick Bloem and
               Bettina K{\"{o}}nighofer and
               Robert K{\"{o}}nighofer and
               Chao Wang},
  title     = {Shield Synthesis: Runtime Enforcement for Reactive Systems},
  journal   = {CoRR},
  volume    = {abs/1501.02573},
  year      = {2015},
  url       = {http://arxiv.org/abs/1501.02573},
  archivePrefix = {arXiv},
  eprint    = {1501.02573},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BloemKKW15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/EldibW14,
  author    = {Hassan Eldib and
               Chao Wang},
  title     = {An {SMT} Based Method for Optimizing Arithmetic Computations in Embedded
               Software Code},
  journal   = {{IEEE} Trans. on {CAD} of Integrated Circuits and Systems},
  volume    = {33},
  number    = {11},
  pages     = {1611--1622},
  year      = {2014},
  url       = {https://doi.org/10.1109/TCAD.2014.2341931},
  doi       = {10.1109/TCAD.2014.2341931},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcad/EldibW14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/EldibWS14,
  author    = {Hassan Eldib and
               Chao Wang and
               Patrick Schaumont},
  title     = {Formal Verification of Software Countermeasures against Side-Channel
               Attacks},
  journal   = {{ACM} Trans. Softw. Eng. Methodol.},
  volume    = {24},
  number    = {2},
  pages     = {11:1--11:24},
  year      = {2014},
  url       = {https://doi.org/10.1145/2685616},
  doi       = {10.1145/2685616},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tosem/EldibWS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/EldibW14,
  author    = {Hassan Eldib and
               Chao Wang},
  title     = {Synthesis of Masking Countermeasures against Side Channel Attacks},
  booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
               2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
               Austria, July 18-22, 2014. Proceedings},
  pages     = {114--130},
  year      = {2014},
  crossref  = {DBLP:conf/cav/2014},
  url       = {https://doi.org/10.1007/978-3-319-08867-9\_8},
  doi       = {10.1007/978-3-319-08867-9\_8},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/EldibW14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/EldibWTS14,
  author    = {Hassan Eldib and
               Chao Wang and
               Mostafa M. I. Taha and
               Patrick Schaumont},
  title     = {{QMS:} Evaluating the Side-Channel Resistance of Masked Software from
               Source Code},
  booktitle = {The 51st Annual Design Automation Conference 2014, {DAC} '14, San
               Francisco, CA, USA, June 1-5, 2014},
  pages     = {209:1--209:6},
  year      = {2014},
  crossref  = {DBLP:conf/dac/2014},
  url       = {https://doi.org/10.1145/2593069.2593193},
  doi       = {10.1145/2593069.2593193},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/EldibWTS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ZhangW14,
  author    = {Lu Zhang and
               Chao Wang},
  title     = {Runtime prevention of concurrency related type-state violations in
               multithreaded applications},
  booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
               '14, San Jose, CA, {USA} - July 21 - 26, 2014},
  pages     = {1--12},
  year      = {2014},
  crossref  = {DBLP:conf/issta/2014},
  url       = {https://doi.org/10.1145/2610384.2610405},
  doi       = {10.1145/2610384.2610405},
  timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issta/ZhangW14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KusanoW14,
  author    = {Markus Kusano and
               Chao Wang},
  title     = {Assertion guided abstraction: a cooperative optimization for dynamic
               partial order reduction},
  booktitle = {{ACM/IEEE} International Conference on Automated Software Engineering,
               {ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
  pages     = {175--186},
  year      = {2014},
  crossref  = {DBLP:conf/kbse/2014},
  url       = {https://doi.org/10.1145/2642937.2642998},
  doi       = {10.1145/2642937.2642998},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/KusanoW14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BefroueiWW14,
  author    = {Mitra Tabaei Befrouei and
               Chao Wang and
               Georg Weissenbacher},
  title     = {Abstraction and Mining of Traces to Explain Concurrency Bugs},
  booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
               ON, Canada, September 22-25, 2014. Proceedings},
  pages     = {162--177},
  year      = {2014},
  crossref  = {DBLP:conf/rv/2014},
  url       = {https://doi.org/10.1007/978-3-319-11164-3\_14},
  doi       = {10.1007/978-3-319-11164-3\_14},
  timestamp = {Tue, 30 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/BefroueiWW14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/EldibWS14,
  author    = {Hassan Eldib and
               Chao Wang and
               Patrick Schaumont},
  title     = {SMT-Based Verification of Software Countermeasures against Side-Channel
               Attacks},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 20th International Conference, {TACAS} 2014, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2014, Grenoble, France, April 5-13, 2014. Proceedings},
  pages     = {62--77},
  year      = {2014},
  crossref  = {DBLP:conf/tacas/2014},
  url       = {https://doi.org/10.1007/978-3-642-54862-8\_5},
  doi       = {10.1007/978-3-642-54862-8\_5},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/EldibWS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/WangH14,
  author    = {Chao Wang and
               Kevin Hoang},
  title     = {Precisely Deciding Control State Reachability in Concurrent Traces
               with Limited Observability},
  booktitle = {Verification, Model Checking, and Abstract Interpretation - 15th International
               Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014,
               Proceedings},
  pages     = {376--394},
  year      = {2014},
  crossref  = {DBLP:conf/vmcai/2014},
  url       = {https://doi.org/10.1007/978-3-642-54013-4\_21},
  doi       = {10.1007/978-3-642-54013-4\_21},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/WangH14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csiirw/DesaiHWNH13,
  author    = {Avinash R. Desai and
               Michael S. Hsiao and
               Chao Wang and
               Leyla Nazhandali and
               Simin Hall},
  title     = {Interlocking obfuscation for anti-tamper hardware},
  booktitle = {Cyber Security and Information Intelligence, {CSIIRW} '13, Oak Ridge,
               TN, USA, January 8-10, 2013},
  pages     = {8},
  year      = {2013},
  crossref  = {DBLP:conf/csiirw/2013},
  url       = {https://doi.org/10.1145/2459976.2459985},
  doi       = {10.1145/2459976.2459985},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/csiirw/DesaiHWNH13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/EldibW13,
  author    = {Hassan Eldib and
               Chao Wang},
  title     = {An {SMT} based method for optimizing arithmetic computations in embedded
               software code},
  booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
               USA, October 20-23, 2013},
  pages     = {129--136},
  year      = {2013},
  crossref  = {DBLP:conf/fmcad/2013},
  url       = {http://ieeexplore.ieee.org/document/6679401/},
  timestamp = {Sun, 30 Apr 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/EldibW13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/MoudgilGNHWH13,
  author    = {Rashmi Moudgil and
               Dinesh Ganta and
               Leyla Nazhandali and
               Michael S. Hsiao and
               Chao Wang and
               Simin Hall},
  title     = {A novel statistical and circuit-based technique for counterfeit detection
               in existing ICs},
  booktitle = {Great Lakes Symposium on {VLSI} 2013 (part of ECRC), GLSVLSI'13, Paris,
               France, May 2-4, 2013},
  pages     = {1--6},
  year      = {2013},
  crossref  = {DBLP:conf/glvlsi/2013},
  url       = {https://doi.org/10.1145/2483028.2483049},
  doi       = {10.1145/2483028.2483049},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/glvlsi/MoudgilGNHWH13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ZhangCW13,
  author    = {Lu Zhang and
               Arijit Chattopadhyay and
               Chao Wang},
  title     = {Round-up: Runtime checking quasi linearizability of concurrent data
               structures},
  booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
               Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
               2013},
  pages     = {4--14},
  year      = {2013},
  crossref  = {DBLP:conf/kbse/2013},
  url       = {https://doi.org/10.1109/ASE.2013.6693061},
  doi       = {10.1109/ASE.2013.6693061},
  timestamp = {Wed, 01 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/ZhangCW13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KusanoW13,
  author    = {Markus Kusano and
               Chao Wang},
  title     = {CCmutator: {A} mutation generator for concurrency constructs in multithreaded
               {C/C++} applications},
  booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
               Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
               2013},
  pages     = {722--725},
  year      = {2013},
  crossref  = {DBLP:conf/kbse/2013},
  url       = {https://doi.org/10.1109/ASE.2013.6693142},
  doi       = {10.1109/ASE.2013.6693142},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/KusanoW13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/LiW13,
  author    = {Lixin Li and
               Chao Wang},
  title     = {Dynamic Analysis and Debugging of Binary Code for Security Applications},
  booktitle = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
               France, September 24-27, 2013. Proceedings},
  pages     = {403--423},
  year      = {2013},
  crossref  = {DBLP:conf/rv/2013},
  url       = {https://doi.org/10.1007/978-3-642-40787-1\_31},
  doi       = {10.1007/978-3-642-40787-1\_31},
  timestamp = {Wed, 17 May 2017 14:24:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/LiW13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/AdhikariSWLZ13,
  author    = {Kiran Adhikari and
               James Street and
               Chao Wang and
               Yang Liu and
               Shao Jie Zhang},
  title     = {Verifying a Quantitative Relaxation of Linearizability via Refinement},
  booktitle = {Model Checking Software - 20th International Symposium, {SPIN} 2013,
               Stony Brook, NY, USA, July 8-9, 2013. Proceedings},
  pages     = {24--42},
  year      = {2013},
  crossref  = {DBLP:conf/spin/2013},
  url       = {https://doi.org/10.1007/978-3-642-39176-7\_3},
  doi       = {10.1007/978-3-642-39176-7\_3},
  timestamp = {Wed, 17 May 2017 14:24:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/AdhikariSWLZ13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KahlonW12,
  author    = {Vineet Kahlon and
               Chao Wang},
  title     = {Lock Removal for Concurrent Trace Programs},
  booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
               2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
  pages     = {227--242},
  year      = {2012},
  crossref  = {DBLP:conf/cav/2012},
  url       = {https://doi.org/10.1007/978-3-642-31424-7\_20},
  doi       = {10.1007/978-3-642-31424-7\_20},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/KahlonW12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/WangKLGG11,
  author    = {Chao Wang and
               Sudipta Kundu and
               Rhishikesh Limaye and
               Malay K. Ganai and
               Aarti Gupta},
  title     = {Symbolic predictive analysis for concurrent programs},
  journal   = {Formal Asp. Comput.},
  volume    = {23},
  number    = {6},
  pages     = {781--805},
  year      = {2011},
  url       = {https://doi.org/10.1007/s00165-011-0179-2},
  doi       = {10.1007/s00165-011-0179-2},
  timestamp = {Wed, 09 Aug 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fac/WangKLGG11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/SinhaMWG11,
  author    = {Arnab Sinha and
               Sharad Malik and
               Chao Wang and
               Aarti Gupta},
  title     = {Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based
               Search},
  booktitle = {Hardware and Software: Verification and Testing - 7th International
               Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
               6-8, 2011, Revised Selected Papers},
  pages     = {95--114},
  year      = {2011},
  crossref  = {DBLP:conf/hvc/2011},
  url       = {https://doi.org/10.1007/978-3-642-34188-5\_11},
  doi       = {10.1007/978-3-642-34188-5\_11},
  timestamp = {Fri, 19 May 2017 01:26:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hvc/SinhaMWG11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/WangSG11,
  author    = {Chao Wang and
               Mahmoud Said and
               Aarti Gupta},
  title     = {Coverage guided systematic concurrency testing},
  booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
               {ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
  pages     = {221--230},
  year      = {2011},
  crossref  = {DBLP:conf/icse/2011},
  url       = {https://doi.org/10.1145/1985793.1985824},
  doi       = {10.1145/1985793.1985824},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/WangSG11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GanaiAWGB11,
  author    = {Malay K. Ganai and
               Nipun Arora and
               Chao Wang and
               Aarti Gupta and
               Gogul Balakrishnan},
  title     = {{BEST:} {A} symbolic testing tool for predicting multi-threaded program
               failures},
  booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
               {(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
  pages     = {596--599},
  year      = {2011},
  crossref  = {DBLP:conf/kbse/2011},
  url       = {https://doi.org/10.1109/ASE.2011.6100134},
  doi       = {10.1109/ASE.2011.6100134},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/GanaiAWGB11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/SinhaMWG11,
  author    = {Arnab Sinha and
               Sharad Malik and
               Chao Wang and
               Aarti Gupta},
  title     = {Predictive analysis for detecting serializability violations through
               Trace Segmentation},
  booktitle = {9th {IEEE/ACM} International Conference on Formal Methods and Models
               for Codesign, {MEMOCODE} 2011, Cambridge, UK, 11-13 July, 2011},
  pages     = {99--108},
  year      = {2011},
  crossref  = {DBLP:conf/memocode/2011},
  url       = {https://doi.org/10.1109/MEMCOD.2011.5970516},
  doi       = {10.1109/MEMCOD.2011.5970516},
  timestamp = {Thu, 14 Mar 2019 18:02:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/memocode/SinhaMWG11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/SaidWYS11,
  author    = {Mahmoud Said and
               Chao Wang and
               Zijiang Yang and
               Karem A. Sakallah},
  title     = {Generating Data Race Witnesses by an SMT-Based Analysis},
  booktitle = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
               Pasadena, CA, USA, April 18-20, 2011. Proceedings},
  pages     = {313--327},
  year      = {2011},
  crossref  = {DBLP:conf/nfm/2011},
  url       = {https://doi.org/10.1007/978-3-642-20398-5\_23},
  doi       = {10.1007/978-3-642-20398-5\_23},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/SaidWYS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SinhaW11,
  author    = {Nishant Sinha and
               Chao Wang},
  title     = {On interference abstractions},
  booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
               2011},
  pages     = {423--434},
  year      = {2011},
  crossref  = {DBLP:conf/popl/2011},
  url       = {https://doi.org/10.1145/1926385.1926433},
  doi       = {10.1145/1926385.1926433},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/SinhaW11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/WangG11,
  author    = {Chao Wang and
               Malay K. Ganai},
  title     = {Predicting Concurrency Failures in the Generalized Execution Traces
               of x86 Executables},
  booktitle = {Runtime Verification - Second International Conference, {RV} 2011,
               San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
  pages     = {4--18},
  year      = {2011},
  crossref  = {DBLP:conf/rv/2011},
  url       = {https://doi.org/10.1007/978-3-642-29860-8\_2},
  doi       = {10.1007/978-3-642-29860-8\_2},
  timestamp = {Wed, 17 May 2017 14:24:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/WangG11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KunduGW10,
  author    = {Sudipta Kundu and
               Malay K. Ganai and
               Chao Wang},
  title     = {Contessa: Concurrency Testing Augmented with Symbolic Analysis},
  booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
               2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
  pages     = {127--131},
  year      = {2010},
  crossref  = {DBLP:conf/cav/2010},
  url       = {https://doi.org/10.1007/978-3-642-14295-6\_13},
  doi       = {10.1007/978-3-642-14295-6\_13},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/KunduGW10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KahlonW10,
  author    = {Vineet Kahlon and
               Chao Wang},
  title     = {Universal Causality Graphs: {A} Precise Happens-Before Model for Detecting
               Bugs in Concurrent Programs},
  booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
               2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
  pages     = {434--449},
  year      = {2010},
  crossref  = {DBLP:conf/cav/2010},
  url       = {https://doi.org/10.1007/978-3-642-14295-6\_39},
  doi       = {10.1007/978-3-642-14295-6\_39},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/KahlonW10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BalakrishnanGGIKLMPSSW10,
  author    = {Gogul Balakrishnan and
               Malay K. Ganai and
               Aarti Gupta and
               Franjo Ivancic and
               Vineet Kahlon and
               Weihong Li and
               Naoto Maeda and
               Nadia Papakonstantinou and
               Sriram Sankaranarayanan and
               Nishant Sinha and
               Chao Wang},
  title     = {Scalable and precise program analysis at {NEC}},
  booktitle = {Proceedings of 10th International Conference on Formal Methods in
               Computer-Aided Design, {FMCAD} 2010, Lugano, Switzerland, October
               20-23},
  pages     = {273--274},
  year      = {2010},
  crossref  = {DBLP:conf/fmcad/2010},
  url       = {http://ieeexplore.ieee.org/document/5770960/},
  timestamp = {Wed, 29 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/BalakrishnanGGIKLMPSSW10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/GanaiWL10,
  author    = {Malay K. Ganai and
               Chao Wang and
               Weihong Li},
  title     = {Efficient state space exploration: Interleaving stateless and state-based
               model checking},
  booktitle = {2010 International Conference on Computer-Aided Design, {ICCAD} 2010,
               San Jose, CA, USA, November 7-11, 2010},
  pages     = {786--793},
  year      = {2010},
  crossref  = {DBLP:conf/iccad/2010},
  url       = {https://doi.org/10.1109/ICCAD.2010.5653863},
  doi       = {10.1109/ICCAD.2010.5653863},
  timestamp = {Mon, 11 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/GanaiWL10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/GanaiW10,
  author    = {Malay K. Ganai and
               Chao Wang},
  title     = {Interval Analysis for Concurrent Trace Programs Using Transaction
               Sequence Graphs},
  booktitle = {Runtime Verification - First International Conference, {RV} 2010,
               St. Julians, Malta, November 1-4, 2010. Proceedings},
  pages     = {253--269},
  year      = {2010},
  crossref  = {DBLP:conf/rv/2010},
  url       = {https://doi.org/10.1007/978-3-642-16612-9\_20},
  doi       = {10.1007/978-3-642-16612-9\_20},
  timestamp = {Wed, 17 May 2017 14:24:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/GanaiW10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SinhaW10,
  author    = {Nishant Sinha and
               Chao Wang},
  title     = {Staged concurrent program analysis},
  booktitle = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
               7-11, 2010},
  pages     = {47--56},
  year      = {2010},
  crossref  = {DBLP:conf/sigsoft/2010},
  url       = {https://doi.org/10.1145/1882291.1882301},
  doi       = {10.1145/1882291.1882301},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/SinhaW10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WangLGG10,
  author    = {Chao Wang and
               Rhishikesh Limaye and
               Malay K. Ganai and
               Aarti Gupta},
  title     = {Trace-Based Symbolic Analysis for Atomicity Violations},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               16th International Conference, {TACAS} 2010, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2010,
               Paphos, Cyprus, March 20-28, 2010. Proceedings},
  pages     = {328--342},
  year      = {2010},
  crossref  = {DBLP:conf/tacas/2010},
  url       = {https://doi.org/10.1007/978-3-642-12002-2\_27},
  doi       = {10.1007/978-3-642-12002-2\_27},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/WangLGG10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/YangWGI09,
  author    = {Zijiang Yang and
               Chao Wang and
               Aarti Gupta and
               Franjo Ivancic},
  title     = {Model checking sequential software programs via mixed symbolic analysis},
  journal   = {{ACM} Trans. Design Autom. Electr. Syst.},
  volume    = {14},
  number    = {1},
  pages     = {10:1--10:26},
  year      = {2009},
  url       = {https://doi.org/10.1145/1455229.1455239},
  doi       = {10.1145/1455229.1455239},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/todaes/YangWGI09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KahlonWG09,
  author    = {Vineet Kahlon and
               Chao Wang and
               Aarti Gupta},
  title     = {Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order
               Reduction Technique},
  booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
               2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
  pages     = {398--413},
  year      = {2009},
  crossref  = {DBLP:conf/cav/2009},
  url       = {https://doi.org/10.1007/978-3-642-02658-4\_31},
  doi       = {10.1007/978-3-642-02658-4\_31},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/KahlonWG09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/WangKGG09,
  author    = {Chao Wang and
               Sudipta Kundu and
               Malay K. Ganai and
               Aarti Gupta},
  title     = {Symbolic Predictive Analysis for Concurrent Programs},
  booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
               November 2-6, 2009. Proceedings},
  pages     = {256--272},
  year      = {2009},
  crossref  = {DBLP:conf/fm/2009},
  url       = {https://doi.org/10.1007/978-3-642-05089-3\_17},
  doi       = {10.1007/978-3-642-05089-3\_17},
  timestamp = {Mon, 22 May 2017 17:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/WangKGG09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/WangCGY09,
  author    = {Chao Wang and
               Swarat Chaudhuri and
               Aarti Gupta and
               Yu Yang},
  title     = {Symbolic pruning of concurrent program executions},
  booktitle = {Proceedings of the 7th joint meeting of the European Software Engineering
               Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
               of Software Engineering, 2009, Amsterdam, The Netherlands, August
               24-28, 2009},
  pages     = {23--32},
  year      = {2009},
  crossref  = {DBLP:conf/sigsoft/2009},
  url       = {https://doi.org/10.1145/1595696.1595702},
  doi       = {10.1145/1595696.1595702},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/WangCGY09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/YangCGW09,
  author    = {Yu Yang and
               Xiaofang Chen and
               Ganesh Gopalakrishnan and
               Chao Wang},
  title     = {Automatic Discovery of Transition Symmetry in Multithreaded Programs
               Using Dynamic Analysis},
  booktitle = {Model Checking Software, 16th International {SPIN} Workshop, Grenoble,
               France, June 26-28, 2009. Proceedings},
  pages     = {279--295},
  year      = {2009},
  crossref  = {DBLP:conf/spin/2009},
  url       = {https://doi.org/10.1007/978-3-642-02652-2\_22},
  doi       = {10.1007/978-3-642-02652-2\_22},
  timestamp = {Wed, 17 May 2017 14:24:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/YangCGW09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/WangYGG08,
  author    = {Chao Wang and
               Yu Yang and
               Aarti Gupta and
               Ganesh Gopalakrishnan},
  title     = {Dynamic Model Checking with Property Driven Pruning to Detect Race
               Conditions},
  booktitle = {Automated Technology for Verification and Analysis, 6th International
               Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
  pages     = {126--140},
  year      = {2008},
  crossref  = {DBLP:conf/atva/2008},
  url       = {https://doi.org/10.1007/978-3-540-88387-6\_11},
  doi       = {10.1007/978-3-540-88387-6\_11},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/WangYGG08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/YuWGB08,
  author    = {Fang Yu and
               Chao Wang and
               Aarti Gupta and
               Tevfik Bultan},
  title     = {Modular verification of web services using efficient symbolic encoding
               and summarization},
  booktitle = {Proceedings of the 16th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, 2008, Atlanta, Georgia, USA,
               November 9-14, 2008},
  pages     = {192--202},
  year      = {2008},
  crossref  = {DBLP:conf/sigsoft/2008},
  url       = {https://doi.org/10.1145/1453101.1453127},
  doi       = {10.1145/1453101.1453127},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/YuWGB08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WangYKG08,
  author    = {Chao Wang and
               Zijiang Yang and
               Vineet Kahlon and
               Aarti Gupta},
  title     = {Peephole Partial Order Reduction},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               14th International Conference, {TACAS} 2008, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2008,
               Budapest, Hungary, March 29-April 6, 2008. Proceedings},
  pages     = {382--396},
  year      = {2008},
  crossref  = {DBLP:conf/tacas/2008},
  url       = {https://doi.org/10.1007/978-3-540-78800-3\_29},
  doi       = {10.1007/978-3-540-78800-3\_29},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/WangYKG08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/WangYIG07,
  author    = {Chao Wang and
               Zijiang Yang and
               Franjo Ivancic and
               Aarti Gupta},
  title     = {Disjunctive image computation for software verification},
  journal   = {{ACM} Trans. Design Autom. Electr. Syst.},
  volume    = {12},
  number    = {2},
  pages     = {10},
  year      = {2007},
  url       = {https://doi.org/10.1145/1230800.1230802},
  doi       = {10.1145/1230800.1230802},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/todaes/WangYIG07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/WangYGI07,
  author    = {Chao Wang and
               Zijiang Yang and
               Aarti Gupta and
               Franjo Ivancic},
  title     = {Using Counterexamples for Improving the Precision of Reachability
               Computation with Polyhedra},
  booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
               2007, Berlin, Germany, July 3-7, 2007, Proceedings},
  pages     = {352--365},
  year      = {2007},
  crossref  = {DBLP:conf/cav/2007},
  url       = {https://doi.org/10.1007/978-3-540-73368-3\_40},
  doi       = {10.1007/978-3-540-73368-3\_40},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/WangYGI07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/WangGI07,
  author    = {Chao Wang and
               Aarti Gupta and
               Franjo Ivancic},
  title     = {Induction in {CEGAR} for Detecting Counterexamples},
  booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
               {FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
  pages     = {77--84},
  year      = {2007},
  crossref  = {DBLP:conf/fmcad/2007},
  url       = {https://doi.org/10.1109/FAMCAD.2007.21},
  doi       = {10.1109/FAMCAD.2007.21},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/WangGI07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/WangKG07,
  author    = {Chao Wang and
               Hyondeuk Kim and
               Aarti Gupta},
  title     = {Hybrid {CEGAR:} combining variable hiding and predicate abstraction},
  booktitle = {2007 International Conference on Computer-Aided Design, {ICCAD} 2007,
               San Jose, CA, USA, November 5-8, 2007},
  pages     = {310--317},
  year      = {2007},
  crossref  = {DBLP:conf/iccad/2007},
  url       = {https://doi.org/10.1109/ICCAD.2007.4397283},
  doi       = {10.1109/ICCAD.2007.4397283},
  timestamp = {Mon, 11 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/WangKG07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/icas/WangHS06,
  author    = {Chao Wang and
               Gary D. Hachtel and
               Fabio Somenzi},
  title     = {Abstraction Refinement for Large Scale Model Checking},
  series    = {Series on Integrated Circuits and Systems},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/0-387-34600-7},
  doi       = {10.1007/0-387-34600-7},
  isbn      = {978-0-387-34155-2},
  timestamp = {Tue, 16 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/series/icas/WangHS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/WangBHRS06,
  author    = {Chao Wang and
               Roderick Bloem and
               Gary D. Hachtel and
               Kavita Ravi and
               Fabio Somenzi},
  title     = {Compositional {SCC} Analysis for Language Emptiness},
  journal   = {Formal Methods in System Design},
  volume    = {28},
  number    = {1},
  pages     = {5--36},
  year      = {2006},
  url       = {https://doi.org/10.1007/s10703-006-4617-3},
  doi       = {10.1007/s10703-006-4617-3},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/fmsd/WangBHRS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/WangLJHS06,
  author    = {Chao Wang and
               Bing Li and
               HoonSang Jin and
               Gary D. Hachtel and
               Fabio Somenzi},
  title     = {Improving Ariadne's Bundle by Following Multiple Threads in Abstraction
               Refinement},
  journal   = {{IEEE} Trans. on {CAD} of Integrated Circuits and Systems},
  volume    = {25},
  number    = {11},
  pages     = {2297--2316},
  year      = {2006},
  url       = {https://doi.org/10.1109/TCAD.2006.873897},
  doi       = {10.1109/TCAD.2006.873897},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcad/WangLJHS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/WangYIG06,
  author    = {Chao Wang and
               Zijiang Yang and
               Franjo Ivancic and
               Aarti Gupta},
  title     = {Whodunit? Causal Analysis for Counterexamples},
  booktitle = {Automated Technology for Verification and Analysis, 4th International
               Symposium, {ATVA} 2006, Beijing, China, October 23-26, 2006.},
  pages     = {82--95},
  year      = {2006},
  crossref  = {DBLP:conf/atva/2006},
  url       = {https://doi.org/10.1007/11901914\_9},
  doi       = {10.1007/11901914\_9},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/WangYIG06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JainIGSW06,
  author    = {Himanshu Jain and
               Franjo Ivancic and
               Aarti Gupta and
               Ilya Shlyakhter and
               Chao Wang},
  title     = {Using Statically Computed Invariants Inside the Predicate Abstraction
               and Refinement Loop},
  booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
               2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  pages     = {137--151},
  year      = {2006},
  crossref  = {DBLP:conf/cav/2006},
  url       = {https://doi.org/10.1007/11817963\_15},
  doi       = {10.1007/11817963\_15},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/JainIGSW06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/WangGG06,
  author    = {Chao Wang and
               Aarti Gupta and
               Malay K. Ganai},
  title     = {Predicate learning and selective theory deduction for a difference
               logic solver},
  booktitle = {Proceedings of the 43rd Design Automation Conference, {DAC} 2006,
               San Francisco, CA, USA, July 24-28, 2006},
  pages     = {235--240},
  year      = {2006},
  crossref  = {DBLP:conf/dac/2006},
  url       = {https://doi.org/10.1145/1146909.1146971},
  doi       = {10.1145/1146909.1146971},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/WangGG06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/WangYIG06,
  author    = {Chao Wang and
               Zijiang Yang and
               Franjo Ivancic and
               Aarti Gupta},
  title     = {Disjunctive image computation for embedded software verification},
  booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe,
               {DATE} 2006, Munich, Germany, March 6-10, 2006},
  pages     = {1205--1210},
  year      = {2006},
  crossref  = {DBLP:conf/date/2006p},
  url       = {https://doi.org/10.1109/DATE.2006.244049},
  doi       = {10.1109/DATE.2006.244049},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/date/WangYIG06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/YangWGI06,
  author    = {Zijiang Yang and
               Chao Wang and
               Aarti Gupta and
               Franjo Ivancic},
  title     = {Mixed symbolic representations for model checking software programs},
  booktitle = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
               and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
               Suites, Napa, California, {USA}},
  pages     = {17--26},
  year      = {2006},
  crossref  = {DBLP:conf/memocode/2006},
  url       = {https://doi.org/10.1109/MEMCOD.2006.1695896},
  doi       = {10.1109/MEMCOD.2006.1695896},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/memocode/YangWGI06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/GuptaGW06,
  author    = {Aarti Gupta and
               Malay K. Ganai and
               Chao Wang},
  title     = {SAT-Based Verification Methods and Applications in Hardware Verification},
  booktitle = {Formal Methods for Hardware Verification, 6th International School
               on Formal Methods for the Design of Computer, Communication, and Software
               Systems, {SFM} 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures},
  pages     = {108--143},
  year      = {2006},
  crossref  = {DBLP:conf/sfm/2006},
  url       = {https://doi.org/10.1007/11757283\_5},
  doi       = {10.1007/11757283\_5},
  timestamp = {Wed, 25 Jul 2018 16:50:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sfm/GuptaGW06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/LiWS05,
  author    = {Bing Li and
               Chao Wang and
               Fabio Somenzi},
  title     = {Abstraction refinement in symbolic model checking using satisfiability
               as the only decision procedure},
  journal   = {{STTT}},
  volume    = {7},
  number    = {2},
  pages     = {143--155},
  year      = {2005},
  url       = {https://doi.org/10.1007/s10009-004-0169-2},
  doi       = {10.1007/s10009-004-0169-2},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sttt/LiWS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/IvanicicSGG05,
  author    = {Franjo Ivancic and
               Ilya Shlyakhter and
               Aarti Gupta and
               Malay K. Ganai and
               Vineet Kahlon and
               Chao Wang and
               Zijiang Yang},
  title     = {Model Checking {C} Programs Using {F-SOFT}},
  booktitle = {23rd International Conference on Computer Design {(ICCD} 2005), 2-5
               October 2005, San Jose, CA, {USA}},
  pages     = {297--308},
  year      = {2005},
  crossref  = {DBLP:conf/iccd/2005},
  url       = {https://doi.org/10.1109/ICCD.2005.77},
  doi       = {10.1109/ICCD.2005.77},
  timestamp = {Tue, 30 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccd/IvanicicSGG05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/WangIGG05,
  author    = {Chao Wang and
               Franjo Ivancic and
               Malay K. Ganai and
               Aarti Gupta},
  title     = {Deciding Separation Logic Formulae by {SAT} and Incremental Negative
               Cycle Elimination},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
               International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
               2-6, 2005, Proceedings},
  pages     = {322--336},
  year      = {2005},
  crossref  = {DBLP:conf/lpar/2005},
  url       = {https://doi.org/10.1007/11591191\_23},
  doi       = {10.1007/11591191\_23},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/WangIGG05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/WangJHS04,
  author    = {Chao Wang and
               HoonSang Jin and
               Gary D. Hachtel and
               Fabio Somenzi},
  title     = {Refining the {SAT} decision ordering for bounded model checking},
  booktitle = {Proceedings of the 41th Design Automation Conference, {DAC} 2004,
               San Diego, CA, USA, June 7-11, 2004},
  pages     = {535--538},
  year      = {2004},
  crossref  = {DBLP:conf/dac/2004},
  url       = {https://doi.org/10.1145/996566.996713},
  doi       = {10.1145/996566.996713},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/WangJHS04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/WangHS04,
  author    = {Chao Wang and
               Gary D. Hachtel and
               Fabio Somenzi},
  title     = {Fine-Grain Abstraction and Sequential Don't Cares for Large Scale
               Model Checking},
  booktitle = {22nd {IEEE} International Conference on Computer Design: {VLSI} in
               Computers {\&} Processors {(ICCD} 2004), 11-13 October 2004, San
               Jose, CA, USA, Proceedings},
  pages     = {112--118},
  year      = {2004},
  crossref  = {DBLP:conf/iccd/2004},
  url       = {https://doi.org/10.1109/ICCD.2004.1347909},
  doi       = {10.1109/ICCD.2004.1347909},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccd/WangHS04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/LiWS03,
  author    = {Bing Li and
               Chao Wang and
               Fabio Somenzi},
  title     = {A satisfiability-based approach to abstraction refinement in model
               checking},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {89},
  number    = {4},
  pages     = {608--622},
  year      = {2003},
  url       = {https://doi.org/10.1016/S1571-0661(05)82546-0},
  doi       = {10.1016/S1571-0661(05)82546-0},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/LiWS03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GuptaGWYA03,
  author    = {Aarti Gupta and
               Malay K. Ganai and
               Chao Wang and
               Zijiang Yang and
               Pranav Ashar},
  title     = {Abstraction and BDDs Complement SAT-Based {BMC} in DiVer},
  booktitle = {Computer Aided Verification, 15th International Conference, {CAV}
               2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
  pages     = {206--209},
  year      = {2003},
  crossref  = {DBLP:conf/cav/2003},
  url       = {https://doi.org/10.1007/978-3-540-45069-6\_20},
  doi       = {10.1007/978-3-540-45069-6\_20},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/GuptaGWYA03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/GuptaGWYA03,
  author    = {Aarti Gupta and
               Malay K. Ganai and
               Chao Wang and
               Zijiang Yang and
               Pranav Ashar},
  title     = {Learning from BDDs in SAT-based bounded model checking},
  booktitle = {Proceedings of the 40th Design Automation Conference, {DAC} 2003,
               Anaheim, CA, USA, June 2-6, 2003},
  pages     = {824--829},
  year      = {2003},
  crossref  = {DBLP:conf/dac/2003},
  url       = {https://doi.org/10.1145/775832.776040},
  doi       = {10.1145/775832.776040},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/GuptaGWYA03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/WangHS03,
  author    = {Chao Wang and
               Gary D. Hachtel and
               Fabio Somenzi},
  title     = {The Compositional Far Side of Image Computation},
  booktitle = {2003 International Conference on Computer-Aided Design, {ICCAD} 2003,
               San Jose, CA, USA, November 9-13, 2003},
  pages     = {334--341},
  year      = {2003},
  crossref  = {DBLP:conf/iccad/2003},
  url       = {http://doi.ieeecomputersociety.org/10.1109/ICCAD.2003.1257733},
  doi       = {10.1109/ICCAD.2003.1257733},
  timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/WangHS03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/WangLJHS03,
  author    = {Chao Wang and
               Bing Li and
               HoonSang Jin and
               Gary D. Hachtel and
               Fabio Somenzi},
  title     = {Improving Ariadne{\'{y}}s Bundle by Following Multiple Threads
               in Abstraction Refinement},
  booktitle = {2003 International Conference on Computer-Aided Design, {ICCAD} 2003,
               San Jose, CA, USA, November 9-13, 2003},
  pages     = {408--415},
  year      = {2003},
  crossref  = {DBLP:conf/iccad/2003},
  url       = {https://doi.org/10.1109/ICCAD.2003.1257810},
  doi       = {10.1109/ICCAD.2003.1257810},
  timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/WangLJHS03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/WangH02,
  author    = {Chao Wang and
               Gary D. Hachtel},
  title     = {Sharp Disjunctive Decomposition for Language Emptiness Checking},
  booktitle = {Formal Methods in Computer-Aided Design, 4th International Conference,
               {FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
  pages     = {106--122},
  year      = {2002},
  crossref  = {DBLP:conf/fmcad/2002},
  url       = {https://doi.org/10.1007/3-540-36126-X\_7},
  doi       = {10.1007/3-540-36126-X\_7},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/WangH02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/WangBHRS01,
  author    = {Chao Wang and
               Roderick Bloem and
               Gary D. Hachtel and
               Kavita Ravi and
               Fabio Somenzi},
  title     = {Divide and Compose: {SCC} Refinement for Language Emptiness},
  booktitle = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
               Aalborg, Denmark, August 20-25, 2001, Proceedings},
  pages     = {456--471},
  year      = {2001},
  crossref  = {DBLP:conf/concur/2001},
  url       = {https://doi.org/10.1007/3-540-44685-0\_31},
  doi       = {10.1007/3-540-44685-0\_31},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/WangBHRS01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2018-2,
  editor    = {Hana Chockler and
               Georg Weissenbacher},
  title     = {Computer Aided Verification - 30th International Conference, {CAV}
               2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
               UK, July 14-17, 2018, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10982},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-96142-2},
  doi       = {10.1007/978-3-319-96142-2},
  isbn      = {978-3-319-96141-5},
  timestamp = {Mon, 23 Jul 2018 17:21:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2018-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2018,
  editor    = {Frank Tip and
               Eric Bodden},
  title     = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
               Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
               July 16-21, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {http://dl.acm.org/citation.cfm?id=3213846},
  timestamp = {Mon, 16 Jul 2018 11:14:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issta/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2018,
  editor    = {Marianne Huchard and
               Christian K{\"{a}}stner and
               Gordon Fraser},
  title     = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated
               Software Engineering, {ASE} 2018, Montpellier, France, September 3-7,
               2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3238147},
  doi       = {10.1145/3238147},
  timestamp = {Wed, 21 Nov 2018 12:44:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2018,
  editor    = {Gary T. Leavens and
               Alessandro Garcia and
               Corina S. Pasareanu},
  title     = {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},
  publisher = {{ACM}},
  year      = {2018},
  url       = {http://dl.acm.org/citation.cfm?id=3236024},
  isbn      = {978-1-4503-5573-5},
  timestamp = {Sun, 28 Oct 2018 14:40:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/2017,
  title     = {Proceedings of the 54th Annual Design Automation Conference, {DAC}
               2017, Austin, TX, USA, June 18-22, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3061639},
  doi       = {10.1145/3061639},
  isbn      = {978-1-4503-4927-7},
  timestamp = {Tue, 06 Nov 2018 16:58:15 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2017,
  editor    = {Sebasti{\'{a}}n Uchitel and
               Alessandro Orso and
               Martin P. Robillard},
  title     = {Proceedings of the 39th International Conference on Software Engineering,
               {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017},
  publisher = {{IEEE} / {ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3097368},
  isbn      = {978-1-5386-3868-2},
  timestamp = {Mon, 22 May 2017 14:16:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2017,
  editor    = {Grigore Rosu and
               Massimiliano Di Penta and
               Tien N. Nguyen},
  title     = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
               Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
               03, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8106906},
  isbn      = {978-1-5386-2684-9},
  timestamp = {Thu, 30 Nov 2017 15:06:17 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2017,
  editor    = {Eric Bodden and
               Wilhelm Sch{\"{a}}fer and
               Arie van Deursen and
               Andrea Zisman},
  title     = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
               Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3106237},
  isbn      = {978-1-4503-5105-8},
  timestamp = {Wed, 16 Aug 2017 07:56:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2016-2,
  editor    = {Swarat Chaudhuri and
               Azadeh Farzan},
  title     = {Computer Aided Verification - 28th International Conference, {CAV}
               2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9780},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-41540-6},
  doi       = {10.1007/978-3-319-41540-6},
  isbn      = {978-3-319-41539-0},
  timestamp = {Thu, 25 May 2017 00:39:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2016-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2016,
  editor    = {David Lo and
               Sven Apel and
               Sarfraz Khurshid},
  title     = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
               Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2970276},
  doi       = {10.1145/2970276},
  isbn      = {978-1-4503-3845-5},
  timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nfm/2016,
  editor    = {Sanjai Rayadurgam and
               Oksana Tkachuk},
  title     = {{NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis,
               MN, USA, June 7-9, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9690},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-40648-0},
  doi       = {10.1007/978-3-319-40648-0},
  isbn      = {978-3-319-40647-3},
  timestamp = {Thu, 25 May 2017 00:40:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2016,
  editor    = {Thomas Zimmermann and
               Jane Cleland{-}Huang and
               Zhendong Su},
  title     = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
               November 13-18, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2950290},
  doi       = {10.1145/2950290},
  isbn      = {978-1-4503-4218-6},
  timestamp = {Tue, 06 Nov 2018 16:59:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2015-1,
  editor    = {Antonia Bertolino and
               Gerardo Canfora and
               Sebastian G. Elbaum},
  title     = {37th {IEEE/ACM} International Conference on Software Engineering,
               {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7174815},
  isbn      = {978-1-4799-1934-5},
  timestamp = {Tue, 03 May 2016 15:49:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2015-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icst/2015,
  title     = {8th {IEEE} International Conference on Software Testing, Verification
               and Validation, {ICST} 2015, Graz, Austria, April 13-17, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7102553},
  isbn      = {978-1-4799-7125-1},
  timestamp = {Fri, 05 Aug 2016 12:49:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2015,
  editor    = {Michal Young and
               Tao Xie},
  title     = {Proceedings of the 2015 International Symposium on Software Testing
               and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {https://doi.org/10.1145/2771783},
  doi       = {10.1145/2771783},
  isbn      = {978-1-4503-3620-8},
  timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issta/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2015,
  editor    = {David Grove and
               Steve Blackburn},
  title     = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, Portland, OR, USA, June 15-17,
               2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2737924},
  isbn      = {978-1-4503-3468-6},
  timestamp = {Fri, 05 Jun 2015 07:23:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2015,
  editor    = {Elisabetta Di Nitto and
               Mark Harman and
               Patrick Heymans},
  title     = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software
               Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September
               4, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {https://doi.org/10.1145/2786805},
  doi       = {10.1145/2786805},
  isbn      = {978-1-4503-3675-8},
  timestamp = {Tue, 06 Nov 2018 16:59:22 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2015,
  editor    = {Christel Baier and
               Cesare Tinelli},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 21st International Conference, {TACAS} 2015, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2015, London, UK, April 11-18, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9035},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-46681-0},
  doi       = {10.1007/978-3-662-46681-0},
  isbn      = {978-3-662-46680-3},
  timestamp = {Thu, 15 Jun 2017 21:37:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2014,
  editor    = {Armin Biere and
               Roderick Bloem},
  title     = {Computer Aided Verification - 26th International Conference, {CAV}
               2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
               Austria, July 18-22, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8559},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-08867-9},
  doi       = {10.1007/978-3-319-08867-9},
  isbn      = {978-3-319-08866-2},
  timestamp = {Thu, 25 May 2017 00:39:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/2014,
  title     = {The 51st Annual Design Automation Conference 2014, {DAC} '14, San
               Francisco, CA, USA, June 1-5, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2593069},
  isbn      = {978-1-4503-2730-5},
  timestamp = {Wed, 28 May 2014 08:42:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dac/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2014,
  editor    = {Corina S. Pasareanu and
               Darko Marinov},
  title     = {International Symposium on Software Testing and Analysis, {ISSTA}
               '14, San Jose, CA, {USA} - July 21 - 26, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2610384},
  doi       = {10.1145/2610384},
  isbn      = {978-1-4503-2645-2},
  timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issta/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2014,
  editor    = {Ivica Crnkovic and
               Marsha Chechik and
               Paul Gr{\"{u}}nbacher},
  title     = {{ACM/IEEE} International Conference on Automated Software Engineering,
               {ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2642937},
  isbn      = {978-1-4503-3013-8},
  timestamp = {Wed, 29 Mar 2017 16:45:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2014,
  editor    = {Borzoo Bonakdarpour and
               Scott A. Smolka},
  title     = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
               ON, Canada, September 22-25, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8734},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-11164-3},
  doi       = {10.1007/978-3-319-11164-3},
  isbn      = {978-3-319-11163-6},
  timestamp = {Wed, 17 May 2017 14:24:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2014,
  editor    = {Erika {\'{A}}brah{\'{a}}m and
               Klaus Havelund},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 20th International Conference, {TACAS} 2014, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2014, Grenoble, France, April 5-13, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8413},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54862-8},
  doi       = {10.1007/978-3-642-54862-8},
  isbn      = {978-3-642-54861-1},
  timestamp = {Mon, 05 Jun 2017 12:40:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2014,
  editor    = {Kenneth L. McMillan and
               Xavier Rival},
  title     = {Verification, Model Checking, and Abstract Interpretation - 15th International
               Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8318},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54013-4},
  doi       = {10.1007/978-3-642-54013-4},
  isbn      = {978-3-642-54012-7},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csiirw/2013,
  editor    = {Frederick T. Sheldon and
               Annarita Giani and
               Axel W. Krings and
               Robert K. Abercrombie},
  title     = {Cyber Security and Information Intelligence, {CSIIRW} '13, Oak Ridge,
               TN, USA, January 8-10, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2459976},
  isbn      = {978-1-4503-1687-3},
  timestamp = {Tue, 11 Feb 2014 21:36:15 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/csiirw/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2013,
  title     = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
               USA, October 20-23, 2013},
  publisher = {{IEEE}},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6675286},
  timestamp = {Wed, 11 Dec 2013 10:10:04 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/glvlsi/2013,
  editor    = {Jos{\'{e}} Luis Ayala and
               Alex K. Jones and
               Patrick H. Madden and
               Ayse Kivilcim Coskun},
  title     = {Great Lakes Symposium on {VLSI} 2013 (part of ECRC), GLSVLSI'13, Paris,
               France, May 2-4, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {https://doi.org/10.1145/2483028},
  doi       = {10.1145/2483028},
  isbn      = {978-1-4503-2032-0},
  timestamp = {Wed, 24 May 2017 08:28:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/glvlsi/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2013,
  editor    = {Ewen Denney and
               Tevfik Bultan and
               Andreas Zeller},
  title     = {2013 28th {IEEE/ACM} International Conference on Automated Software
               Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
               2013},
  publisher = {{IEEE}},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6684409},
  timestamp = {Wed, 29 Mar 2017 16:45:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2013,
  editor    = {Axel Legay and
               Saddek Bensalem},
  title     = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
               France, September 24-27, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8174},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40787-1},
  doi       = {10.1007/978-3-642-40787-1},
  isbn      = {978-3-642-40786-4},
  timestamp = {Wed, 17 May 2017 14:24:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2013,
  editor    = {Ezio Bartocci and
               C. R. Ramakrishnan},
  title     = {Model Checking Software - 20th International Symposium, {SPIN} 2013,
               Stony Brook, NY, USA, July 8-9, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7976},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-39176-7},
  doi       = {10.1007/978-3-642-39176-7},
  isbn      = {978-3-642-39175-0},
  timestamp = {Wed, 17 May 2017 14:24:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2012,
  editor    = {P. Madhusudan and
               Sanjit A. Seshia},
  title     = {Computer Aided Verification - 24th International Conference, {CAV}
               2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7358},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31424-7},
  doi       = {10.1007/978-3-642-31424-7},
  isbn      = {978-3-642-31423-0},
  timestamp = {Thu, 25 May 2017 00:39:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hvc/2011,
  editor    = {Kerstin Eder and
               Jo{\~{a}}o Louren{\c{c}}o and
               Onn Shehory},
  title     = {Hardware and Software: Verification and Testing - 7th International
               Haifa Verification Conference, {HVC} 2011, Haifa, Israel, December
               6-8, 2011, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7261},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-34188-5},
  doi       = {10.1007/978-3-642-34188-5},
  isbn      = {978-3-642-34187-8},
  timestamp = {Fri, 19 May 2017 01:26:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hvc/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2011,
  editor    = {Richard N. Taylor and
               Harald C. Gall and
               Nenad Medvidovic},
  title     = {Proceedings of the 33rd International Conference on Software Engineering,
               {ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0445-0},
  timestamp = {Wed, 01 Apr 2015 20:06:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2011,
  editor    = {Perry Alexander and
               Corina S. Pasareanu and
               John G. Hosking},
  title     = {26th {IEEE/ACM} International Conference on Automated Software Engineering
               {(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6093623},
  isbn      = {978-1-4577-1638-6},
  timestamp = {Thu, 13 Aug 2015 18:46:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/memocode/2011,
  editor    = {Satnam Singh and
               Barbara Jobstmann and
               Michael Kishinevsky and
               Jens Brandt},
  title     = {9th {IEEE/ACM} International Conference on Formal Methods and Models
               for Codesign, {MEMOCODE} 2011, Cambridge, UK, 11-13 July, 2011},
  publisher = {{IEEE}},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5959846},
  isbn      = {978-1-4577-0117-7},
  timestamp = {Thu, 14 Mar 2019 18:02:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/memocode/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nfm/2011,
  editor    = {Mihaela Gheorghiu Bobaru and
               Klaus Havelund and
               Gerard J. Holzmann and
               Rajeev Joshi},
  title     = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
               Pasadena, CA, USA, April 18-20, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6617},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-20398-5},
  doi       = {10.1007/978-3-642-20398-5},
  isbn      = {978-3-642-20397-8},
  timestamp = {Thu, 25 May 2017 00:40:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2011,
  editor    = {Thomas Ball and
               Mooly Sagiv},
  title     = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
               2011},
  publisher = {{ACM}},
  year      = {2011},
  url       = {http://dl.acm.org/citation.cfm?id=1926385},
  isbn      = {978-1-4503-0490-0},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2011,
  editor    = {Sarfraz Khurshid and
               Koushik Sen},
  title     = {Runtime Verification - Second International Conference, {RV} 2011,
               San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7186},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-29860-8},
  doi       = {10.1007/978-3-642-29860-8},
  isbn      = {978-3-642-29859-2},
  timestamp = {Wed, 17 May 2017 14:24:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2010,
  editor    = {Tayssir Touili and
               Byron Cook and
               Paul B. Jackson},
  title     = {Computer Aided Verification, 22nd International Conference, {CAV}
               2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6174},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-14295-6},
  doi       = {10.1007/978-3-642-14295-6},
  isbn      = {978-3-642-14294-9},
  timestamp = {Thu, 25 May 2017 00:39:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2010,
  editor    = {Roderick Bloem and
               Natasha Sharygina},
  title     = {Proceedings of 10th International Conference on Formal Methods in
               Computer-Aided Design, {FMCAD} 2010, Lugano, Switzerland, October
               20-23},
  publisher = {{IEEE}},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5766311},
  isbn      = {978-1-4577-0734-6},
  timestamp = {Wed, 17 Feb 2016 13:08:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccad/2010,
  editor    = {Louis Scheffer and
               Joel R. Phillips and
               Alan J. Hu},
  title     = {2010 International Conference on Computer-Aided Design, {ICCAD} 2010,
               San Jose, CA, USA, November 7-11, 2010},
  publisher = {{IEEE}},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5638200},
  isbn      = {978-1-4244-8192-7},
  timestamp = {Thu, 30 Apr 2015 18:34:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2010,
  editor    = {Howard Barringer and
               Yli{\`{e}}s Falcone and
               Bernd Finkbeiner and
               Klaus Havelund and
               Insup Lee and
               Gordon J. Pace and
               Grigore Rosu and
               Oleg Sokolsky and
               Nikolai Tillmann},
  title     = {Runtime Verification - First International Conference, {RV} 2010,
               St. Julians, Malta, November 1-4, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6418},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-16612-9},
  doi       = {10.1007/978-3-642-16612-9},
  isbn      = {978-3-642-16611-2},
  timestamp = {Wed, 17 May 2017 14:24:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2010,
  editor    = {Gruia{-}Catalin Roman and
               Andr{\'{e}} van der Hoek},
  title     = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
               7-11, 2010},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-60558-791-2},
  timestamp = {Mon, 16 Apr 2018 15:34:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2010,
  editor    = {Javier Esparza and
               Rupak Majumdar},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems,
               16th International Conference, {TACAS} 2010, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2010,
               Paphos, Cyprus, March 20-28, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6015},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-12002-2},
  doi       = {10.1007/978-3-642-12002-2},
  isbn      = {978-3-642-12001-5},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2009,
  editor    = {Ahmed Bouajjani and
               Oded Maler},
  title     = {Computer Aided Verification, 21st International Conference, {CAV}
               2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5643},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02658-4},
  doi       = {10.1007/978-3-642-02658-4},
  isbn      = {978-3-642-02657-7},
  timestamp = {Thu, 25 May 2017 00:39:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2009,
  editor    = {Ana Cavalcanti and
               Dennis Dams},
  title     = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
               November 2-6, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5850},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-05089-3},
  doi       = {10.1007/978-3-642-05089-3},
  isbn      = {978-3-642-05088-6},
  timestamp = {Mon, 22 May 2017 17:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2009,
  editor    = {Hans van Vliet and
               Val{\'{e}}rie Issarny},
  title     = {Proceedings of the 7th joint meeting of the European Software Engineering
               Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
               of Software Engineering, 2009, Amsterdam, The Netherlands, August
               24-28, 2009},
  publisher = {{ACM}},
  year      = {2009},
  isbn      = {978-1-60558-001-2},
  timestamp = {Mon, 31 Aug 2009 14:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2009,
  editor    = {Corina S. Pasareanu},
  title     = {Model Checking Software, 16th International {SPIN} Workshop, Grenoble,
               France, June 26-28, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5578},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02652-2},
  doi       = {10.1007/978-3-642-02652-2},
  isbn      = {978-3-642-02651-5},
  timestamp = {Wed, 17 May 2017 14:24:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2008,
  editor    = {Sung Deok Cha and
               Jin{-}Young Choi and
               Moonzoo Kim and
               Insup Lee and
               Mahesh Viswanathan},
  title     = {Automated Technology for Verification and Analysis, 6th International
               Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5311},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-88387-6},
  doi       = {10.1007/978-3-540-88387-6},
  isbn      = {978-3-540-88386-9},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2008,
  editor    = {Mary Jean Harrold and
               Gail C. Murphy},
  title     = {Proceedings of the 16th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, 2008, Atlanta, Georgia, USA,
               November 9-14, 2008},
  publisher = {{ACM}},
  year      = {2008},
  isbn      = {978-1-59593-995-1},
  timestamp = {Wed, 26 Jan 2011 08:37:08 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2008,
  editor    = {C. R. Ramakrishnan and
               Jakob Rehof},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems,
               14th International Conference, {TACAS} 2008, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2008,
               Budapest, Hungary, March 29-April 6, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4963},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78800-3},
  doi       = {10.1007/978-3-540-78800-3},
  isbn      = {978-3-540-78799-0},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2007,
  editor    = {Werner Damm and
               Holger Hermanns},
  title     = {Computer Aided Verification, 19th International Conference, {CAV}
               2007, Berlin, Germany, July 3-7, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4590},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73368-3},
  doi       = {10.1007/978-3-540-73368-3},
  isbn      = {978-3-540-73367-6},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2007,
  title     = {Formal Methods in Computer-Aided Design, 7th International Conference,
               {FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4401966},
  isbn      = {0-7695-3023-0},
  timestamp = {Fri, 01 Apr 2016 10:10:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccad/2007,
  editor    = {Georges G. E. Gielen},
  title     = {2007 International Conference on Computer-Aided Design, {ICCAD} 2007,
               San Jose, CA, USA, November 5-8, 2007},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4397222},
  isbn      = {1-4244-1382-6},
  timestamp = {Thu, 30 Apr 2015 18:34:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2006,
  editor    = {Susanne Graf and
               Wenhui Zhang},
  title     = {Automated Technology for Verification and Analysis, 4th International
               Symposium, {ATVA} 2006, Beijing, China, October 23-26, 2006},
  series    = {Lecture Notes in Computer Science},
  volume    = {4218},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11901914},
  doi       = {10.1007/11901914},
  isbn      = {3-540-47237-1},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2006,
  editor    = {Thomas Ball and
               Robert B. Jones},
  title     = {Computer Aided Verification, 18th International Conference, {CAV}
               2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4144},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11817963},
  doi       = {10.1007/11817963},
  isbn      = {3-540-37406-X},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/2006,
  editor    = {Ellen Sentovich},
  title     = {Proceedings of the 43rd Design Automation Conference, {DAC} 2006,
               San Francisco, CA, USA, July 24-28, 2006},
  publisher = {{ACM}},
  year      = {2006},
  url       = {http://dl.acm.org/citation.cfm?id=1146909},
  isbn      = {1-59593-381-6},
  timestamp = {Wed, 30 Nov 2011 16:28:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/date/2006p,
  editor    = {Georges G. E. Gielen},
  title     = {Proceedings of the Conference on Design, Automation and Test in Europe,
               {DATE} 2006, Munich, Germany, March 6-10, 2006},
  publisher = {European Design and Automation Association, Leuven, Belgium},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=11014},
  isbn      = {3-9810801-1-4},
  timestamp = {Tue, 10 Nov 2015 11:49:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/date/2006p},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/memocode/2006,
  title     = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
               and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
               Suites, Napa, California, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=11148},
  isbn      = {1-4244-0421-5},
  timestamp = {Mon, 15 Jun 2015 17:05:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/memocode/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfm/2006,
  editor    = {Marco Bernardo and
               Alessandro Cimatti},
  title     = {Formal Methods for Hardware Verification, 6th International School
               on Formal Methods for the Design of Computer, Communication, and Software
               Systems, {SFM} 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {3965},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11757283},
  doi       = {10.1007/11757283},
  isbn      = {978-3-540-34304-2},
  timestamp = {Wed, 25 Jul 2018 16:50:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sfm/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccd/2005,
  title     = {23rd International Conference on Computer Design {(ICCD} 2005), 2-5
               October 2005, San Jose, CA, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10219},
  isbn      = {0-7695-2451-6},
  timestamp = {Mon, 22 Sep 2014 16:50:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccd/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2005,
  editor    = {Geoff Sutcliffe and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
               International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
               2-6, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3835},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11591191},
  doi       = {10.1007/11591191},
  isbn      = {3-540-30553-X},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/2004,
  editor    = {Sharad Malik and
               Limor Fix and
               Andrew B. Kahng},
  title     = {Proceedings of the 41th Design Automation Conference, {DAC} 2004,
               San Diego, CA, USA, June 7-11, 2004},
  publisher = {{ACM}},
  year      = {2004},
  url       = {http://dl.acm.org/citation.cfm?id=996566},
  isbn      = {1-58113-828-8},
  timestamp = {Wed, 30 Nov 2011 16:28:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccd/2004,
  title     = {22nd {IEEE} International Conference on Computer Design: {VLSI} in
               Computers {\&} Processors {(ICCD} 2004), 11-13 October 2004, San
               Jose, CA, USA, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9333},
  isbn      = {0-7695-2231-9},
  timestamp = {Mon, 22 Sep 2014 16:50:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccd/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2003,
  editor    = {Warren A. Hunt Jr. and
               Fabio Somenzi},
  title     = {Computer Aided Verification, 15th International Conference, {CAV}
               2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2725},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b11831},
  doi       = {10.1007/b11831},
  isbn      = {3-540-40524-0},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dac/2003,
  title     = {Proceedings of the 40th Design Automation Conference, {DAC} 2003,
               Anaheim, CA, USA, June 2-6, 2003},
  publisher = {{ACM}},
  year      = {2003},
  url       = {http://dl.acm.org/citation.cfm?id=775832},
  isbn      = {1-58113-688-9},
  timestamp = {Wed, 30 Nov 2011 16:28:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dac/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccad/2003,
  title     = {2003 International Conference on Computer-Aided Design, {ICCAD} 2003,
               San Jose, CA, USA, November 9-13, 2003},
  publisher = {{IEEE} Computer Society / {ACM}},
  year      = {2003},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8895},
  isbn      = {1-58113-762-1},
  timestamp = {Thu, 30 Apr 2015 18:34:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccad/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2002,
  editor    = {Mark Aagaard and
               John W. O'Leary},
  title     = {Formal Methods in Computer-Aided Design, 4th International Conference,
               {FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2517},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-36126-X},
  doi       = {10.1007/3-540-36126-X},
  isbn      = {3-540-00116-6},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2001,
  editor    = {Kim Guldstrand Larsen and
               Mogens Nielsen},
  title     = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference,
               Aalborg, Denmark, August 20-25, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2154},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44685-0},
  doi       = {10.1007/3-540-44685-0},
  isbn      = {3-540-42497-0},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier