BibTeX records: Alex Groce

download as .bib file

@article{DBLP:journals/sigsoft/Groce17,
  author    = {Alex Groce},
  title     = {Passages},
  journal   = {{ACM} {SIGSOFT} Software Engineering Notes},
  volume    = {42},
  number    = {2},
  pages     = {5--6},
  year      = {2017},
  url       = {http://doi.acm.org/10.1145/3089649.3089652},
  doi       = {10.1145/3089649.3089652},
  timestamp = {Thu, 29 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/sigsoft/Groce17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce17a,
  author    = {Alex Groce},
  title     = {Passages},
  journal   = {{ACM} {SIGSOFT} Software Engineering Notes},
  volume    = {42},
  number    = {3},
  pages     = {9},
  year      = {2017},
  url       = {http://doi.acm.org/10.1145/3127360.3127362},
  doi       = {10.1145/3127360.3127362},
  timestamp = {Tue, 05 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/sigsoft/Groce17a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sqj/GopinathAAJG17,
  author    = {Rahul Gopinath and
               Iftekhar Ahmed and
               Mohammad Amin Alipour and
               Carlos Jensen and
               Alex Groce},
  title     = {Does choice of mutation tool matter?},
  journal   = {Software Quality Journal},
  volume    = {25},
  number    = {3},
  pages     = {871--920},
  year      = {2017},
  url       = {https://doi.org/10.1007/s11219-016-9317-7},
  doi       = {10.1007/s11219-016-9317-7},
  timestamp = {Mon, 28 Aug 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/sqj/GopinathAAJG17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tr/GopinathAAJG17,
  author    = {Rahul Gopinath and
               Iftekhar Ahmed and
               Mohammad Amin Alipour and
               Carlos Jensen and
               Alex Groce},
  title     = {Mutation Reduction Strategies Considered Harmful},
  journal   = {{IEEE} Trans. Reliability},
  volume    = {66},
  number    = {3},
  pages     = {854--874},
  year      = {2017},
  url       = {https://doi.org/10.1109/TR.2017.2705662},
  doi       = {10.1109/TR.2017.2705662},
  timestamp = {Wed, 06 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tr/GopinathAAJG17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icst/GopinathJG17,
  author    = {Rahul Gopinath and
               Carlos Jensen and
               Alex Groce},
  title     = {The Theory of Composite Faults},
  booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
               and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
  pages     = {47--57},
  year      = {2017},
  crossref  = {DBLP:conf/icst/2017},
  url       = {https://doi.org/10.1109/ICST.2017.12},
  doi       = {10.1109/ICST.2017.12},
  timestamp = {Wed, 14 Jun 2017 10:32:58 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icst/GopinathJG17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icst/AhmedJGM17,
  author    = {Iftekhar Ahmed and
               Carlos Jensen and
               Alex Groce and
               Paul E. McKenney},
  title     = {Applying Mutation Analysis on Kernel Test Suites: An Experience Report},
  booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
               and Validation Workshops, {ICST} Workshops 2017, Tokyo, Japan, March
               13-17, 2017},
  pages     = {110--115},
  year      = {2017},
  crossref  = {DBLP:conf/icst/2017w},
  url       = {https://doi.org/10.1109/ICSTW.2017.26},
  doi       = {10.1109/ICSTW.2017.26},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icst/AhmedJGM17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issta/GroceHK17,
  author    = {Alex Groce and
               Josie Holmes and
               Kevin Kellar},
  title     = {One test to rule them all},
  booktitle = {Proceedings of the 26th {ACM} {SIGSOFT} International Symposium on
               Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14,
               2017},
  pages     = {1--11},
  year      = {2017},
  crossref  = {DBLP:conf/issta/2017},
  url       = {http://doi.acm.org/10.1145/3092703.3092704},
  doi       = {10.1145/3092703.3092704},
  timestamp = {Thu, 13 Jul 2017 14:49:34 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issta/GroceHK17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issta/HolmesG17,
  author    = {Josie Holmes and
               Alex Groce},
  title     = {A suite of tools for making effective use of automatically generated
               tests},
  booktitle = {Proceedings of the 26th {ACM} {SIGSOFT} International Symposium on
               Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14,
               2017},
  pages     = {356--359},
  year      = {2017},
  crossref  = {DBLP:conf/issta/2017},
  url       = {http://doi.acm.org/10.1145/3092703.3098220},
  doi       = {10.1145/3092703.3098220},
  timestamp = {Thu, 13 Jul 2017 14:49:34 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issta/HolmesG17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/saso/ChristiGG17,
  author    = {Arpit Christi and
               Alex Groce and
               Rahul Gopinath},
  title     = {Resource Adaptation via Test-Based Software Minimization},
  booktitle = {11th {IEEE} International Conference on Self-Adaptive and Self-Organizing
               Systems, {SASO} 2017, Tucson, AZ, USA, September 18-22, 2017},
  pages     = {61--70},
  year      = {2017},
  crossref  = {DBLP:conf/saso/2017},
  url       = {http://doi.ieeecomputersociety.org/10.1109/SASO.2017.15},
  doi       = {10.1109/SASO.2017.15},
  timestamp = {Mon, 23 Oct 2017 09:39:39 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/saso/ChristiGG17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-02770,
  author    = {Alex Groce and
               Stefan Leue},
  title     = {Proceedings 2nd International Workshop on Causal Reasoning for Embedded
               and safety-critical Systems Technologies},
  journal   = {CoRR},
  volume    = {abs/1710.02770},
  year      = {2017},
  url       = {http://arxiv.org/abs/1710.02770},
  archivePrefix = {arXiv},
  eprint    = {1710.02770},
  timestamp = {Wed, 01 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1710-02770},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce16,
  author    = {Alex Groce},
  title     = {Passages},
  journal   = {{ACM} {SIGSOFT} Software Engineering Notes},
  volume    = {41},
  number    = {1},
  pages     = {5},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2853073.2853074},
  doi       = {10.1145/2853073.2853074},
  timestamp = {Thu, 17 Mar 2016 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/sigsoft/Groce16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce16a,
  author    = {Alex Groce},
  title     = {Passages},
  journal   = {{ACM} {SIGSOFT} Software Engineering Notes},
  volume    = {41},
  number    = {2},
  pages     = {5},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2894784.2894788},
  doi       = {10.1145/2894784.2894788},
  timestamp = {Thu, 12 May 2016 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/sigsoft/Groce16a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce16b,
  author    = {Alex Groce},
  title     = {Passages},
  journal   = {{ACM} {SIGSOFT} Software Engineering Notes},
  volume    = {41},
  number    = {3},
  pages     = {4--5},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2934240.2934241},
  doi       = {10.1145/2934240.2934241},
  timestamp = {Wed, 13 Jul 2016 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/sigsoft/Groce16b},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce16c,
  author    = {Alex Groce},
  title     = {Passages},
  journal   = {{ACM} {SIGSOFT} Software Engineering Notes},
  volume    = {41},
  number    = {4},
  pages     = {6--7},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2967307.2967312},
  doi       = {10.1145/2967307.2967312},
  timestamp = {Wed, 14 Sep 2016 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/sigsoft/Groce16c},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce16d,
  author    = {Alex Groce},
  title     = {Passages},
  journal   = {{ACM} {SIGSOFT} Software Engineering Notes},
  volume    = {41},
  number    = {5},
  pages     = {6--5},
  year      = {2016},
  url       = {http://dl.acm.org/citation.cfm?id=2994211},
  timestamp = {Tue, 15 Nov 2016 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/sigsoft/Groce16d},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce16e,
  author    = {Alex Groce},
  title     = {Passages},
  journal   = {{ACM} {SIGSOFT} Software Engineering Notes},
  volume    = {41},
  number    = {6},
  pages     = {5--6},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/3011286.3011289},
  doi       = {10.1145/3011286.3011289},
  timestamp = {Tue, 17 Jan 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/sigsoft/Groce16e},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/stvr/GroceAZCR16,
  author    = {Alex Groce and
               Mohammad Amin Alipour and
               Chaoqiang Zhang and
               Yang Chen and
               John Regehr},
  title     = {Cause reduction: delta debugging, even without bugs},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {26},
  number    = {1},
  pages     = {40--68},
  year      = {2016},
  url       = {https://doi.org/10.1002/stvr.1574},
  doi       = {10.1002/stvr.1574},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/stvr/GroceAZCR16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icse/GopinathAAJG16,
  author    = {Rahul Gopinath and
               Mohammad Amin Alipour and
               Iftekhar Ahmed and
               Carlos Jensen and
               Alex Groce},
  title     = {On the limits of mutation reduction strategies},
  booktitle = {Proceedings of the 38th International Conference on Software Engineering,
               {ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
  pages     = {511--522},
  year      = {2016},
  crossref  = {DBLP:conf/icse/2016},
  url       = {http://doi.acm.org/10.1145/2884781.2884787},
  doi       = {10.1145/2884781.2884787},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/GopinathAAJG16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icse/GopinathJG16,
  author    = {Rahul Gopinath and
               Carlos Jensen and
               Alex Groce},
  title     = {Topsy-Turvy: a smarter and faster parallelization of mutation analysis},
  booktitle = {Proceedings of the 38th International Conference on Software Engineering,
               {ICSE} 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume},
  pages     = {740--743},
  year      = {2016},
  crossref  = {DBLP:conf/icse/2016c},
  url       = {http://doi.acm.org/10.1145/2884781.2892655},
  doi       = {10.1145/2884781.2892655},
  timestamp = {Sun, 30 Apr 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/GopinathJG16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icst/GopinathAAJG16,
  author    = {Rahul Gopinath and
               Amin Alipour and
               Iftekhar Ahmed and
               Carlos Jensen and
               Alex Groce},
  title     = {Measuring Effectiveness of Mutant Sets},
  booktitle = {Ninth {IEEE} International Conference on Software Testing, Verification
               and Validation Workshops, {ICST} Workshops 2016, Chicago, IL, USA,
               April 11-15, 2016},
  pages     = {132--141},
  year      = {2016},
  crossref  = {DBLP:conf/icst/2016w},
  url       = {https://doi.org/10.1109/ICSTW.2016.45},
  doi       = {10.1109/ICSTW.2016.45},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icst/GopinathAAJG16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issta/AlipourGGC16,
  author    = {Mohammad Amin Alipour and
               Alex Groce and
               Rahul Gopinath and
               Arpit Christi},
  title     = {Generating focused random tests using directed swarm testing},
  booktitle = {Proceedings of the 25th International Symposium on Software Testing
               and Analysis, {ISSTA} 2016, Saarbr{\"{u}}cken, Germany, July
               18-20, 2016},
  pages     = {70--81},
  year      = {2016},
  crossref  = {DBLP:conf/issta/2016},
  url       = {http://doi.acm.org/10.1145/2931037.2931056},
  doi       = {10.1145/2931037.2931056},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issta/AlipourGGC16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AlipourSGMG16,
  author    = {Mohammad Amin Alipour and
               August Shi and
               Rahul Gopinath and
               Darko Marinov and
               Alex Groce},
  title     = {Evaluating non-adequate test-case reduction},
  booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
               Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
  pages     = {16--26},
  year      = {2016},
  crossref  = {DBLP:conf/kbse/2016},
  url       = {http://doi.acm.org/10.1145/2970276.2970361},
  doi       = {10.1145/2970276.2970361},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/AlipourSGMG16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/HolmesGA16,
  author    = {Josie Holmes and
               Alex Groce and
               Mohammad Amin Alipour},
  title     = {Mitigating (and exploiting) test reduction slippage},
  booktitle = {Proceedings of the 7th International Workshop on Automating Test Case
               Design, Selection, and Evaluation, A-TEST@SIGSOFT {FSE} 2016, Seattle,
               WA, USA, November 18, 2016},
  pages     = {66--69},
  year      = {2016},
  crossref  = {DBLP:conf/sigsoft/2016atest},
  url       = {http://dl.acm.org/citation.cfm?id=2994301},
  timestamp = {Wed, 15 Mar 2017 09:30:49 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sigsoft/HolmesGA16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/AhmedGBGJ16,
  author    = {Iftekhar Ahmed and
               Rahul Gopinath and
               Caius Brindescu and
               Alex Groce and
               Carlos Jensen},
  title     = {Can testedness be effectively measured?},
  booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
               November 13-18, 2016},
  pages     = {547--558},
  year      = {2016},
  crossref  = {DBLP:conf/sigsoft/2016},
  url       = {http://doi.acm.org/10.1145/2950290.2950324},
  doi       = {10.1145/2950290.2950324},
  timestamp = {Tue, 22 Nov 2016 11:19:21 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sigsoft/AhmedGBGJ16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ssbse/AburasG16,
  author    = {Ali Aburas and
               Alex Groce},
  title     = {A Method Dependence Relations Guided Genetic Algorithm},
  booktitle = {Search Based Software Engineering - 8th International Symposium, {SSBSE}
               2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings},
  pages     = {267--273},
  year      = {2016},
  crossref  = {DBLP:conf/ssbse/2016},
  url       = {https://doi.org/10.1007/978-3-319-47106-8_22},
  doi       = {10.1007/978-3-319-47106-8_22},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ssbse/AburasG16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/AlipourGZSC16,
  author    = {Mohammad Amin Alipour and
               Alex Groce and
               Chaoqiang Zhang and
               Anahita Sanadaji and
               Gokul Caushik},
  title     = {Finding Model-Checkable Needles in Large Source Code Haystacks: Modular
               Bug-Finding via Static Analysis and Dynamic Invariant Discovery},
  journal   = {CoRR},
  volume    = {abs/1609.06382},
  year      = {2016},
  url       = {http://arxiv.org/abs/1609.06382},
  archivePrefix = {arXiv},
  eprint    = {1609.06382},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/AlipourGZSC16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/AlipourG16,
  author    = {Mohammad Amin Alipour and
               Alex Groce},
  title     = {Bounded Model Checking and Feature Omission Diversity},
  journal   = {CoRR},
  volume    = {abs/1610.08020},
  year      = {2016},
  url       = {http://arxiv.org/abs/1610.08020},
  archivePrefix = {arXiv},
  eprint    = {1610.08020},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/AlipourG16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/AlipourG16a,
  author    = {Mohammad Amin Alipour and
               Alex Groce},
  title     = {Data Poisoning: Lightweight Soft Fault Injection for Python},
  journal   = {CoRR},
  volume    = {abs/1611.01501},
  year      = {2016},
  url       = {http://arxiv.org/abs/1611.01501},
  archivePrefix = {arXiv},
  eprint    = {1611.01501},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/AlipourG16a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce15,
  author    = {Alex Groce},
  title     = {Passages},
  journal   = {{ACM} {SIGSOFT} Software Engineering Notes},
  volume    = {40},
  number    = {1},
  pages     = {8--9},
  year      = {2015},
  url       = {http://doi.acm.org/10.1145/2693208.2693212},
  doi       = {10.1145/2693208.2693212},
  timestamp = {Sat, 07 Feb 2015 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/sigsoft/Groce15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce15a,
  author    = {Alex Groce},
  title     = {Passages},
  journal   = {{ACM} {SIGSOFT} Software Engineering Notes},
  volume    = {40},
  number    = {2},
  pages     = {5--6},
  year      = {2015},
  url       = {http://doi.acm.org/10.1145/2735399.2735403},
  doi       = {10.1145/2735399.2735403},
  timestamp = {Sat, 25 Apr 2015 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/sigsoft/Groce15a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce15b,
  author    = {Alex Groce},
  title     = {Passages},
  journal   = {{ACM} {SIGSOFT} Software Engineering Notes},
  volume    = {40},
  number    = {3},
  pages     = {4--5},
  year      = {2015},
  url       = {http://doi.acm.org/10.1145/2757308.2757310},
  doi       = {10.1145/2757308.2757310},
  timestamp = {Tue, 23 Jun 2015 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/sigsoft/Groce15b},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tosem/GligoricGZSAM15,
  author    = {Milos Gligoric and
               Alex Groce and
               Chaoqiang Zhang and
               Rohan Sharma and
               Mohammad Amin Alipour and
               Darko Marinov},
  title     = {Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites},
  journal   = {{ACM} Trans. Softw. Eng. Methodol.},
  volume    = {24},
  number    = {4},
  pages     = {22:1--22:33},
  year      = {2015},
  url       = {http://doi.acm.org/10.1145/2660767},
  doi       = {10.1145/2660767},
  timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tosem/GligoricGZSAM15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/isqed/VelevZ0G15,
  author    = {Miroslav N. Velev and
               Chaoqiang Zhang and
               Ping Gao and
               Alex David Groce},
  title     = {Exploiting abstraction, learning from random simulation, and {SVM}
               classification for efficient dynamic prediction of software health
               problems},
  booktitle = {Sixteenth International Symposium on Quality Electronic Design, {ISQED}
               2015, Santa Clara, CA, USA, March 2-4, 2015},
  pages     = {412--418},
  year      = {2015},
  crossref  = {DBLP:conf/isqed/2015},
  url       = {https://doi.org/10.1109/ISQED.2015.7085461},
  doi       = {10.1109/ISQED.2015.7085461},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/isqed/VelevZ0G15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issre/GopinathAAJG15,
  author    = {Rahul Gopinath and
               Amin Alipour and
               Iftekhar Ahmed and
               Carlos Jensen and
               Alex Groce},
  title     = {How hard does mutation analysis have to be, anyway?},
  booktitle = {26th {IEEE} International Symposium on Software Reliability Engineering,
               {ISSRE} 2015, Gaithersbury, MD, USA, November 2-5, 2015},
  pages     = {216--227},
  year      = {2015},
  crossref  = {DBLP:conf/issre/2015},
  url       = {https://doi.org/10.1109/ISSRE.2015.7381815},
  doi       = {10.1109/ISSRE.2015.7381815},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issre/GopinathAAJG15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issta/GrocePAM15,
  author    = {Alex Groce and
               Jervis Pinto and
               Pooria Azimi and
               Pranjal Mittal},
  title     = {{TSTL:} a language and tool for testing (demo)},
  booktitle = {Proceedings of the 2015 International Symposium on Software Testing
               and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages     = {414--417},
  year      = {2015},
  crossref  = {DBLP:conf/issta/2015},
  url       = {http://doi.acm.org/10.1145/2771783.2784769},
  doi       = {10.1145/2771783.2784769},
  timestamp = {Fri, 03 Feb 2017 11:59:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issta/GrocePAM15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GroceAJM15,
  author    = {Alex Groce and
               Iftekhar Ahmed and
               Carlos Jensen and
               Paul E. McKenney},
  title     = {How Verified is My Code? Falsification-Driven Verification {(T)}},
  booktitle = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
               {ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
  pages     = {737--748},
  year      = {2015},
  crossref  = {DBLP:conf/kbse/2015},
  url       = {https://doi.org/10.1109/ASE.2015.40},
  doi       = {10.1109/ASE.2015.40},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/GroceAJM15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/nfm/GroceP15,
  author    = {Alex Groce and
               Jervis Pinto},
  title     = {A Little Language for Testing},
  booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
               CA, USA, April 27-29, 2015, Proceedings},
  pages     = {204--218},
  year      = {2015},
  crossref  = {DBLP:conf/nfm/2015},
  url       = {https://doi.org/10.1007/978-3-319-17524-9_15},
  doi       = {10.1007/978-3-319-17524-9_15},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/nfm/GroceP15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/amai/GroceHHJX14,
  author    = {Alex Groce and
               Klaus Havelund and
               Gerard J. Holzmann and
               Rajeev Joshi and
               Ru{-}Gang Xu},
  title     = {Establishing flight software reliability: testing, model checking,
               constraint-solving, monitoring and learning},
  journal   = {Ann. Math. Artif. Intell.},
  volume    = {70},
  number    = {4},
  pages     = {315--349},
  year      = {2014},
  url       = {https://doi.org/10.1007/s10472-014-9408-8},
  doi       = {10.1007/s10472-014-9408-8},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/amai/GroceHHJX14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce14,
  author    = {Alex Groce},
  title     = {Passages},
  journal   = {{ACM} {SIGSOFT} Software Engineering Notes},
  volume    = {39},
  number    = {1},
  pages     = {6--7},
  year      = {2014},
  url       = {http://doi.acm.org/10.1145/2557833.2557840},
  doi       = {10.1145/2557833.2557840},
  timestamp = {Tue, 11 Mar 2014 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/sigsoft/Groce14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce14a,
  author    = {Alex Groce},
  title     = {Passages},
  journal   = {{ACM} {SIGSOFT} Software Engineering Notes},
  volume    = {39},
  number    = {2},
  pages     = {4--5},
  year      = {2014},
  url       = {http://doi.acm.org/10.1145/2579281.2579284},
  doi       = {10.1145/2579281.2579284},
  timestamp = {Wed, 30 Apr 2014 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/sigsoft/Groce14a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce14b,
  author    = {Alex Groce},
  title     = {Passages},
  journal   = {{ACM} {SIGSOFT} Software Engineering Notes},
  volume    = {39},
  number    = {3},
  pages     = {6--7},
  year      = {2014},
  url       = {http://doi.acm.org/10.1145/2597716.2597737},
  doi       = {10.1145/2597716.2597737},
  timestamp = {Wed, 09 Jul 2014 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/sigsoft/Groce14b},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce14c,
  author    = {Alex Groce},
  title     = {Passages},
  journal   = {{ACM} {SIGSOFT} Software Engineering Notes},
  volume    = {39},
  number    = {4},
  pages     = {8--9},
  year      = {2014},
  url       = {http://doi.acm.org/10.1145/2632434.2632456},
  doi       = {10.1145/2632434.2632456},
  timestamp = {Thu, 07 Aug 2014 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/sigsoft/Groce14c},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce14d,
  author    = {Alex Groce},
  title     = {Passages},
  journal   = {{ACM} {SIGSOFT} Software Engineering Notes},
  volume    = {39},
  number    = {5},
  pages     = {1:5},
  year      = {2014},
  url       = {http://doi.acm.org/10.1145/2659118.2659124},
  doi       = {10.1145/2659118.2659124},
  timestamp = {Wed, 29 Apr 2015 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/sigsoft/Groce14d},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce14e,
  author    = {Alex Groce},
  title     = {Passages},
  journal   = {{ACM} {SIGSOFT} Software Engineering Notes},
  volume    = {39},
  number    = {6},
  pages     = {6--7},
  year      = {2014},
  url       = {http://doi.acm.org/10.1145/2674632.2674636},
  doi       = {10.1145/2674632.2674636},
  timestamp = {Mon, 12 Jan 2015 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/sigsoft/Groce14e},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tse/GroceKZSBWSDSBM14,
  author    = {Alex Groce and
               Todd Kulesza and
               Chaoqiang Zhang and
               Shalini Shamasunder and
               Margaret M. Burnett and
               Weng{-}Keen Wong and
               Simone Stumpf and
               Shubhomoy Das and
               Amber Shinsel and
               Forrest Bice and
               Kevin McIntosh},
  title     = {You Are the Only Possible Oracle: Effective Test Selection for End
               Users of Interactive Machine Learning Systems},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {40},
  number    = {3},
  pages     = {307--323},
  year      = {2014},
  url       = {https://doi.org/10.1109/TSE.2013.59},
  doi       = {10.1109/TSE.2013.59},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tse/GroceKZSBWSDSBM14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icdm/PeiCFGW14,
  author    = {Yuanli Pei and
               Arpit Christi and
               Xiaoli Z. Fern and
               Alex Groce and
               Weng{-}Keen Wong},
  title     = {Taming a Fuzzer Using Delta Debugging Trails},
  booktitle = {2014 {IEEE} International Conference on Data Mining Workshops, {ICDM}
               Workshops 2014, Shenzhen, China, December 14, 2014},
  pages     = {840--843},
  year      = {2014},
  crossref  = {DBLP:conf/icdm/2014w},
  url       = {https://doi.org/10.1109/ICDMW.2014.58},
  doi       = {10.1109/ICDMW.2014.58},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icdm/PeiCFGW14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icse/GopinathJG14,
  author    = {Rahul Gopinath and
               Carlos Jensen and
               Alex Groce},
  title     = {Code coverage for suite evaluation by developers},
  booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
               Hyderabad, India - May 31 - June 07, 2014},
  pages     = {72--82},
  year      = {2014},
  crossref  = {DBLP:conf/icse/2014},
  url       = {http://doi.acm.org/10.1145/2568225.2568278},
  doi       = {10.1145/2568225.2568278},
  timestamp = {Sun, 18 May 2014 16:02:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/GopinathJG14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icst/GroceAZCR14,
  author    = {Alex Groce and
               Mohammad Amin Alipour and
               Chaoqiang Zhang and
               Yang Chen and
               John Regehr},
  title     = {Cause Reduction for Quick Testing},
  booktitle = {Seventh {IEEE} International Conference on Software Testing, Verification
               and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
               Ohio, {USA}},
  pages     = {243--252},
  year      = {2014},
  crossref  = {DBLP:conf/icst/2014},
  url       = {https://doi.org/10.1109/ICST.2014.37},
  doi       = {10.1109/ICST.2014.37},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icst/GroceAZCR14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issre/GopinathJG14,
  author    = {Rahul Gopinath and
               Carlos Jensen and
               Alex Groce},
  title     = {Mutations: How Close are they to Real Faults?},
  booktitle = {25th {IEEE} International Symposium on Software Reliability Engineering,
               {ISSRE} 2014, Naples, Italy, November 3-6, 2014},
  pages     = {189--200},
  year      = {2014},
  crossref  = {DBLP:conf/issre/2014},
  url       = {https://doi.org/10.1109/ISSRE.2014.40},
  doi       = {10.1109/ISSRE.2014.40},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issre/GopinathJG14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issta/ZhangGA14,
  author    = {Chaoqiang Zhang and
               Alex Groce and
               Mohammad Amin Alipour},
  title     = {Using test case reduction and prioritization to improve symbolic execution},
  booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
               '14, San Jose, CA, {USA} - July 21 - 26, 2014},
  pages     = {160--170},
  year      = {2014},
  crossref  = {DBLP:conf/issta/2014},
  url       = {http://doi.acm.org/10.1145/2610384.2610392},
  doi       = {10.1145/2610384.2610392},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issta/ZhangGA14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issta/LeAGG14,
  author    = {Duc Le and
               Mohammad Amin Alipour and
               Rahul Gopinath and
               Alex Groce},
  title     = {MuCheck: an extensible tool for mutation testing of haskell programs},
  booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
               '14, San Jose, CA, {USA} - July 21 - 26, 2014},
  pages     = {429--432},
  year      = {2014},
  crossref  = {DBLP:conf/issta/2014},
  url       = {http://doi.acm.org/10.1145/2610384.2628052},
  doi       = {10.1145/2610384.2628052},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issta/LeAGG14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/GroceAG14,
  author    = {Alex Groce and
               Mohammad Amin Alipour and
               Rahul Gopinath},
  title     = {Coverage and Its Discontents},
  booktitle = {Onward! 2014, Proceedings of the 2014 {ACM} International Symposium
               on New Ideas, New Paradigms, and Reflections on Programming {\&}
               Software, part of {SPLASH} '14, Portland, OR, USA, October 20-24,
               2014},
  pages     = {255--268},
  year      = {2014},
  crossref  = {DBLP:conf/oopsla/2014onward},
  url       = {http://doi.acm.org/10.1145/2661136.2661157},
  doi       = {10.1145/2661136.2661157},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/GroceAG14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/qsic/AburasG14,
  author    = {Ali Aburas and
               Alex Groce},
  title     = {An Improved Memetic Algorithm with Method Dependence Relations {(MAMDR)}},
  booktitle = {2014 14th International Conference on Quality Software, Allen, TX,
               USA, October 2-3, 2014},
  pages     = {11--20},
  year      = {2014},
  crossref  = {DBLP:conf/qsic/2014},
  url       = {https://doi.org/10.1109/QSIC.2014.12},
  doi       = {10.1109/QSIC.2014.12},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/qsic/AburasG14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce13,
  author    = {Alex Groce},
  title     = {Passages},
  journal   = {{ACM} {SIGSOFT} Software Engineering Notes},
  volume    = {38},
  number    = {5},
  pages     = {17--18},
  year      = {2013},
  url       = {http://doi.acm.org/10.1145/2507288.2507319},
  doi       = {10.1145/2507288.2507319},
  timestamp = {Wed, 25 Sep 2013 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/sigsoft/Groce13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce13a,
  author    = {Alex Groce},
  title     = {Passages},
  journal   = {{ACM} {SIGSOFT} Software Engineering Notes},
  volume    = {38},
  number    = {6},
  pages     = {6--7},
  year      = {2013},
  url       = {http://doi.acm.org/10.1145/2532780.2532783},
  doi       = {10.1145/2532780.2532783},
  timestamp = {Fri, 13 Dec 2013 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/sigsoft/Groce13a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issre/GroceZAECR13,
  author    = {Alex Groce and
               Chaoqiang Zhang and
               Mohammad Amin Alipour and
               Eric Eide and
               Yang Chen and
               John Regehr},
  title     = {Help, help, i'm being suppressed! The significance of suppressors
               in software testing},
  booktitle = {{IEEE} 24th International Symposium on Software Reliability Engineering,
               {ISSRE} 2013, Pasadena, CA, USA, November 4-7, 2013},
  pages     = {390--399},
  year      = {2013},
  crossref  = {DBLP:conf/issre/2013},
  url       = {https://doi.org/10.1109/ISSRE.2013.6698892},
  doi       = {10.1109/ISSRE.2013.6698892},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issre/GroceZAECR13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issta/GligoricGZSAM13,
  author    = {Milos Gligoric and
               Alex Groce and
               Chaoqiang Zhang and
               Rohan Sharma and
               Mohammad Amin Alipour and
               Darko Marinov},
  title     = {Comparing non-adequate test suites using coverage criteria},
  booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
               '13, Lugano, Switzerland, July 15-20, 2013},
  pages     = {302--313},
  year      = {2013},
  crossref  = {DBLP:conf/issta/2013},
  url       = {http://doi.acm.org/10.1145/2483760.2483769},
  doi       = {10.1145/2483760.2483769},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issta/GligoricGZSAM13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChenGZWFER13,
  author    = {Yang Chen and
               Alex Groce and
               Chaoqiang Zhang and
               Weng{-}Keen Wong and
               Xiaoli Fern and
               Eric Eide and
               John Regehr},
  title     = {Taming compiler fuzzers},
  booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
               {PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
  pages     = {197--208},
  year      = {2013},
  crossref  = {DBLP:conf/pldi/2013},
  url       = {http://doi.acm.org/10.1145/2462156.2462173},
  doi       = {10.1145/2462156.2462173},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/ChenGZWFER13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/isola/GroceFEPBA12,
  author    = {Alex Groce and
               Alan Fern and
               Martin Erwig and
               Jervis Pinto and
               Tim Bauer and
               Mohammad Amin Alipour},
  title     = {Learning-Based Test Programming for Programmers},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
               Technologies for Mastering Change - 5th International Symposium, ISoLA
               2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
               Part {I}},
  pages     = {572--586},
  year      = {2012},
  crossref  = {DBLP:conf/isola/2012-1},
  url       = {https://doi.org/10.1007/978-3-642-34026-0_42},
  doi       = {10.1007/978-3-642-34026-0_42},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/isola/GroceFEPBA12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issre/GroceFPBAEL12,
  author    = {Alex Groce and
               Alan Fern and
               Jervis Pinto and
               Tim Bauer and
               Mohammad Amin Alipour and
               Martin Erwig and
               Camden Lopez},
  title     = {Lightweight Automated Testing with Adaptation-Based Programming},
  booktitle = {23rd {IEEE} International Symposium on Software Reliability Engineering,
               {ISSRE} 2012, Dallas, TX, USA, November 27-30, 2012},
  pages     = {161--170},
  year      = {2012},
  crossref  = {DBLP:conf/issre/2012},
  url       = {https://doi.org/10.1109/ISSRE.2012.1},
  doi       = {10.1109/ISSRE.2012.1},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issre/GroceFPBAEL12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issta/AlipourG12,
  author    = {Mohammad Amin Alipour and
               Alex Groce},
  title     = {Extended program invariants: applications in testing and fault localization},
  booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
               in conjunction with the {ACM} {SIGSOFT} International Symposium on
               Software Testing and Analysis {(ISSTA} 2012), {WODA} 2012, Minneapolis,
               MN, USA, Sunday, July 15, 2012},
  pages     = {7--11},
  year      = {2012},
  crossref  = {DBLP:conf/issta/2012w},
  url       = {http://doi.acm.org/10.1145/2338966.2336799},
  doi       = {10.1145/2338966.2336799},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issta/AlipourG12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issta/GroceE12,
  author    = {Alex Groce and
               Martin Erwig},
  title     = {Finding common ground: choose, assert, and assume},
  booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
               in conjunction with the {ACM} {SIGSOFT} International Symposium on
               Software Testing and Analysis {(ISSTA} 2012), {WODA} 2012, Minneapolis,
               MN, USA, Sunday, July 15, 2012},
  pages     = {12--17},
  year      = {2012},
  crossref  = {DBLP:conf/issta/2012w},
  url       = {http://doi.acm.org/10.1145/2338966.2336800},
  doi       = {10.1145/2338966.2336800},
  timestamp = {Wed, 15 Jun 2016 10:44:20 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issta/GroceE12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issta/GroceZECR12,
  author    = {Alex Groce and
               Chaoqiang Zhang and
               Eric Eide and
               Yang Chen and
               John Regehr},
  title     = {Swarm testing},
  booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
               2012, Minneapolis, MN, USA, July 15-20, 2012},
  pages     = {78--88},
  year      = {2012},
  crossref  = {DBLP:conf/issta/2012},
  url       = {http://doi.acm.org/10.1145/2338965.2336763},
  doi       = {10.1145/2338965.2336763},
  timestamp = {Fri, 03 Feb 2017 11:58:24 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issta/GroceZECR12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tse/HolzmannJG11,
  author    = {Gerard J. Holzmann and
               Rajeev Joshi and
               Alex Groce},
  title     = {Swarm Verification Techniques},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {37},
  number    = {6},
  pages     = {845--857},
  year      = {2011},
  url       = {https://doi.org/10.1109/TSE.2010.110},
  doi       = {10.1109/TSE.2010.110},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tse/HolzmannJG11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iseud/KuleszaBSWDGSBM11,
  author    = {Todd Kulesza and
               Margaret M. Burnett and
               Simone Stumpf and
               Weng{-}Keen Wong and
               Shubhomoy Das and
               Alex Groce and
               Amber Shinsel and
               Forrest Bice and
               Kevin McIntosh},
  title     = {Where Are My Intelligent Assistant's Mistakes? {A} Systematic Testing
               Approach},
  booktitle = {End-User Development - Third International Symposium, {IS-EUD} 2011,
               Torre Canne (BR), Italy, June 7-10, 2011. Proceedings},
  pages     = {171--186},
  year      = {2011},
  crossref  = {DBLP:conf/iseud/2011},
  url       = {https://doi.org/10.1007/978-3-642-21530-8_14},
  doi       = {10.1007/978-3-642-21530-8_14},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iseud/KuleszaBSWDGSBM11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Groce11,
  author    = {Alex Groce},
  title     = {Coverage rewarded: Test input generation via adaptation-based programming},
  booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
               {(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
  pages     = {380--383},
  year      = {2011},
  crossref  = {DBLP:conf/kbse/2011},
  url       = {https://doi.org/10.1109/ASE.2011.6100077},
  doi       = {10.1109/ASE.2011.6100077},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/Groce11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/vl/ShinselKBCGSW11,
  author    = {Amber Shinsel and
               Todd Kulesza and
               Margaret M. Burnett and
               William Curran and
               Alex Groce and
               Simone Stumpf and
               Weng{-}Keen Wong},
  title     = {Mini-crowdsourcing end-user assessment of intelligent assistants:
               {A} cost-benefit study},
  booktitle = {2011 {IEEE} Symposium on Visual Languages and Human-Centric Computing,
               {VL/HCC} 2011, Pittsburgh, PA, USA, September 18-22, 2011},
  pages     = {47--54},
  year      = {2011},
  crossref  = {DBLP:conf/vl/2011},
  url       = {https://doi.org/10.1109/VLHCC.2011.6070377},
  doi       = {10.1109/VLHCC.2011.6070377},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/vl/ShinselKBCGSW11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/spin/2011,
  editor    = {Alex Groce and
               Madanlal Musuvathi},
  title     = {Model Checking Software - 18th International {SPIN} Workshop, Snowbird,
               UT, USA, July 14-15, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6823},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-22306-8},
  doi       = {10.1007/978-3-642-22306-8},
  isbn      = {978-3-642-22305-1},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/spin/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jacic/BarringerGHS10,
  author    = {Howard Barringer and
               Alex Groce and
               Klaus Havelund and
               Margaret H. Smith},
  title     = {Formal Analysis of Log Files},
  journal   = {{JACIC}},
  volume    = {7},
  number    = {11},
  pages     = {365--390},
  year      = {2010},
  url       = {https://doi.org/10.2514/1.49356},
  doi       = {10.2514/1.49356},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jacic/BarringerGHS10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icse/GroceHS10,
  author    = {Alex Groce and
               Klaus Havelund and
               Margaret H. Smith},
  title     = {From scripts to specifications: the evolution of a flight software
               testing effort},
  booktitle = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software
               Engineering - Volume 2, {ICSE} 2010, Cape Town, South Africa, 1-8
               May 2010},
  pages     = {129--138},
  year      = {2010},
  crossref  = {DBLP:conf/icse/2010-2},
  url       = {http://doi.acm.org/10.1145/1810295.1810314},
  doi       = {10.1145/1810295.1810314},
  timestamp = {Mon, 15 Jun 2015 19:00:08 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/GroceHS10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issta/Groce09,
  author    = {Alex Groce},
  title     = {(Quickly) testing the tester via path coverage},
  booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
               in conjunction with the {ACM} {SIGSOFT} International Symposium on
               Software Testing and Analysis {(ISSTA} 2009), {WODA} 2009, Chicago,
               IL, USA, July, 2009.},
  pages     = {22--28},
  year      = {2009},
  crossref  = {DBLP:conf/issta/2009w},
  url       = {http://doi.acm.org/10.1145/2134243.2134249},
  doi       = {10.1145/2134243.2134249},
  timestamp = {Wed, 15 Jun 2016 10:44:20 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issta/Groce09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/rv/BarringerHRG09,
  author    = {Howard Barringer and
               Klaus Havelund and
               David E. Rydeheard and
               Alex Groce},
  title     = {Rule Systems for Runtime Verification: {A} Short Tutorial},
  booktitle = {Runtime Verification, 9th International Workshop, {RV} 2009, Grenoble,
               France, June 26-28, 2009. Selected Papers},
  pages     = {1--24},
  year      = {2009},
  crossref  = {DBLP:conf/rv/2009},
  url       = {https://doi.org/10.1007/978-3-642-04694-0_1},
  doi       = {10.1007/978-3-642-04694-0_1},
  timestamp = {Wed, 17 May 2017 14:24:47 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/rv/BarringerHRG09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1003-1682,
  author    = {Howard Barringer and
               Alex Groce and
               Klaus Havelund and
               Margaret H. Smith},
  title     = {An Entry Point for Formal Methods: Specification and Analysis of Event
               Logs},
  booktitle = {Proceedings {FM-09} Workshop on Formal Methods for Aerospace, {FMA}
               2009, Eindhoven, The Netherlands, 3rd November 2009.},
  pages     = {16--21},
  year      = {2009},
  crossref  = {DBLP:journals/corr/abs-1003-5363},
  url       = {https://doi.org/10.4204/EPTCS.20.2},
  doi       = {10.4204/EPTCS.20.2},
  timestamp = {Wed, 03 May 2017 14:47:53 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1003-1682},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ase/HolzmannJG08,
  author    = {Gerard J. Holzmann and
               Rajeev Joshi and
               Alex Groce},
  title     = {Model driven code checking},
  journal   = {Autom. Softw. Eng.},
  volume    = {15},
  number    = {3-4},
  pages     = {283--297},
  year      = {2008},
  url       = {https://doi.org/10.1007/s10515-008-0033-9},
  doi       = {10.1007/s10515-008-0033-9},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ase/HolzmannJG08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sttt/GroceJ08,
  author    = {Alex Groce and
               Rajeev Joshi},
  title     = {Exploiting traces in static program analysis: better model checking
               through printf\{\{{\textbackslash}tt printf\}\}s},
  journal   = {{STTT}},
  volume    = {10},
  number    = {2},
  pages     = {131--144},
  year      = {2008},
  url       = {https://doi.org/10.1007/s10009-007-0058-6},
  doi       = {10.1007/s10009-007-0058-6},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/sttt/GroceJ08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issta/GroceJ08,
  author    = {Alex Groce and
               Rajeev Joshi},
  title     = {Random testing and model checking: building a common framework for
               nondeterministic exploration},
  booktitle = {Proceedings of the 2008 International Workshop on Dynamic Analysis:
               held in conjunction with the {ACM} {SIGSOFT} International Symposium
               on Software Testing and Analysis {(ISSTA} 2008), {WODA} 2008, Seattle,
               Washington, USA, July 21, 2008},
  pages     = {22--28},
  year      = {2008},
  crossref  = {DBLP:conf/issta/2008w},
  url       = {http://doi.acm.org/10.1145/1401827.1401833},
  doi       = {10.1145/1401827.1401833},
  timestamp = {Thu, 23 Jun 2016 15:53:29 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issta/GroceJ08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HolzmannJG08,
  author    = {Gerard J. Holzmann and
               Rajeev Joshi and
               Alex Groce},
  title     = {Swarm Verification},
  booktitle = {23rd {IEEE/ACM} International Conference on Automated Software Engineering
               {(ASE} 2008), 15-19 September 2008, L'Aquila, Italy},
  pages     = {1--6},
  year      = {2008},
  crossref  = {DBLP:conf/kbse/2008},
  url       = {https://doi.org/10.1109/ASE.2008.9},
  doi       = {10.1109/ASE.2008.9},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/HolzmannJG08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AndrewsGWX08,
  author    = {James H. Andrews and
               Alex Groce and
               Melissa Weston and
               Ru{-}Gang Xu},
  title     = {Random Test Run Length and Effectiveness},
  booktitle = {23rd {IEEE/ACM} International Conference on Automated Software Engineering
               {(ASE} 2008), 15-19 September 2008, L'Aquila, Italy},
  pages     = {19--28},
  year      = {2008},
  crossref  = {DBLP:conf/kbse/2008},
  url       = {https://doi.org/10.1109/ASE.2008.12},
  doi       = {10.1109/ASE.2008.12},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/AndrewsGWX08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mochart/HavelundGHJS08,
  author    = {Klaus Havelund and
               Alex Groce and
               Gerard J. Holzmann and
               Rajeev Joshi and
               Margaret H. Smith},
  title     = {Automated Testing of Planning Models},
  booktitle = {Model Checking and Artificial Intelligence, 5th International Workshop,
               MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and
               Invited Papers},
  pages     = {90--105},
  year      = {2008},
  crossref  = {DBLP:conf/mochart/2008},
  url       = {https://doi.org/10.1007/978-3-642-00431-5_6},
  doi       = {10.1007/978-3-642-00431-5_6},
  timestamp = {Wed, 17 May 2017 14:25:05 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mochart/HavelundGHJS08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/spin/HolzmannJG08a,
  author    = {Gerard J. Holzmann and
               Rajeev Joshi and
               Alex Groce},
  title     = {New Challenges in Model Checking},
  booktitle = {25 Years of Model Checking - History, Achievements, Perspectives},
  pages     = {65--76},
  year      = {2008},
  crossref  = {DBLP:conf/spin/5000},
  url       = {https://doi.org/10.1007/978-3-540-69850-0_4},
  doi       = {10.1007/978-3-540-69850-0_4},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/spin/HolzmannJG08a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/spin/HolzmannJG08,
  author    = {Gerard J. Holzmann and
               Rajeev Joshi and
               Alex Groce},
  title     = {Tackling Large Verification Problems with the Swarm Tool},
  booktitle = {Model Checking Software, 15th International {SPIN} Workshop, Los Angeles,
               CA, USA, August 10-12, 2008, Proceedings},
  pages     = {134--143},
  year      = {2008},
  crossref  = {DBLP:conf/spin/2008},
  url       = {https://doi.org/10.1007/978-3-540-85114-1_11},
  doi       = {10.1007/978-3-540-85114-1_11},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/spin/HolzmannJG08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GroceJ08,
  author    = {Alex Groce and
               Rajeev Joshi},
  title     = {Extending Model Checking with Dynamic Analysis},
  booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
               Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
  pages     = {142--156},
  year      = {2008},
  crossref  = {DBLP:conf/vmcai/2008},
  url       = {https://doi.org/10.1007/978-3-540-78163-9_15},
  doi       = {10.1007/978-3-540-78163-9_15},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/vmcai/GroceJ08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icse/GroceHJ07,
  author    = {Alex Groce and
               Gerard J. Holzmann and
               Rajeev Joshi},
  title     = {Randomized Differential Testing as a Prelude to Formal Verification},
  booktitle = {29th International Conference on Software Engineering {(ICSE} 2007),
               Minneapolis, MN, USA, May 20-26, 2007},
  pages     = {621--631},
  year      = {2007},
  crossref  = {DBLP:conf/icse/2007},
  url       = {https://doi.org/10.1109/ICSE.2007.68},
  doi       = {10.1109/ICSE.2007.68},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/GroceHJ07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BlancGK07,
  author    = {Nicolas Blanc and
               Alex Groce and
               Daniel Kroening},
  title     = {Verifying {C++} with {STL} containers via predicate abstraction},
  booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering
               {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}},
  pages     = {521--524},
  year      = {2007},
  crossref  = {DBLP:conf/kbse/2007},
  url       = {http://doi.acm.org/10.1145/1321631.1321724},
  doi       = {10.1145/1321631.1321724},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/BlancGK07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/igpl/GrocePY06,
  author    = {Alex Groce and
               Doron A. Peled and
               Mihalis Yannakakis},
  title     = {Adaptive Model Checking},
  journal   = {Logic Journal of the {IGPL}},
  volume    = {14},
  number    = {5},
  pages     = {729--744},
  year      = {2006},
  url       = {https://doi.org/10.1093/jigpal/jzl007},
  doi       = {10.1093/jigpal/jzl007},
  timestamp = {Fri, 28 Apr 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/igpl/GrocePY06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sttt/GroceCKS06,
  author    = {Alex Groce and
               Sagar Chaki and
               Daniel Kroening and
               Ofer Strichman},
  title     = {Error explanation with distance metrics},
  journal   = {{STTT}},
  volume    = {8},
  number    = {3},
  pages     = {229--247},
  year      = {2006},
  url       = {https://doi.org/10.1007/s10009-005-0202-0},
  doi       = {10.1007/s10009-005-0202-0},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/sttt/GroceCKS06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GroceJ06,
  author    = {Alex Groce and
               Rajeev Joshi},
  title     = {Exploiting Traces in Program Analysis},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               12th International Conference, {TACAS} 2006 Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2006,
               Vienna, Austria, March 25 - April 2, 2006, Proceedings},
  pages     = {379--393},
  year      = {2006},
  crossref  = {DBLP:conf/tacas/2006},
  url       = {https://doi.org/10.1007/11691372_25},
  doi       = {10.1007/11691372_25},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tacas/GroceJ06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/GroceK05,
  author    = {Alex Groce and
               Daniel Kroening},
  title     = {Making the Most of {BMC} Counterexamples},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {119},
  number    = {2},
  pages     = {67--81},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2004.12.023},
  doi       = {10.1016/j.entcs.2004.12.023},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/GroceK05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/MotaCGOFK04,
  author    = {Edjard Mota and
               Edmund M. Clarke and
               Alex Groce and
               Waleska Oliveira and
               Marcia Falc{\~{a}}o and
               Jorge Kanda},
  title     = {VeriAgent: an Approach to Integrating {UML} and Formal Verification
               Tools},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {95},
  pages     = {111--129},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.entcs.2004.04.008},
  doi       = {10.1016/j.entcs.2004.04.008},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/MotaCGOFK04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fmsd/ChakiCGOSY04,
  author    = {Sagar Chaki and
               Edmund M. Clarke and
               Alex Groce and
               Jo{\"{e}}l Ouaknine and
               Ofer Strichman and
               Karen Yorav},
  title     = {Efficient Verification of Sequential and Concurrent {C} Programs},
  journal   = {Formal Methods in System Design},
  volume    = {25},
  number    = {2-3},
  pages     = {129--166},
  year      = {2004},
  url       = {https://doi.org/10.1023/B:FORM.0000040026.56959.91},
  doi       = {10.1023/B:FORM.0000040026.56959.91},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/fmsd/ChakiCGOSY04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sttt/GroceV04,
  author    = {Alex Groce and
               Willem Visser},
  title     = {Heuristics for model checking Java programs},
  journal   = {{STTT}},
  volume    = {6},
  number    = {4},
  pages     = {260--276},
  year      = {2004},
  url       = {https://doi.org/10.1007/s10009-003-0130-9},
  doi       = {10.1007/s10009-003-0130-9},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/sttt/GroceV04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tse/ChakiCGJV04,
  author    = {Sagar Chaki and
               Edmund M. Clarke and
               Alex Groce and
               Somesh Jha and
               Helmut Veith},
  title     = {Modular Verification of Software Components in {C}},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {30},
  number    = {6},
  pages     = {388--402},
  year      = {2004},
  url       = {https://doi.org/10.1109/TSE.2004.22},
  doi       = {10.1109/TSE.2004.22},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tse/ChakiCGJV04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cav/GroceKL04,
  author    = {Alex Groce and
               Daniel Kroening and
               Flavio Lerda},
  title     = {Understanding Counterexamples with explain},
  booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
               2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
  pages     = {453--456},
  year      = {2004},
  crossref  = {DBLP:conf/cav/2004},
  url       = {https://doi.org/10.1007/978-3-540-27813-9_35},
  doi       = {10.1007/978-3-540-27813-9_35},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/GroceKL04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfem/KroeningGC04,
  author    = {Daniel Kroening and
               Alex Groce and
               Edmund M. Clarke},
  title     = {Counterexample Guided Abstraction Refinement Via Program Execution},
  booktitle = {Formal Methods and Software Engineering, 6th International Conference
               on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November
               8-12, 2004, Proceedings},
  pages     = {224--238},
  year      = {2004},
  crossref  = {DBLP:conf/icfem/2004},
  url       = {https://doi.org/10.1007/978-3-540-30482-1_23},
  doi       = {10.1007/978-3-540-30482-1_23},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icfem/KroeningGC04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ChakiGS04,
  author    = {Sagar Chaki and
               Alex Groce and
               Ofer Strichman},
  title     = {Explaining abstract counterexamples},
  booktitle = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
               October 31 - November 6, 2004},
  pages     = {73--82},
  year      = {2004},
  crossref  = {DBLP:conf/sigsoft/2004},
  url       = {http://doi.acm.org/10.1145/1029894.1029908},
  doi       = {10.1145/1029894.1029908},
  timestamp = {Wed, 15 Feb 2006 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sigsoft/ChakiGS04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Groce04,
  author    = {Alex Groce},
  title     = {Error Explanation with Distance Metrics},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               10th International Conference, {TACAS} 2004, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2004,
               Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
  pages     = {108--122},
  year      = {2004},
  crossref  = {DBLP:conf/tacas/2004},
  url       = {https://doi.org/10.1007/978-3-540-24730-2_8},
  doi       = {10.1007/978-3-540-24730-2_8},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tacas/Groce04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/charme/ChakiCGS03,
  author    = {Sagar Chaki and
               Edmund M. Clarke and
               Alex Groce and
               Ofer Strichman},
  title     = {Predicate Abstraction with Minimum Predicates},
  booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
               10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
               Italy, October 21-24, 2003, Proceedings},
  pages     = {19--34},
  year      = {2003},
  crossref  = {DBLP:conf/charme/2003},
  url       = {https://doi.org/10.1007/978-3-540-39724-3_5},
  doi       = {10.1007/978-3-540-39724-3_5},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/charme/ChakiCGS03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChakiCGJV03,
  author    = {Sagar Chaki and
               Edmund M. Clarke and
               Alex Groce and
               Somesh Jha and
               Helmut Veith},
  title     = {Modular Verification of Software Components in {C}},
  booktitle = {Proceedings of the 25th International Conference on Software Engineering,
               May 3-10, 2003, Portland, Oregon, {USA}},
  pages     = {385--395},
  year      = {2003},
  crossref  = {DBLP:conf/icse/2003},
  url       = {https://doi.org/10.1109/ICSE.2003.1201217},
  doi       = {10.1109/ICSE.2003.1201217},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/ChakiCGJV03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/spin/GroceV03,
  author    = {Alex Groce and
               Willem Visser},
  title     = {What Went Wrong: Explaining Counterexamples},
  booktitle = {Model Checking Software, 10th International {SPIN} Workshop. Portland,
               OR, USA, May 9-10, 2003, Proceedings},
  pages     = {121--135},
  year      = {2003},
  crossref  = {DBLP:conf/spin/2003},
  url       = {https://doi.org/10.1007/3-540-44829-2_8},
  doi       = {10.1007/3-540-44829-2_8},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/spin/GroceV03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cav/GrocePY02,
  author    = {Alex Groce and
               Doron A. Peled and
               Mihalis Yannakakis},
  title     = {{AMC:} An Adaptive Model Checker},
  booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
               2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
  pages     = {521--525},
  year      = {2002},
  crossref  = {DBLP:conf/cav/2002},
  url       = {https://doi.org/10.1007/3-540-45657-0_44},
  doi       = {10.1007/3-540-45657-0_44},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/GrocePY02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issta/GroceV02,
  author    = {Alex Groce and
               Willem Visser},
  title     = {Model checking Java programs using structural heuristics},
  booktitle = {Proceedings of the International Symposium on Software Testing and
               Analysis, {ISSTA} 2002, Roma, Italy, July 22-24, 2002},
  pages     = {12--21},
  year      = {2002},
  crossref  = {DBLP:conf/issta/2002},
  url       = {http://doi.acm.org/10.1145/566172.566175},
  doi       = {10.1145/566172.566175},
  timestamp = {Fri, 03 Feb 2017 11:47:16 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issta/GroceV02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/spin/GroceV02,
  author    = {Alex Groce and
               Willem Visser},
  title     = {Heuristic Model Checking for Java Programs},
  booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
               France, April 11-13, 2002, Proceedings},
  pages     = {242--245},
  year      = {2002},
  crossref  = {DBLP:conf/spin/2002},
  url       = {https://doi.org/10.1007/3-540-46017-9_21},
  doi       = {10.1007/3-540-46017-9_21},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/spin/GroceV02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GrocePY02,
  author    = {Alex Groce and
               Doron A. Peled and
               Mihalis Yannakakis},
  title     = {Adaptive Model Checking},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               8th International Conference, {TACAS} 2002, Held as Part of the Joint
               European Conference on Theory and Practice of Software, {ETAPS} 2002,
               Grenoble, France, April 8-12, 2002, Proceedings},
  pages     = {357--370},
  year      = {2002},
  crossref  = {DBLP:conf/tacas/2002},
  url       = {https://doi.org/10.1007/3-540-46002-0_25},
  doi       = {10.1007/3-540-46002-0_25},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tacas/GrocePY02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cav/BhatCG01,
  author    = {Girish Bhat and
               Rance Cleaveland and
               Alex Groce},
  title     = {Efficient Model Checking Via B{\"{u}}chi Tableau Automata},
  booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
               2001, Paris, France, July 18-22, 2001, Proceedings},
  pages     = {38--52},
  year      = {2001},
  crossref  = {DBLP:conf/cav/2001},
  url       = {https://doi.org/10.1007/3-540-44585-4_5},
  doi       = {10.1007/3-540-44585-4_5},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/BhatCG01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icst/2017,
  title     = {2017 {IEEE} International Conference on Software Testing, Verification
               and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7922464},
  isbn      = {978-1-5090-6031-3},
  timestamp = {Wed, 14 Jun 2017 10:32:58 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icst/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icst/2017w,
  title     = {2017 {IEEE} International Conference on Software Testing, Verification
               and Validation Workshops, {ICST} Workshops 2017, Tokyo, Japan, March
               13-17, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7898633},
  isbn      = {978-1-5090-6676-6},
  timestamp = {Tue, 25 Apr 2017 12:34:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icst/2017w},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issta/2017,
  editor    = {Tevfik Bultan and
               Koushik Sen},
  title     = {Proceedings of the 26th {ACM} {SIGSOFT} International Symposium on
               Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14,
               2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://doi.acm.org/10.1145/3092703},
  doi       = {10.1145/3092703},
  isbn      = {978-1-4503-5076-1},
  timestamp = {Thu, 13 Jul 2017 14:49:34 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issta/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/saso/2017,
  title     = {11th {IEEE} International Conference on Self-Adaptive and Self-Organizing
               Systems, {SASO} 2017, Tucson, AZ, USA, September 18-22, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8063636},
  isbn      = {978-1-5090-6555-4},
  timestamp = {Mon, 23 Oct 2017 09:39:39 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/saso/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icse/2016,
  editor    = {Laura K. Dillon and
               Willem Visser and
               Laurie Williams},
  title     = {Proceedings of the 38th International Conference on Software Engineering,
               {ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2884781},
  doi       = {10.1145/2884781},
  isbn      = {978-1-4503-3900-1},
  timestamp = {Tue, 04 Apr 2017 13:20:28 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icse/2016c,
  editor    = {Laura K. Dillon and
               Willem Visser and
               Laurie Williams},
  title     = {Proceedings of the 38th International Conference on Software Engineering,
               {ICSE} 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://dl.acm.org/citation.cfm?id=2889160},
  isbn      = {978-1-4503-4205-6},
  timestamp = {Fri, 24 Mar 2017 09:33:29 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/icse/2016c},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icst/2016w,
  title     = {Ninth {IEEE} International Conference on Software Testing, Verification
               and Validation Workshops, {ICST} Workshops 2016, Chicago, IL, USA,
               April 11-15, 2016},
  publisher = {{IEEE} Computer Society},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7517740},
  isbn      = {978-1-5090-3674-5},
  timestamp = {Fri, 05 Aug 2016 13:02:18 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icst/2016w},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issta/2016,
  editor    = {Andreas Zeller and
               Abhik Roychoudhury},
  title     = {Proceedings of the 25th International Symposium on Software Testing
               and Analysis, {ISSTA} 2016, Saarbr{\"{u}}cken, Germany, July
               18-20, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2931037},
  doi       = {10.1145/2931037},
  isbn      = {978-1-4503-4390-9},
  timestamp = {Thu, 14 Jul 2016 15:35:55 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issta/2016},
  bibsource = {dblp computer science bibliography, http://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       = {http://doi.acm.org/10.1145/2970276},
  doi       = {10.1145/2970276},
  isbn      = {978-1-4503-3845-5},
  timestamp = {Mon, 10 Oct 2016 15:09:35 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2016atest,
  editor    = {Tanja E. J. Vos and
               Sigrid Eldh and
               Wishnu Prasetya},
  title     = {Proceedings of the 7th International Workshop on Automating Test Case
               Design, Selection, and Evaluation, A-TEST@SIGSOFT {FSE} 2016, Seattle,
               WA, USA, November 18, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2994291},
  doi       = {10.1145/2994291},
  isbn      = {978-1-4503-4401-2},
  timestamp = {Wed, 15 Mar 2017 09:30:49 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sigsoft/2016atest},
  bibsource = {dblp computer science bibliography, http://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       = {http://doi.acm.org/10.1145/2950290},
  doi       = {10.1145/2950290},
  isbn      = {978-1-4503-4218-6},
  timestamp = {Tue, 22 Nov 2016 11:19:21 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sigsoft/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ssbse/2016,
  editor    = {Federica Sarro and
               Kalyanmoy Deb},
  title     = {Search Based Software Engineering - 8th International Symposium, {SSBSE}
               2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9962},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-47106-8},
  doi       = {10.1007/978-3-319-47106-8},
  isbn      = {978-3-319-47105-1},
  timestamp = {Fri, 26 May 2017 00:50:03 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ssbse/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/isqed/2015,
  title     = {Sixteenth International Symposium on Quality Electronic Design, {ISQED}
               2015, Santa Clara, CA, USA, March 2-4, 2015},
  publisher = {{IEEE}},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7080985},
  isbn      = {978-1-4799-7581-5},
  timestamp = {Fri, 17 Apr 2015 13:24:05 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/isqed/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issre/2015,
  title     = {26th {IEEE} International Symposium on Software Reliability Engineering,
               {ISSRE} 2015, Gaithersbury, MD, USA, November 2-5, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7374093},
  isbn      = {978-1-5090-0406-5},
  timestamp = {Fri, 06 May 2016 09:06:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issre/2015},
  bibsource = {dblp computer science bibliography, http://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       = {http://doi.acm.org/10.1145/2771783},
  doi       = {10.1145/2771783},
  isbn      = {978-1-4503-3620-8},
  timestamp = {Fri, 03 Feb 2017 11:59:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issta/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/kbse/2015,
  editor    = {Myra B. Cohen and
               Lars Grunske and
               Michael Whalen},
  title     = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
               {ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7371449},
  isbn      = {978-1-5090-0025-8},
  timestamp = {Fri, 06 May 2016 09:56:26 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/nfm/2015,
  editor    = {Klaus Havelund and
               Gerard J. Holzmann and
               Rajeev Joshi},
  title     = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
               CA, USA, April 27-29, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9058},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-17524-9},
  doi       = {10.1007/978-3-319-17524-9},
  isbn      = {978-3-319-17523-2},
  timestamp = {Thu, 25 May 2017 00:40:09 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/nfm/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icdm/2014w,
  editor    = {Zhi{-}Hua Zhou and
               Wei Wang and
               Ravi Kumar and
               Hannu Toivonen and
               Jian Pei and
               Joshua Zhexue Huang and
               Xindong Wu},
  title     = {2014 {IEEE} International Conference on Data Mining Workshops, {ICDM}
               Workshops 2014, Shenzhen, China, December 14, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7022263},
  isbn      = {978-1-4799-4274-9},
  timestamp = {Mon, 12 Sep 2016 08:22:52 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icdm/2014w},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icse/2014,
  editor    = {Pankaj Jalote and
               Lionel C. Briand and
               Andr{\'{e}} van der Hoek},
  title     = {36th International Conference on Software Engineering, {ICSE} '14,
               Hyderabad, India - May 31 - June 07, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2568225},
  isbn      = {978-1-4503-2756-5},
  timestamp = {Sun, 18 May 2014 16:02:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icst/2014,
  title     = {Seventh {IEEE} International Conference on Software Testing, Verification
               and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
               Ohio, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6823818},
  isbn      = {978-0-7695-5185-2},
  timestamp = {Wed, 29 Mar 2017 16:45:26 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icst/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issre/2014,
  title     = {25th {IEEE} International Symposium on Software Reliability Engineering,
               {ISSRE} 2014, Naples, Italy, November 3-6, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6982003},
  isbn      = {978-1-4799-6032-3},
  timestamp = {Tue, 28 Apr 2015 17:32:17 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issre/2014},
  bibsource = {dblp computer science bibliography, http://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       = {http://doi.acm.org/10.1145/2610384},
  doi       = {10.1145/2610384},
  isbn      = {978-1-4503-2645-2},
  timestamp = {Fri, 03 Feb 2017 11:58:40 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issta/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2014onward,
  editor    = {Andrew P. Black and
               Shriram Krishnamurthi and
               Bernd Bruegge and
               Joseph N. Ruskiewicz},
  title     = {Onward! 2014, Proceedings of the 2014 {ACM} International Symposium
               on New Ideas, New Paradigms, and Reflections on Programming {\&}
               Software, part of {SPLASH} '14, Portland, OR, USA, October 20-24,
               2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2661136},
  isbn      = {978-1-4503-3210-1},
  timestamp = {Thu, 07 Apr 2016 13:06:22 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/2014onward},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/qsic/2014,
  title     = {2014 14th International Conference on Quality Software, Allen, TX,
               USA, October 2-3, 2014},
  publisher = {{IEEE}},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6954738},
  isbn      = {978-1-4799-7197-8},
  timestamp = {Tue, 02 Dec 2014 17:13:30 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/qsic/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issre/2013,
  title     = {{IEEE} 24th International Symposium on Software Reliability Engineering,
               {ISSRE} 2013, Pasadena, CA, USA, November 4-7, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6689494},
  isbn      = {978-1-4799-2366-3},
  timestamp = {Tue, 28 Apr 2015 17:32:20 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issre/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issta/2013,
  editor    = {Mauro Pezz{\`{e}} and
               Mark Harman},
  title     = {International Symposium on Software Testing and Analysis, {ISSTA}
               '13, Lugano, Switzerland, July 15-20, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://doi.acm.org/10.1145/2483760},
  doi       = {10.1145/2483760},
  isbn      = {978-1-4503-2159-4},
  timestamp = {Fri, 03 Feb 2017 11:58:32 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issta/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pldi/2013,
  editor    = {Hans{-}Juergen Boehm and
               Cormac Flanagan},
  title     = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
               {PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2491956},
  isbn      = {978-1-4503-2014-6},
  timestamp = {Sun, 09 Jun 2013 12:25:37 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/isola/2012-1,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {Leveraging Applications of Formal Methods, Verification and Validation.
               Technologies for Mastering Change - 5th International Symposium, ISoLA
               2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
               Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7609},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-34026-0},
  doi       = {10.1007/978-3-642-34026-0},
  isbn      = {978-3-642-34025-3},
  timestamp = {Tue, 23 May 2017 01:12:13 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/isola/2012-1},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issre/2012,
  title     = {23rd {IEEE} International Symposium on Software Reliability Engineering,
               {ISSRE} 2012, Dallas, TX, USA, November 27-30, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6403947},
  isbn      = {978-1-4673-4638-2},
  timestamp = {Tue, 28 Apr 2015 17:32:19 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issre/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issta/2012w,
  editor    = {Eric Bodden and
               Madanlal Musuvathi},
  title     = {Proceedings of the International Workshop on Dynamic Analysis: held
               in conjunction with the {ACM} {SIGSOFT} International Symposium on
               Software Testing and Analysis {(ISSTA} 2012), {WODA} 2012, Minneapolis,
               MN, USA, Sunday, July 15, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2338966},
  isbn      = {978-1-4503-1455-8},
  timestamp = {Wed, 15 Jun 2016 10:44:20 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issta/2012w},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issta/2012,
  editor    = {Mats Per Erik Heimdahl and
               Zhendong Su},
  title     = {International Symposium on Software Testing and Analysis, {ISSTA}
               2012, Minneapolis, MN, USA, July 15-20, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://doi.acm.org/10.1145/2338965},
  doi       = {10.1145/2338965},
  isbn      = {978-1-4503-1454-1},
  timestamp = {Fri, 03 Feb 2017 11:58:24 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issta/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iseud/2011,
  editor    = {Maria Francesca Costabile and
               Yvonne Dittrich and
               Gerhard Fischer and
               Antonio Piccinno},
  title     = {End-User Development - Third International Symposium, {IS-EUD} 2011,
               Torre Canne (BR), Italy, June 7-10, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6654},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21530-8},
  doi       = {10.1007/978-3-642-21530-8},
  isbn      = {978-3-642-21529-2},
  timestamp = {Sun, 04 Jun 2017 10:09:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iseud/2011},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/conf/kbse/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/vl/2011,
  editor    = {Gennaro Costagliola and
               Andrew Jensen Ko and
               Allen Cypher and
               Jeffrey Nichols and
               Christopher Scaffidi and
               Caitlin Kelleher and
               Brad A. Myers},
  title     = {2011 {IEEE} Symposium on Visual Languages and Human-Centric Computing,
               {VL/HCC} 2011, Pittsburgh, PA, USA, September 18-22, 2011},
  publisher = {{IEEE}},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6059237},
  isbn      = {978-1-4577-1246-3},
  timestamp = {Wed, 16 Nov 2011 19:46:55 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/vl/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icse/2010-2,
  editor    = {Jeff Kramer and
               Judith Bishop and
               Premkumar T. Devanbu and
               Sebasti{\'{a}}n Uchitel},
  title     = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software
               Engineering - Volume 2, {ICSE} 2010, Cape Town, South Africa, 1-8
               May 2010},
  publisher = {{ACM}},
  year      = {2010},
  timestamp = {Mon, 15 Jun 2015 19:00:08 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/2010-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issta/2009w,
  editor    = {Ben Liblit and
               Andy Podgurski},
  title     = {Proceedings of the International Workshop on Dynamic Analysis: held
               in conjunction with the {ACM} {SIGSOFT} International Symposium on
               Software Testing and Analysis {(ISSTA} 2009), {WODA} 2009, Chicago,
               IL, USA, July, 2009},
  year      = {2009},
  url       = {http://dl.acm.org/citation.cfm?id=2134243},
  isbn      = {978-1-60558-656-4},
  timestamp = {Wed, 15 Jun 2016 10:44:20 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issta/2009w},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/rv/2009,
  editor    = {Saddek Bensalem and
               Doron A. Peled},
  title     = {Runtime Verification, 9th International Workshop, {RV} 2009, Grenoble,
               France, June 26-28, 2009. Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5779},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04694-0},
  doi       = {10.1007/978-3-642-04694-0},
  isbn      = {978-3-642-04693-3},
  timestamp = {Wed, 17 May 2017 14:24:47 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/rv/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1003-5363,
  editor    = {Manuela L. Bujorianu and
               Michael Fisher},
  title     = {Proceedings {FM-09} Workshop on Formal Methods for Aerospace, {FMA}
               2009, Eindhoven, The Netherlands, 3rd November 2009},
  series    = {{EPTCS}},
  volume    = {20},
  year      = {2009},
  url       = {https://doi.org/10.4204/EPTCS.20},
  doi       = {10.4204/EPTCS.20},
  timestamp = {Wed, 03 May 2017 14:47:53 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1003-5363},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issta/2008w,
  editor    = {Ben Liblit and
               Atanas Rountev},
  title     = {Proceedings of the 2008 International Workshop on Dynamic Analysis:
               held in conjunction with the {ACM} {SIGSOFT} International Symposium
               on Software Testing and Analysis {(ISSTA} 2008), {WODA} 2008, Seattle,
               Washington, USA, July 21, 2008},
  publisher = {{ACM}},
  year      = {2008},
  url       = {http://doi.acm.org/10.1145/1401827},
  doi       = {10.1145/1401827},
  isbn      = {978-1-60558-054-8},
  timestamp = {Thu, 23 Jun 2016 15:53:29 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issta/2008w},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/kbse/2008,
  title     = {23rd {IEEE/ACM} International Conference on Automated Software Engineering
               {(ASE} 2008), 15-19 September 2008, L'Aquila, Italy},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4639292},
  isbn      = {978-1-4244-2187-9},
  timestamp = {Thu, 13 Aug 2015 18:46:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mochart/2008,
  editor    = {Doron A. Peled and
               Michael Wooldridge},
  title     = {Model Checking and Artificial Intelligence, 5th International Workshop,
               MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and
               Invited Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5348},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00431-5},
  doi       = {10.1007/978-3-642-00431-5},
  isbn      = {978-3-642-00430-8},
  timestamp = {Wed, 17 May 2017 14:25:05 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/mochart/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/spin/5000,
  editor    = {Orna Grumberg and
               Helmut Veith},
  title     = {25 Years of Model Checking - History, Achievements, Perspectives},
  series    = {Lecture Notes in Computer Science},
  volume    = {5000},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-69850-0},
  doi       = {10.1007/978-3-540-69850-0},
  isbn      = {978-3-540-69849-4},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/spin/5000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/spin/2008,
  editor    = {Klaus Havelund and
               Rupak Majumdar and
               Jens Palsberg},
  title     = {Model Checking Software, 15th International {SPIN} Workshop, Los Angeles,
               CA, USA, August 10-12, 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5156},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-85114-1},
  doi       = {10.1007/978-3-540-85114-1},
  isbn      = {978-3-540-85113-4},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/spin/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2008,
  editor    = {Francesco Logozzo and
               Doron A. Peled and
               Lenore D. Zuck},
  title     = {Verification, Model Checking, and Abstract Interpretation, 9th International
               Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4905},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78163-9},
  doi       = {10.1007/978-3-540-78163-9},
  isbn      = {978-3-540-78162-2},
  timestamp = {Fri, 02 Jun 2017 13:01:08 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/vmcai/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icse/2007,
  title     = {29th International Conference on Software Engineering {(ICSE} 2007),
               Minneapolis, MN, USA, May 20-26, 2007},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4222553},
  isbn      = {0-7695-2828-7},
  timestamp = {Tue, 08 Sep 2015 16:21:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/kbse/2007,
  editor    = {R. E. Kurt Stirewalt and
               Alexander Egyed and
               Bernd Fischer},
  title     = {22nd {IEEE/ACM} International Conference on Automated Software Engineering
               {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}},
  publisher = {{ACM}},
  year      = {2007},
  url       = {http://doi.acm.org/10.1145/1321631},
  doi       = {10.1145/1321631},
  isbn      = {978-1-59593-882-4},
  timestamp = {Thu, 13 Aug 2015 18:46:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tacas/2006,
  editor    = {Holger Hermanns and
               Jens Palsberg},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems,
               12th International Conference, {TACAS} 2006 Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2006,
               Vienna, Austria, March 25 - April 2, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3920},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11691372},
  doi       = {10.1007/11691372},
  isbn      = {3-540-33056-9},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tacas/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cav/2004,
  editor    = {Rajeev Alur and
               Doron A. Peled},
  title     = {Computer Aided Verification, 16th International Conference, {CAV}
               2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3114},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b98490},
  doi       = {10.1007/b98490},
  isbn      = {3-540-22342-8},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icfem/2004,
  editor    = {Jim Davies and
               Wolfram Schulte and
               Michael Barnett},
  title     = {Formal Methods and Software Engineering, 6th International Conference
               on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November
               8-12, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3308},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b102837},
  doi       = {10.1007/b102837},
  isbn      = {3-540-23841-7},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icfem/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2004,
  editor    = {Richard N. Taylor and
               Matthew B. Dwyer},
  title     = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
               October 31 - November 6, 2004},
  publisher = {{ACM}},
  year      = {2004},
  isbn      = {1-58113-855-5},
  timestamp = {Mon, 29 Nov 2004 15:56:34 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sigsoft/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tacas/2004,
  editor    = {Kurt Jensen and
               Andreas Podelski},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems,
               10th International Conference, {TACAS} 2004, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2004,
               Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2988},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b96393},
  doi       = {10.1007/b96393},
  isbn      = {3-540-21299-X},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tacas/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/charme/2003,
  editor    = {Daniel Geist and
               Enrico Tronci},
  title     = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
               10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
               Italy, October 21-24, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2860},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b93958},
  doi       = {10.1007/b93958},
  isbn      = {3-540-20363-X},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/charme/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icse/2003,
  editor    = {Lori A. Clarke and
               Laurie Dillon and
               Walter F. Tichy},
  title     = {Proceedings of the 25th International Conference on Software Engineering,
               May 3-10, 2003, Portland, Oregon, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2003},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8548},
  isbn      = {0-7695-1877-X},
  timestamp = {Wed, 25 May 2016 15:50:13 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/spin/2003,
  editor    = {Thomas Ball and
               Sriram K. Rajamani},
  title     = {Model Checking Software, 10th International {SPIN} Workshop. Portland,
               OR, USA, May 9-10, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2648},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44829-2},
  doi       = {10.1007/3-540-44829-2},
  isbn      = {3-540-40117-2},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/spin/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cav/2002,
  editor    = {Ed Brinksma and
               Kim Guldstrand Larsen},
  title     = {Computer Aided Verification, 14th International Conference, {CAV}
               2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2404},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45657-0},
  doi       = {10.1007/3-540-45657-0},
  isbn      = {3-540-43997-8},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issta/2002,
  editor    = {Phyllis G. Frankl},
  title     = {Proceedings of the International Symposium on Software Testing and
               Analysis, {ISSTA} 2002, Roma, Italy, July 22-24, 2002},
  publisher = {{ACM}},
  year      = {2002},
  url       = {http://doi.acm.org/10.1145/566172},
  doi       = {10.1145/566172},
  isbn      = {1-58113-562-9},
  timestamp = {Fri, 03 Feb 2017 11:47:16 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issta/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/spin/2002,
  editor    = {Dragan Bosnacki and
               Stefan Leue},
  title     = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
               France, April 11-13, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2318},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-46017-9},
  doi       = {10.1007/3-540-46017-9},
  isbn      = {3-540-43477-1},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/spin/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tacas/2002,
  editor    = {Joost{-}Pieter Katoen and
               Perdita Stevens},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems,
               8th International Conference, {TACAS} 2002, Held as Part of the Joint
               European Conference on Theory and Practice of Software, {ETAPS} 2002,
               Grenoble, France, April 8-12, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2280},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-46002-0},
  doi       = {10.1007/3-540-46002-0},
  isbn      = {3-540-43419-4},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tacas/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cav/2001,
  editor    = {G{\'{e}}rard Berry and
               Hubert Comon and
               Alain Finkel},
  title     = {Computer Aided Verification, 13th International Conference, {CAV}
               2001, Paris, France, July 18-22, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2102},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44585-4},
  doi       = {10.1007/3-540-44585-4},
  isbn      = {3-540-42345-1},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier