BibTeX records: Nikolai Tillmann

download as .bib file

@inproceedings{DBLP:conf/icse/LiXBXT16,
  author    = {Sihan Li and
               Xusheng Xiao and
               Blake Bassett and
               Tao Xie and
               Nikolai Tillmann},
  title     = {Measuring code behavioral similarity for programming and software
               engineering education},
  booktitle = {Proceedings of the 38th International Conference on Software Engineering,
               {ICSE} 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume},
  pages     = {501--510},
  year      = {2016},
  crossref  = {DBLP:conf/icse/2016c},
  url       = {http://doi.acm.org/10.1145/2889160.2889204},
  doi       = {10.1145/2889160.2889204},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/LiXBXT16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/XieTL25,
  author    = {Tao Xie and
               Nikolai Tillmann and
               Pratap Lakshman},
  title     = {Advances in unit testing: theory and practice},
  booktitle = {Proceedings of the 38th International Conference on Software Engineering,
               {ICSE} 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume},
  pages     = {904--905},
  year      = {2016},
  crossref  = {DBLP:conf/icse/2016c},
  url       = {http://doi.acm.org/10.1145/2889160.2891056},
  doi       = {10.1145/2889160.2891056},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/XieTL25},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/XiaoTFHMX15,
  author    = {Xusheng Xiao and
               Nikolai Tillmann and
               Manuel F{\"{a}}hndrich and
               Jonathan de Halleux and
               Michal Moskal and
               Tao Xie},
  title     = {User-aware privacy control via extended static-information-flow analysis},
  journal   = {Autom. Softw. Eng.},
  volume    = {22},
  number    = {3},
  pages     = {333--366},
  year      = {2015},
  url       = {https://doi.org/10.1007/s10515-014-0166-y},
  doi       = {10.1007/s10515-014-0166-y},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ase/XiaoTFHMX15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotsos/XieBTH15,
  author    = {Tao Xie and
               Judith Bishop and
               Nikolai Tillmann and
               Jonathan de Halleux},
  title     = {Gamifying software security education and training via secure coding
               duels in code hunt},
  booktitle = {Proceedings of the 2015 Symposium and Bootcamp on the Science of Security,
               HotSoS 2015, Urbana, IL, USA, April 21-22, 2015},
  pages     = {26:1--26:2},
  year      = {2015},
  crossref  = {DBLP:conf/hotsos/2015},
  url       = {http://doi.acm.org/10.1145/2746194.2746220},
  doi       = {10.1145/2746194.2746220},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hotsos/XieBTH15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/XieBHTH15,
  author    = {Tao Xie and
               Judith Bishop and
               R. Nigel Horspool and
               Nikolai Tillmann and
               Jonathan de Halleux},
  title     = {Crowdsourcing Code and Process via Code Hunt},
  booktitle = {2nd {IEEE/ACM} International Workshop on CrowdSourcing in Software
               Engineering, {CSI-SE} 2015, Florence, Italy, May 19, 2015},
  pages     = {15--16},
  year      = {2015},
  crossref  = {DBLP:conf/icse/2015csise},
  url       = {https://doi.org/10.1109/CSI-SE.2015.10},
  doi       = {10.1109/CSI-SE.2015.10},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/XieBHTH15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BallBHMPT15,
  author    = {Thomas Ball and
               Sebastian Burckhardt and
               Jonathan de Halleux and
               Michal Moskal and
               Jonathan Protzenko and
               Nikolai Tillmann},
  title     = {Beyond Open Source: The Touch Develop Cloud-Based Integrated Development
               Environment},
  booktitle = {2nd {ACM} International Conference on Mobile Software Engineering
               and Systems, MOBILESoft 2015, Florence, Italy, May 16-17, 2015},
  pages     = {83--93},
  year      = {2015},
  crossref  = {DBLP:conf/icse/2015mobilesoft},
  url       = {https://doi.org/10.1109/MobileSoft.2015.20},
  doi       = {10.1109/MobileSoft.2015.20},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/BallBHMPT15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BishopHXTH15,
  author    = {Judith Bishop and
               R. Nigel Horspool and
               Tao Xie and
               Nikolai Tillmann and
               Jonathan de Halleux},
  title     = {Code Hunt: Experience with Coding Contests at Scale},
  booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
               {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
  pages     = {398--407},
  year      = {2015},
  crossref  = {DBLP:conf/icse/2015-2},
  url       = {https://doi.org/10.1109/ICSE.2015.172},
  doi       = {10.1109/ICSE.2015.172},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/BishopHXTH15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/HorspoolBHT15,
  author    = {R. Nigel Horspool and
               Judith Bishop and
               Jonathan de Halleux and
               Nikolai Tillmann},
  title     = {Experience with constructing code hunt contests},
  booktitle = {Proceedings of the 1st International Workshop on Code Hunt on Educational
               Software Engineering, CHESE@ISSTA 2015, Baltimore, MD, USA, July 14,
               2015},
  pages     = {1--4},
  year      = {2015},
  crossref  = {DBLP:conf/issta/2015chese},
  url       = {http://doi.acm.org/10.1145/2792404.2792405},
  doi       = {10.1145/2792404.2792405},
  timestamp = {Fri, 06 Oct 2017 17:24:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issta/HorspoolBHT15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2015chese,
  editor    = {Tao Xie and
               Alessandro Orso and
               Judith Bishop and
               Nikolai Tillmann},
  title     = {Proceedings of the 1st International Workshop on Code Hunt on Educational
               Software Engineering, CHESE@ISSTA 2015, Baltimore, MD, USA, July 14,
               2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://doi.acm.org/10.1145/2792404},
  doi       = {10.1145/2792404},
  isbn      = {978-1-4503-3711-3},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issta/2015chese},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/AulerBHMT14,
  author    = {Rafael Auler and
               Edson Borin and
               Peli de Halleux and
               Michal Moskal and
               Nikolai Tillmann},
  title     = {Addressing JavaScript {JIT} Engines Performance Quirks: {A} Crowdsourced
               Adaptive Compiler},
  booktitle = {Compiler Construction - 23rd International Conference, {CC} 2014,
               Held as Part of the European Joint Conferences on Theory and Practice
               of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014. Proceedings},
  pages     = {218--237},
  year      = {2014},
  crossref  = {DBLP:conf/cc/2014},
  url       = {https://doi.org/10.1007/978-3-642-54807-9\_13},
  doi       = {10.1007/978-3-642-54807-9\_13},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cc/AulerBHMT14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TillmannMHBBB14,
  author    = {Nikolai Tillmann and
               Michal Moskal and
               Jonathan de Halleux and
               Sebastian Burckhardt and
               Thomas Ball and
               Judith Bishop},
  title     = {TouchDevelop: create rich mobile apps on touch devices (tutorial)},
  booktitle = {Proceedings of the 1st International Conference on Mobile Software
               Engineering and Systems, MOBILESoft 2014, Hyderabad, India, June 2-3,
               2014},
  pages     = {1--2},
  year      = {2014},
  crossref  = {DBLP:conf/icse/2014mobilesoft},
  url       = {http://doi.acm.org/10.1145/2593902.2593903},
  doi       = {10.1145/2593902.2593903},
  timestamp = {Sun, 25 May 2014 19:22:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/TillmannMHBBB14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PuderTM14,
  author    = {Arno Puder and
               Nikolai Tillmann and
               Michal Moskal},
  title     = {Exposing native device APIs to web apps},
  booktitle = {Proceedings of the 1st International Conference on Mobile Software
               Engineering and Systems, MOBILESoft 2014, Hyderabad, India, June 2-3,
               2014},
  pages     = {18--26},
  year      = {2014},
  crossref  = {DBLP:conf/icse/2014mobilesoft},
  url       = {http://doi.acm.org/10.1145/2593902.2593908},
  doi       = {10.1145/2593902.2593908},
  timestamp = {Sun, 25 May 2014 19:22:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/PuderTM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TillmannBHPX14,
  author    = {Nikolai Tillmann and
               Judith Bishop and
               R. Nigel Horspool and
               Daniel Perelman and
               Tao Xie},
  title     = {Code hunt: searching for secret code for fun},
  booktitle = {7th International Workshop on Search-Based Software Testing, {SBST}
               2014, Hyderabad, India, June 2, 2014},
  pages     = {23--26},
  year      = {2014},
  crossref  = {DBLP:conf/icse/2014sbst},
  url       = {http://doi.acm.org/10.1145/2593833.2593838},
  doi       = {10.1145/2593833.2593838},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/TillmannBHPX14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HiltonCDMBT14,
  author    = {Michael Hilton and
               Arpit Christi and
               Danny Dig and
               Michal Moskal and
               Sebastian Burckhardt and
               Nikolai Tillmann},
  title     = {Refactoring local to cloud data types for mobile apps},
  booktitle = {Proceedings of the 1st International Conference on Mobile Software
               Engineering and Systems, MOBILESoft 2014, Hyderabad, India, June 2-3,
               2014},
  pages     = {83--92},
  year      = {2014},
  crossref  = {DBLP:conf/icse/2014mobilesoft},
  url       = {http://doi.acm.org/10.1145/2593902.2593925},
  doi       = {10.1145/2593902.2593925},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/HiltonCDMBT14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/TillmannHXB14,
  author    = {Nikolai Tillmann and
               Jonathan de Halleux and
               Tao Xie and
               Judith Bishop},
  title     = {Constructing coding duels in Pex4Fun and code hunt},
  booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
               '14, San Jose, CA, {USA} - July 21 - 26, 2014},
  pages     = {445--448},
  year      = {2014},
  crossref  = {DBLP:conf/issta/2014},
  url       = {http://doi.acm.org/10.1145/2610384.2628054},
  doi       = {10.1145/2610384.2628054},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issta/TillmannHXB14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/TillmannHX14,
  author    = {Nikolai Tillmann and
               Jonathan de Halleux and
               Tao Xie},
  title     = {Transferring an automated test generation tool to practice: from pex
               to fakes and code digger},
  booktitle = {{ACM/IEEE} International Conference on Automated Software Engineering,
               {ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
  pages     = {385--396},
  year      = {2014},
  crossref  = {DBLP:conf/kbse/2014},
  url       = {http://doi.acm.org/10.1145/2642937.2642941},
  doi       = {10.1145/2642937.2642941},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/TillmannHX14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lats/TillmannHXB14,
  author    = {Nikolai Tillmann and
               Jonathan de Halleux and
               Tao Xie and
               Judith Bishop},
  title     = {Code hunt: gamifying teaching and learning of computer science at
               scale},
  booktitle = {First {(2014)} {ACM} Conference on Learning @ Scale, L@S 2014, Atlanta,
               GA, USA, March 4-5, 2014},
  pages     = {221--222},
  year      = {2014},
  crossref  = {DBLP:conf/lats/2014},
  url       = {http://doi.acm.org/10.1145/2556325.2567870},
  doi       = {10.1145/2556325.2567870},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lats/TillmannHXB14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BishopPT14,
  author    = {Judith Bishop and
               Arno Puder and
               Nikolai Tillmann},
  title     = {2nd workshop on programming for mobile and touch: {PROMOTO} 2014},
  booktitle = {Conference on Systems, Programming, and Applications: Software for
               Humanity, {SPLASH} '14, Portland, OR, USA, October 20-24, 2014 - Companion
               Volume},
  pages     = {81--82},
  year      = {2014},
  crossref  = {DBLP:conf/oopsla/2014c},
  url       = {http://doi.acm.org/10.1145/2660252.2662136},
  doi       = {10.1145/2660252.2662136},
  timestamp = {Thu, 16 Oct 2014 09:19:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/BishopPT14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2014csise,
  editor    = {Gordon Fraser and
               Thomas D. LaToza and
               Leonardo Mariani and
               Fabrizio Pastore and
               Nikolai Tillmann},
  title     = {Proceedings of the 1st International Workshop on CrowdSourcing in
               Software Engineering, {CSI-SE} 2014, Hyderabad, India, June 2, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2593728},
  isbn      = {978-1-4503-2857-9},
  timestamp = {Sun, 25 May 2014 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2014csise},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2014,
  editor    = {Martina Seidl and
               Nikolai Tillmann},
  title     = {Tests and Proofs - 8th International Conference, {TAP} 2014, Held
               as Part of {STAF} 2014, York, UK, July 24-25, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8570},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-09099-3},
  doi       = {10.1007/978-3-319-09099-3},
  isbn      = {978-3-319-09098-6},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tap/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0033774,
  author    = {R. Nigel Horspool and
               Nikolai Tillmann},
  title     = {TouchDevelop - Programming on the Go {(3.} ed.)},
  series    = {The expert's voice in mobile technologies},
  publisher = {Apress},
  year      = {2013},
  url       = {http://www.apress.com/9781430261360},
  isbn      = {978-1-4302-6136-0},
  timestamp = {Wed, 05 Nov 2014 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/books/daglib/0033774},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/XieTH13,
  author    = {Tao Xie and
               Nikolai Tillmann and
               Jonathan de Halleux},
  title     = {Educational software engineering: where software engineering, education,
               and gaming meet},
  booktitle = {Proceedings of the 3rd International Workshop on Games and Software
               Engineering: Engineering Computer Games to Enable Positive, Progressive
               Change, {GAS} 2013, San Francisco, CA, USA, May 18, 2013},
  pages     = {36--39},
  year      = {2013},
  crossref  = {DBLP:conf/icse/2013gas},
  url       = {https://doi.org/10.1109/GAS.2013.6632588},
  doi       = {10.1109/GAS.2013.6632588},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/XieTH13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TillmannHXGB13,
  author    = {Nikolai Tillmann and
               Jonathan de Halleux and
               Tao Xie and
               Sumit Gulwani and
               Judith Bishop},
  title     = {Teaching and learning programming and software engineering via interactive
               gaming},
  booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
               San Francisco, CA, USA, May 18-26, 2013},
  pages     = {1117--1126},
  year      = {2013},
  crossref  = {DBLP:conf/icse/2013},
  url       = {https://doi.org/10.1109/ICSE.2013.6606662},
  doi       = {10.1109/ICSE.2013.6606662},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/TillmannHXGB13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NguyenCT04,
  author    = {Tuan Anh Nguyen and
               Christoph Csallner and
               Nikolai Tillmann},
  title     = {{GROPG:} a graphical on-phone debugger},
  booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
               San Francisco, CA, USA, May 18-26, 2013},
  pages     = {1189--1192},
  year      = {2013},
  crossref  = {DBLP:conf/icse/2013},
  url       = {https://doi.org/10.1109/ICSE.2013.6606675},
  doi       = {10.1109/ICSE.2013.6606675},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/NguyenCT04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/XiaoLXT13,
  author    = {Xusheng Xiao and
               Sihan Li and
               Tao Xie and
               Nikolai Tillmann},
  title     = {Characteristic studies of loop problems for structural test generation
               via symbolic execution},
  booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
               Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
               2013},
  pages     = {246--256},
  year      = {2013},
  crossref  = {DBLP:conf/kbse/2013},
  url       = {https://doi.org/10.1109/ASE.2013.6693084},
  doi       = {10.1109/ASE.2013.6693084},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/XiaoLXT13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/TillmannHXB13,
  author    = {Nikolai Tillmann and
               Jonathan de Halleux and
               Tao Xie and
               Judith Bishop},
  title     = {Pex4Fun: {A} web-based environment for educational gaming via automated
               test generation},
  booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
               Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
               2013},
  pages     = {730--733},
  year      = {2013},
  crossref  = {DBLP:conf/kbse/2013},
  url       = {https://doi.org/10.1109/ASE.2013.6693144},
  doi       = {10.1109/ASE.2013.6693144},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/TillmannHXB13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BurckhardtFHMMTK13,
  author    = {Sebastian Burckhardt and
               Manuel F{\"{a}}hndrich and
               Peli de Halleux and
               Sean McDirmid and
               Michal Moskal and
               Nikolai Tillmann and
               Jun Kato},
  title     = {It's alive! continuous feedback in {UI} programming},
  booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
               {PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
  pages     = {95--104},
  year      = {2013},
  crossref  = {DBLP:conf/pldi/2013},
  url       = {http://doi.acm.org/10.1145/2462156.2462170},
  doi       = {10.1145/2462156.2462170},
  timestamp = {Thu, 11 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/BurckhardtFHMMTK13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/JamrozikFTH13,
  author    = {Konrad Jamrozik and
               Gordon Fraser and
               Nikolai Tillmann and
               Jonathan de Halleux},
  title     = {Generating Test Suites with Augmented Dynamic Symbolic Execution},
  booktitle = {Tests and Proofs - 7th International Conference, {TAP} 2013, Budapest,
               Hungary, June 16-20, 2013. Proceedings},
  pages     = {152--167},
  year      = {2013},
  crossref  = {DBLP:conf/tap/2013},
  url       = {https://doi.org/10.1007/978-3-642-38916-0\_9},
  doi       = {10.1007/978-3-642-38916-0\_9},
  timestamp = {Fri, 19 May 2017 01:25:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tap/JamrozikFTH13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/LiXT13,
  author    = {Sihan Li and
               Tao Xie and
               Nikolai Tillmann},
  title     = {A comprehensive field study of end-user programming on mobile devices},
  booktitle = {2013 {IEEE} Symposium on Visual Languages and Human Centric Computing,
               San Jose, CA, USA, September 15-19, 2013},
  pages     = {43--50},
  year      = {2013},
  crossref  = {DBLP:conf/vl/2013},
  url       = {https://doi.org/10.1109/VLHCC.2013.6645242},
  doi       = {10.1109/VLHCC.2013.6645242},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vl/LiXT13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BishopTPN13,
  author    = {Judith Bishop and
               Nikolai Tillmann and
               Arno Puder and
               Vinayak Naik},
  title     = {PRoMoTo 2013 proceedings},
  journal   = {CoRR},
  volume    = {abs/1309.5500},
  year      = {2013},
  url       = {http://arxiv.org/abs/1309.5500},
  archivePrefix = {arXiv},
  eprint    = {1309.5500},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BishopTPN13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/ZhangMLXTH12,
  author    = {Linghao Zhang and
               Xiaoxing Ma and
               Jian Lu and
               Tao Xie and
               Nikolai Tillmann and
               Peli de Halleux},
  title     = {Environmental Modeling for Automated Cloud Application Testing},
  journal   = {{IEEE} Software},
  volume    = {29},
  number    = {2},
  pages     = {30--35},
  year      = {2012},
  url       = {https://doi.org/10.1109/MS.2011.158},
  doi       = {10.1109/MS.2011.158},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/software/ZhangMLXTH12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/TillmannMHFX12,
  author    = {Nikolai Tillmann and
               Michal Moskal and
               Jonathan de Halleux and
               Manuel F{\"{a}}hndrich and
               Tao Xie},
  title     = {Engage Your Students by Teaching Computer Science Using Only Mobile
               Devices with TouchDevelop},
  booktitle = {25th {IEEE} Conference on Software Engineering Education and Training,
               CSEE{\&}T 2012, Nanjing, China, April 17-19, 2012},
  pages     = {87--89},
  year      = {2012},
  crossref  = {DBLP:conf/csee/2012},
  url       = {https://doi.org/10.1109/CSEET.2012.11},
  doi       = {10.1109/CSEET.2012.11},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csee/TillmannMHFX12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/TillmannHXB12,
  author    = {Nikolai Tillmann and
               Jonathan de Halleux and
               Tao Xie and
               Judith Bishop},
  title     = {Pex4Fun: Teaching and Learning Computer Science via Social Gaming},
  booktitle = {25th {IEEE} Conference on Software Engineering Education and Training,
               CSEE{\&}T 2012, Nanjing, China, April 17-19, 2012},
  pages     = {90--91},
  year      = {2012},
  crossref  = {DBLP:conf/csee/2012},
  url       = {https://doi.org/10.1109/CSEET.2012.13},
  doi       = {10.1109/CSEET.2012.13},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csee/TillmannHXB12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NguyenRCT12,
  author    = {Tuan Anh Nguyen and
               Sarker T. A. Rumee and
               Christoph Csallner and
               Nikolai Tillmann},
  title     = {An experiment in developing small mobile phone applications comparing
               on-phone to off-phone development},
  booktitle = {Proceedings of the First International Workshop on User Evaluation
               for Software Engineering Researchers, {USER} '12, Zurich, Switzerland,
               June 5, 2012},
  pages     = {9--12},
  year      = {2012},
  crossref  = {DBLP:conf/icse/2012user},
  url       = {https://doi.org/10.1109/USER.2012.6226586},
  doi       = {10.1109/USER.2012.6226586},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/NguyenRCT12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/TillmannMHFBSX12,
  author    = {Nikolai Tillmann and
               Michal Moskal and
               Jonathan de Halleux and
               Manuel F{\"{a}}hndrich and
               Judith Bishop and
               Arjmand Samuel and
               Tao Xie},
  title     = {The future of teaching programming is on mobile devices},
  booktitle = {Annual Conference on Innovation and Technology in Computer Science
               Education, ITiCSE '12, Haifa, Israel, July 3-5, 2012},
  pages     = {156--161},
  year      = {2012},
  crossref  = {DBLP:conf/iticse/2012},
  url       = {http://doi.acm.org/10.1145/2325296.2325336},
  doi       = {10.1145/2325296.2325336},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iticse/TillmannMHFBSX12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/TillmannB12,
  author    = {Nikolai Tillmann and
               Judith Bishop},
  title     = {Teaching programming on a mobile device},
  booktitle = {Annual Conference on Innovation and Technology in Computer Science
               Education, ITiCSE '12, Haifa, Israel, July 3-5, 2012},
  pages     = {404},
  year      = {2012},
  crossref  = {DBLP:conf/iticse/2012},
  url       = {http://doi.acm.org/10.1145/2325296.2325420},
  doi       = {10.1145/2325296.2325420},
  timestamp = {Mon, 09 Jul 2012 08:25:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iticse/TillmannB12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/XiaoTFHM12,
  author    = {Xusheng Xiao and
               Nikolai Tillmann and
               Manuel F{\"{a}}hndrich and
               Jonathan de Halleux and
               Michal Moskal},
  title     = {User-aware privacy control via extended static-information-flow analysis},
  booktitle = {{IEEE/ACM} International Conference on Automated Software Engineering,
               ASE'12, Essen, Germany, September 3-7, 2012},
  pages     = {80--89},
  year      = {2012},
  crossref  = {DBLP:conf/kbse/2012},
  url       = {http://doi.acm.org/10.1145/2351676.2351689},
  doi       = {10.1145/2351676.2351689},
  timestamp = {Fri, 19 Oct 2012 17:49:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/XiaoTFHM12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/JamrozikFTH12,
  author    = {Konrad Jamrozik and
               Gordon Fraser and
               Nikolai Tillmann and
               Jonathan de Halleux},
  title     = {Augmented dynamic symbolic execution},
  booktitle = {{IEEE/ACM} International Conference on Automated Software Engineering,
               ASE'12, Essen, Germany, September 3-7, 2012},
  pages     = {254--257},
  year      = {2012},
  crossref  = {DBLP:conf/kbse/2012},
  url       = {http://doi.acm.org/10.1145/2351676.2351716},
  doi       = {10.1145/2351676.2351716},
  timestamp = {Fri, 19 Oct 2012 17:49:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/JamrozikFTH12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/TillmannHXB12,
  author    = {Nikolai Tillmann and
               Jonathan de Halleux and
               Tao Xie and
               Judith Bishop},
  title     = {Teaching and learning computing via social gaming with Pex4Fun (abstract
               only)},
  booktitle = {Proceedings of the 43rd {ACM} technical symposium on Computer science
               education, {SIGCSE} 2012, Raleigh, NC, USA, February 29 - March 3,
               2012},
  pages     = {659},
  year      = {2012},
  crossref  = {DBLP:conf/sigcse/2012},
  url       = {http://doi.acm.org/10.1145/2157136.2157340},
  doi       = {10.1145/2157136.2157340},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigcse/TillmannHXB12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/TillmannMHFX12,
  author    = {Nikolai Tillmann and
               Michal Moskal and
               Jonathan de Halleux and
               Manuel F{\"{a}}hndrich and
               Tao Xie},
  title     = {Engage your students by teaching programming using only mobile devices
               with TouchDevelop (abstract only)},
  booktitle = {Proceedings of the 43rd {ACM} technical symposium on Computer science
               education, {SIGCSE} 2012, Raleigh, NC, USA, February 29 - March 3,
               2012},
  pages     = {663},
  year      = {2012},
  crossref  = {DBLP:conf/sigcse/2012},
  url       = {http://doi.acm.org/10.1145/2157136.2157356},
  doi       = {10.1145/2157136.2157356},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigcse/TillmannMHFX12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/TillmannMHFB12,
  author    = {Nikolai Tillmann and
               Michal Moskal and
               Jonathan de Halleux and
               Manuel F{\"{a}}hndrich and
               Sebastian Burckhardt},
  title     = {TouchDevelop: app development on mobile devices},
  booktitle = {20th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering
               (FSE-20), SIGSOFT/FSE'12, Cary, NC, {USA} - November 11 - 16, 2012},
  pages     = {39},
  year      = {2012},
  crossref  = {DBLP:conf/sigsoft/2012},
  url       = {http://doi.acm.org/10.1145/2393596.2393641},
  doi       = {10.1145/2393596.2393641},
  timestamp = {Mon, 15 Jun 2015 19:00:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/TillmannMHFB12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/VanoverbergheHTP12,
  author    = {Dries Vanoverberghe and
               Jonathan de Halleux and
               Nikolai Tillmann and
               Frank Piessens},
  title     = {State Coverage: Software Validation Metrics beyond Code Coverage},
  booktitle = {{SOFSEM} 2012: Theory and Practice of Computer Science - 38th Conference
               on Current Trends in Theory and Practice of Computer Science, {\v{S}}pindler{\r{u}}v
               Ml{\'{y}}n, Czech Republic, January 21-27, 2012. Proceedings},
  pages     = {542--553},
  year      = {2012},
  crossref  = {DBLP:conf/sofsem/2012},
  url       = {https://doi.org/10.1007/978-3-642-27660-6\_44},
  doi       = {10.1007/978-3-642-27660-6\_44},
  timestamp = {Tue, 23 May 2017 01:08:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sofsem/VanoverbergheHTP12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/TillmannHX11,
  author    = {Nikolai Tillmann and
               Jonathan de Halleux and
               Tao Xie},
  title     = {Pex4Fun: Teaching and learning computer science via social gaming},
  booktitle = {24th {IEEE-CS} Conference on Software Engineering Education and Training,
               CSEE{\&}T 2011, May 22-24, 2011, Waikiki, Honolulu, HI, USA, Proceedings},
  pages     = {546--548},
  year      = {2011},
  crossref  = {DBLP:conf/csee/2011},
  url       = {https://doi.org/10.1109/CSEET.2011.5876146},
  doi       = {10.1109/CSEET.2011.5876146},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csee/TillmannHX11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/ThummalapentaMXTH11,
  author    = {Suresh Thummalapenta and
               Madhuri R. Marri and
               Tao Xie and
               Nikolai Tillmann and
               Jonathan de Halleux},
  title     = {Retrofitting Unit Tests for Parameterized Unit Testing},
  booktitle = {Fundamental Approaches to Software Engineering - 14th International
               Conference, {FASE} 2011, Held as Part of the Joint European Conferences
               on Theory and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken,
               Germany, March 26-April 3, 2011. Proceedings},
  pages     = {294--309},
  year      = {2011},
  crossref  = {DBLP:conf/fase/2011},
  url       = {https://doi.org/10.1007/978-3-642-19811-3\_21},
  doi       = {10.1007/978-3-642-19811-3\_21},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/ThummalapentaMXTH11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/XiaoXTH11,
  author    = {Xusheng Xiao and
               Tao Xie and
               Nikolai Tillmann and
               Jonathan de Halleux},
  title     = {Precise identification of problems for structural test generation},
  booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
               {ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
  pages     = {611--620},
  year      = {2011},
  crossref  = {DBLP:conf/icse/2011},
  url       = {http://doi.acm.org/10.1145/1985793.1985876},
  doi       = {10.1145/1985793.1985876},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/XiaoXTH11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GeTXT11,
  author    = {Xi Ge and
               Kunal Taneja and
               Tao Xie and
               Nikolai Tillmann},
  title     = {DyTa: dynamic symbolic execution guided with static verification results},
  booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
               {ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
  pages     = {992--994},
  year      = {2011},
  crossref  = {DBLP:conf/icse/2011},
  url       = {http://doi.acm.org/10.1145/1985793.1985971},
  doi       = {10.1145/1985793.1985971},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/GeTXT11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/XiaoXTH11a,
  author    = {Xusheng Xiao and
               Tao Xie and
               Nikolai Tillmann and
               Jonathan de Halleux},
  title     = {Covana: precise identification of problems in pex},
  booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
               {ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
  pages     = {1004--1006},
  year      = {2011},
  crossref  = {DBLP:conf/icse/2011},
  url       = {http://doi.acm.org/10.1145/1985793.1985976},
  doi       = {10.1145/1985793.1985976},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/XiaoXTH11a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CadarGKPSTV11,
  author    = {Cristian Cadar and
               Patrice Godefroid and
               Sarfraz Khurshid and
               Corina S. Pasareanu and
               Koushik Sen and
               Nikolai Tillmann and
               Willem Visser},
  title     = {Symbolic execution for software testing in practice: preliminary assessment},
  booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
               {ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
  pages     = {1066--1071},
  year      = {2011},
  crossref  = {DBLP:conf/icse/2011},
  url       = {http://doi.acm.org/10.1145/1985793.1985995},
  doi       = {10.1145/1985793.1985995},
  timestamp = {Wed, 01 Apr 2015 20:06:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/CadarGKPSTV11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/TanejaXTH11,
  author    = {Kunal Taneja and
               Tao Xie and
               Nikolai Tillmann and
               Jonathan de Halleux},
  title     = {eXpress: guided path exploration for efficient regression test generation},
  booktitle = {Proceedings of the 20th International Symposium on Software Testing
               and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages     = {1--11},
  year      = {2011},
  crossref  = {DBLP:conf/issta/2011},
  url       = {http://doi.acm.org/10.1145/2001420.2001422},
  doi       = {10.1145/2001420.2001422},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issta/TanejaXTH11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/PhilippsenTB11,
  author    = {Michael Philippsen and
               Nikolai Tillmann and
               Daniel Brinkers},
  title     = {Double Inspection for Run-Time Loop Parallelization},
  booktitle = {Languages and Compilers for Parallel Computing, 24th International
               Workshop, {LCPC} 2011, Fort Collins, CO, USA, September 8-10, 2011.
               Revised Selected Papers},
  pages     = {46--60},
  year      = {2011},
  crossref  = {DBLP:conf/lcpc/2011},
  url       = {https://doi.org/10.1007/978-3-642-36036-7\_4},
  doi       = {10.1007/978-3-642-36036-7\_4},
  timestamp = {Wed, 17 May 2017 14:24:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lcpc/PhilippsenTB11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/TillmannMHF11,
  author    = {Nikolai Tillmann and
               Michal Moskal and
               Jonathan de Halleux and
               Manuel F{\"{a}}hndrich},
  title     = {TouchDevelop: programming cloud-connected mobile devices via touchscreen},
  booktitle = {{ACM} Symposium on New Ideas in Programming and Reflections on Software,
               Onward! 2011, part of {SPLASH} '11, Portland, OR, USA, October 22-27,
               2011},
  pages     = {49--60},
  year      = {2011},
  crossref  = {DBLP:conf/oopsla/2011onward},
  url       = {http://doi.acm.org/10.1145/2048237.2048245},
  doi       = {10.1145/2048237.2048245},
  timestamp = {Thu, 20 Jun 2013 09:35:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/TillmannMHF11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ThummalapentaXTHS11,
  author    = {Suresh Thummalapenta and
               Tao Xie and
               Nikolai Tillmann and
               Jonathan de Halleux and
               Zhendong Su},
  title     = {Synthesizing method sequences for high-coverage testing},
  booktitle = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
               part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
  pages     = {189--206},
  year      = {2011},
  crossref  = {DBLP:conf/oopsla/2011},
  url       = {http://doi.acm.org/10.1145/2048066.2048083},
  doi       = {10.1145/2048066.2048083},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/ThummalapentaXTHS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saicsit/BishopHTHSX11,
  author    = {Judith Bishop and
               Jonathan de Halleux and
               Nikolai Tillmann and
               R. Nigel Horspool and
               Don Syme and
               Tao Xie},
  title     = {Browser-based software for technology transfer},
  booktitle = {Proceedings of the 2011 Annual Conference of the South African Institute
               of Computer Scientists and Information Technologists, {SAICSIT} 2011,
               Cape Town, South Africa, October 3-5, 2011},
  pages     = {338--340},
  year      = {2011},
  crossref  = {DBLP:conf/saicsit/2011},
  url       = {http://doi.acm.org/10.1145/2072221.2072273},
  doi       = {10.1145/2072221.2072273},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/saicsit/BishopHTHSX11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TillmannHX10,
  author    = {Nikolai Tillmann and
               Jonathan de Halleux and
               Tao Xie},
  title     = {Parameterized unit testing: theory and practice},
  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     = {483--484},
  year      = {2010},
  crossref  = {DBLP:conf/icse/2010-2},
  url       = {http://doi.acm.org/10.1145/1810295.1810441},
  doi       = {10.1145/1810295.1810441},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/TillmannHX10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/PanditaXTH10,
  author    = {Rahul Pandita and
               Tao Xie and
               Nikolai Tillmann and
               Jonathan de Halleux},
  title     = {Guided test generation for coverage criteria},
  booktitle = {26th {IEEE} International Conference on Software Maintenance {(ICSM}
               2010), September 12-18, 2010, Timisoara, Romania},
  pages     = {1--10},
  year      = {2010},
  crossref  = {DBLP:conf/icsm/2010},
  url       = {https://doi.org/10.1109/ICSM.2010.5609565},
  doi       = {10.1109/ICSM.2010.5609565},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsm/PanditaXTH10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/ZhangXZTHM10,
  author    = {Lingming Zhang and
               Tao Xie and
               Lu Zhang and
               Nikolai Tillmann and
               Jonathan de Halleux and
               Hong Mei},
  title     = {Test generation via Dynamic Symbolic Execution for mutation testing},
  booktitle = {26th {IEEE} International Conference on Software Maintenance {(ICSM}
               2010), September 12-18, 2010, Timisoara, Romania},
  pages     = {1--10},
  year      = {2010},
  crossref  = {DBLP:conf/icsm/2010},
  url       = {https://doi.org/10.1109/ICSM.2010.5609672},
  doi       = {10.1109/ICSM.2010.5609672},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsm/ZhangXZTHM10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/VeanesHT10,
  author    = {Margus Veanes and
               Peli de Halleux and
               Nikolai Tillmann},
  title     = {Rex: Symbolic Regular Expression Explorer},
  booktitle = {Third International Conference on Software Testing, Verification and
               Validation, {ICST} 2010, Paris, France, April 7-9, 2010},
  pages     = {498--507},
  year      = {2010},
  crossref  = {DBLP:conf/icst/2010},
  url       = {https://doi.org/10.1109/ICST.2010.15},
  doi       = {10.1109/ICST.2010.15},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/VeanesHT10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/TanejaLMXT10,
  author    = {Kunal Taneja and
               Nuo Li and
               Madhuri R. Marri and
               Tao Xie and
               Nikolai Tillmann},
  title     = {MiTV: multiple-implementation testing of user-input validators for
               web applications},
  booktitle = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
               Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages     = {131--134},
  year      = {2010},
  crossref  = {DBLP:conf/kbse/2010},
  url       = {http://doi.acm.org/10.1145/1858996.1859019},
  doi       = {10.1145/1858996.1859019},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/TanejaLMXT10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/VeanesTH10,
  author    = {Margus Veanes and
               Nikolai Tillmann and
               Jonathan de Halleux},
  title     = {Qex: Symbolic {SQL} Query Explorer},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th
               International Conference, LPAR-16, Dakar, Senegal, April 25-May 1,
               2010, Revised Selected Papers},
  pages     = {425--446},
  year      = {2010},
  crossref  = {DBLP:conf/lpar/2010d},
  url       = {https://doi.org/10.1007/978-3-642-17511-4\_24},
  doi       = {10.1007/978-3-642-17511-4\_24},
  timestamp = {Tue, 23 May 2017 01:12:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/VeanesTH10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/XieHTS10,
  author    = {Tao Xie and
               Jonathan de Halleux and
               Nikolai Tillmann and
               Wolfram Schulte},
  title     = {Teaching and training developer-testing techniques and tool support},
  booktitle = {Companion to the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming, Systems, Languages, and Applications, {SPLASH/OOPSLA}
               2010, October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
  pages     = {175--182},
  year      = {2010},
  crossref  = {DBLP:conf/oopsla/2010c},
  url       = {http://doi.acm.org/10.1145/1869542.1869570},
  doi       = {10.1145/1869542.1869570},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/XieHTS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BebenitaBFLSTV10,
  author    = {Michael Bebenita and
               Florian Brandner and
               Manuel F{\"{a}}hndrich and
               Francesco Logozzo and
               Wolfram Schulte and
               Nikolai Tillmann and
               Herman Venter},
  title     = {{SPUR:} a trace-based {JIT} compiler for {CIL}},
  booktitle = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
               October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
  pages     = {708--725},
  year      = {2010},
  crossref  = {DBLP:conf/oopsla/2010},
  url       = {http://doi.acm.org/10.1145/1869459.1869517},
  doi       = {10.1145/1869459.1869517},
  timestamp = {Wed, 27 Oct 2010 13:44:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/BebenitaBFLSTV10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/LakhotiaTHH10,
  author    = {Kiran Lakhotia and
               Nikolai Tillmann and
               Mark Harman and
               Jonathan de Halleux},
  title     = {FloPSy - Search-Based Floating Point Constraint Solving for Symbolic
               Execution},
  booktitle = {Testing Software and Systems - 22nd {IFIP} {WG} 6.1 International
               Conference, {ICTSS} 2010, Natal, Brazil, November 8-10, 2010. Proceedings},
  pages     = {142--157},
  year      = {2010},
  crossref  = {DBLP:conf/pts/2010},
  url       = {https://doi.org/10.1007/978-3-642-16573-3\_11},
  doi       = {10.1007/978-3-642-16573-3\_11},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pts/LakhotiaTHH10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/WhalenGMPTV10,
  author    = {Michael W. Whalen and
               Patrice Godefroid and
               Leonardo Mariani and
               Andrea Polini and
               Nikolai Tillmann and
               Willem Visser},
  title     = {{FITE:} future integrated testing environment},
  booktitle = {Proceedings of the Workshop on Future of Software Engineering Research,
               FoSER 2010, at the 18th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
               7-11, 2010},
  pages     = {401--406},
  year      = {2010},
  crossref  = {DBLP:conf/sigsoft/2010foser},
  url       = {http://doi.acm.org/10.1145/1882362.1882444},
  doi       = {10.1145/1882362.1882444},
  timestamp = {Fri, 28 Jan 2011 07:43:06 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/WhalenGMPTV10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/XieTHS10,
  author    = {Tao Xie and
               Nikolai Tillmann and
               Jonathan de Halleux and
               Wolfram Schulte},
  title     = {Future of developer testing: building quality in code},
  booktitle = {Proceedings of the Workshop on Future of Software Engineering Research,
               FoSER 2010, at the 18th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
               7-11, 2010},
  pages     = {415--420},
  year      = {2010},
  crossref  = {DBLP:conf/sigsoft/2010foser},
  url       = {http://doi.acm.org/10.1145/1882362.1882447},
  doi       = {10.1145/1882362.1882447},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/XieTHS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/ThummalapentaHTW10,
  author    = {Suresh Thummalapenta and
               Jonathan de Halleux and
               Nikolai Tillmann and
               Scott Wadsworth},
  title     = {DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes
               of Dynamic Traces},
  booktitle = {Tests and Proofs, 4th International Conference, {TAP} 2010, M{\'{a}}laga,
               Spain, July 1-2, 2010. Proceedings},
  pages     = {77--93},
  year      = {2010},
  crossref  = {DBLP:conf/tap/2010},
  url       = {https://doi.org/10.1007/978-3-642-13977-2\_8},
  doi       = {10.1007/978-3-642-13977-2\_8},
  timestamp = {Fri, 19 May 2017 01:25:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tap/ThummalapentaHTW10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/HalleuxT10,
  author    = {Jonathan de Halleux and
               Nikolai Tillmann},
  title     = {Moles: Tool-Assisted Environment Isolation with Closures},
  booktitle = {Objects, Models, Components, Patterns, 48th International Conference,
               {TOOLS} 2010, M{\'{a}}laga, Spain, June 28 - July 2, 2010. Proceedings},
  pages     = {253--270},
  year      = {2010},
  crossref  = {DBLP:conf/tools/48-2010},
  url       = {https://doi.org/10.1007/978-3-642-13953-6\_14},
  doi       = {10.1007/978-3-642-13953-6\_14},
  timestamp = {Tue, 23 May 2017 01:08:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tools/HalleuxT10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2010,
  editor    = {Howard Barringer and
               Yli{\`{e}}s Falcone and
               Bernd Finkbeiner and
               Klaus Havelund and
               Insup Lee and
               Gordon J. Pace and
               Grigore Rosu and
               Oleg Sokolsky and
               Nikolai Tillmann},
  title     = {Runtime Verification - First International Conference, {RV} 2010,
               St. Julians, Malta, November 1-4, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6418},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-16612-9},
  doi       = {10.1007/978-3-642-16612-9},
  isbn      = {978-3-642-16611-2},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GodefroidMPTVW10,
  author    = {Patrice Godefroid and
               Leonardo Mariani and
               Andrea Polini and
               Nikolai Tillmann and
               Willem Visser and
               Michael W. Whalen},
  title     = {{FITE} - Future Integrated Testing Environment},
  booktitle = {Practical Software Testing: Tool Automation and Human Factors, 14.03.
               - 19.03.2010},
  year      = {2010},
  crossref  = {DBLP:conf/dagstuhl/2010P10111},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2010/2619/},
  timestamp = {Fri, 06 Oct 2017 17:24:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/GodefroidMPTVW10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/XieTHS09,
  author    = {Tao Xie and
               Nikolai Tillmann and
               Jonathan de Halleux and
               Wolfram Schulte},
  title     = {Fitness-guided path exploration in dynamic symbolic execution},
  booktitle = {Proceedings of the 2009 {IEEE/IFIP} International Conference on Dependable
               Systems and Networks, {DSN} 2009, Estoril, Lisbon, Portugal, June
               29 - July 2, 2009},
  pages     = {359--368},
  year      = {2009},
  crossref  = {DBLP:conf/dsn/2009},
  url       = {https://doi.org/10.1109/DSN.2009.5270315},
  doi       = {10.1109/DSN.2009.5270315},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dsn/XieTHS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/VeanesGHT09,
  author    = {Margus Veanes and
               Pavel Grigorenko and
               Peli de Halleux and
               Nikolai Tillmann},
  title     = {Symbolic Query Exploration},
  booktitle = {Formal Methods and Software Engineering, 11th International Conference
               on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil,
               December 9-12, 2009. Proceedings},
  pages     = {49--68},
  year      = {2009},
  crossref  = {DBLP:conf/icfem/2009},
  url       = {https://doi.org/10.1007/978-3-642-10373-5\_3},
  doi       = {10.1007/978-3-642-10373-5\_3},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/VeanesGHT09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MarriXTHS09,
  author    = {Madhuri R. Marri and
               Tao Xie and
               Nikolai Tillmann and
               Jonathan de Halleux and
               Wolfram Schulte},
  title     = {An Empirical Study of Testing File-System-Dependent Software with
               Mock Objects},
  booktitle = {Proceedings of the 4th International Workshop on Automation of Software
               Test, {AST} 2009, Vancouver, BC, Canada, May 18-19, 2009.},
  pages     = {149--153},
  year      = {2009},
  crossref  = {DBLP:conf/icse/2009ast},
  url       = {https://doi.org/10.1109/IWAST.2009.5069054},
  doi       = {10.1109/IWAST.2009.5069054},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/MarriXTHS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TanejaXTHS09,
  author    = {Kunal Taneja and
               Tao Xie and
               Nikolai Tillmann and
               Jonathan de Halleux and
               Wolfram Schulte},
  title     = {Guided path exploration for regression test generation},
  booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
               May 16-24, 2009, Vancouver, Canada, Companion Volume},
  pages     = {311--314},
  year      = {2009},
  crossref  = {DBLP:conf/icse/2009c},
  url       = {https://doi.org/10.1109/ICSE-COMPANION.2009.5071009},
  doi       = {10.1109/ICSE-COMPANION.2009.5071009},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/TanejaXTHS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BarnettFHLT09,
  author    = {Michael Barnett and
               Manuel F{\"{a}}hndrich and
               Peli de Halleux and
               Francesco Logozzo and
               Nikolai Tillmann},
  title     = {Exploiting the synergy between automated-test-generation and programming-by-contract},
  booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
               May 16-24, 2009, Vancouver, Canada, Companion Volume},
  pages     = {401--402},
  year      = {2009},
  crossref  = {DBLP:conf/icse/2009c},
  url       = {https://doi.org/10.1109/ICSE-COMPANION.2009.5071032},
  doi       = {10.1109/ICSE-COMPANION.2009.5071032},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/BarnettFHLT09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/XieTHS09,
  author    = {Tao Xie and
               Nikolai Tillmann and
               Jonathan de Halleux and
               Wolfram Schulte},
  title     = {Mutation Analysis of Parameterized Unit Tests},
  booktitle = {Second International Conference on Software Testing Verification and
               Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops
               Proceedings},
  pages     = {177--181},
  year      = {2009},
  crossref  = {DBLP:conf/icst/2009w},
  url       = {https://doi.org/10.1109/ICSTW.2009.43},
  doi       = {10.1109/ICSTW.2009.43},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/XieTHS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itng/KongTH09,
  author    = {Soonho Kong and
               Nikolai Tillmann and
               Jonathan de Halleux},
  title     = {Automated Testing of Environment-Dependent Programs - {A} Case Study
               of Modeling the File System for Pex},
  booktitle = {Sixth International Conference on Information Technology: New Generations,
               {ITNG} 2009, Las Vegas, Nevada, USA, 27-29 April 2009},
  pages     = {758--762},
  year      = {2009},
  crossref  = {DBLP:conf/itng/2009},
  url       = {https://doi.org/10.1109/ITNG.2009.80},
  doi       = {10.1109/ITNG.2009.80},
  timestamp = {Thu, 21 Jun 2018 07:42:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/itng/KongTH09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LiXTHS09,
  author    = {Nuo Li and
               Tao Xie and
               Nikolai Tillmann and
               Jonathan de Halleux and
               Wolfram Schulte},
  title     = {Reggae: Automated Test Generation for Programs Using Complex Regular
               Expressions},
  booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
               Software Engineering, Auckland, New Zealand, November 16-20, 2009},
  pages     = {515--519},
  year      = {2009},
  crossref  = {DBLP:conf/kbse/2009},
  url       = {https://doi.org/10.1109/ASE.2009.67},
  doi       = {10.1109/ASE.2009.67},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/LiXTHS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ThummalapentaXTHS09,
  author    = {Suresh Thummalapenta and
               Tao Xie and
               Nikolai Tillmann and
               Jonathan de Halleux and
               Wolfram Schulte},
  title     = {MSeqGen: object-oriented unit-test generation via mining source code},
  booktitle = {Proceedings of the 7th joint meeting of the European Software Engineering
               Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
               of Software Engineering, 2009, Amsterdam, The Netherlands, August
               24-28, 2009},
  pages     = {193--202},
  year      = {2009},
  crossref  = {DBLP:conf/sigsoft/2009},
  url       = {http://doi.acm.org/10.1145/1595696.1595725},
  doi       = {10.1145/1595696.1595725},
  timestamp = {Fri, 06 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/ThummalapentaXTHS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/VanoverbergheTP09,
  author    = {Dries Vanoverberghe and
               Nikolai Tillmann and
               Frank Piessens},
  title     = {Test Input Generation for Programs with Pointers},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               15th International Conference, {TACAS} 2009, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2009,
               York, UK, March 22-29, 2009. Proceedings},
  pages     = {277--291},
  year      = {2009},
  crossref  = {DBLP:conf/tacas/2009},
  url       = {https://doi.org/10.1007/978-3-642-00768-2\_25},
  doi       = {10.1007/978-3-642-00768-2\_25},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/VanoverbergheTP09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BjornerTV09,
  author    = {Nikolaj Bj{\o}rner and
               Nikolai Tillmann and
               Andrei Voronkov},
  title     = {Path Feasibility Analysis for String-Manipulating Programs},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               15th International Conference, {TACAS} 2009, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2009,
               York, UK, March 22-29, 2009. Proceedings},
  pages     = {307--321},
  year      = {2009},
  crossref  = {DBLP:conf/tacas/2009},
  url       = {https://doi.org/10.1007/978-3-642-00768-2\_27},
  doi       = {10.1007/978-3-642-00768-2\_27},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/BjornerTV09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/GodefroidHNRSTL08,
  author    = {Patrice Godefroid and
               Jonathan de Halleux and
               Aditya V. Nori and
               Sriram K. Rajamani and
               Wolfram Schulte and
               Nikolai Tillmann and
               Michael Y. Levin},
  title     = {Automating Software Testing Using Program Analysis},
  journal   = {{IEEE} Software},
  volume    = {25},
  number    = {5},
  pages     = {30--37},
  year      = {2008},
  url       = {https://doi.org/10.1109/MS.2008.109},
  doi       = {10.1109/MS.2008.109},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/software/GodefroidHNRSTL08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fortest/VeanesCGSTN08,
  author    = {Margus Veanes and
               Colin Campbell and
               Wolfgang Grieskamp and
               Wolfram Schulte and
               Nikolai Tillmann and
               Lev Nachmanson},
  title     = {Model-Based Testing of Object-Oriented Reactive Systems with Spec
               Explorer},
  booktitle = {Formal Methods and Testing, An Outcome of the {FORTEST} Network, Revised
               Selected Papers},
  pages     = {39--76},
  year      = {2008},
  crossref  = {DBLP:conf/fortest/2008},
  url       = {https://doi.org/10.1007/978-3-540-78917-8\_2},
  doi       = {10.1007/978-3-540-78917-8\_2},
  timestamp = {Thu, 15 Jun 2017 21:39:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fortest/VeanesCGSTN08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CsallnerTS08,
  author    = {Christoph Csallner and
               Nikolai Tillmann and
               Yannis Smaragdakis},
  title     = {DySy: dynamic symbolic execution for invariant inference},
  booktitle = {30th International Conference on Software Engineering {(ICSE} 2008),
               Leipzig, Germany, May 10-18, 2008},
  pages     = {281--290},
  year      = {2008},
  crossref  = {DBLP:conf/icse/2008},
  url       = {http://doi.acm.org/10.1145/1368088.1368127},
  doi       = {10.1145/1368088.1368127},
  timestamp = {Tue, 23 Sep 2008 09:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/CsallnerTS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/TillmannH08,
  author    = {Nikolai Tillmann and
               Jonathan de Halleux},
  title     = {White-box testing of behavioral web service contracts with Pex},
  booktitle = {Proceedings of the 2008 Workshop on Testing, Analysis, and Verification
               of Web Services and Applications, held in conjunction with the {ACM}
               {SIGSOFT} International Symposium on Software Testing and Analysis
               {(ISSTA} 2008), {TAV-WEB} 2008, Seattle, Washington, USA, July 21,
               2008},
  pages     = {47--48},
  year      = {2008},
  crossref  = {DBLP:conf/issta/2008t},
  url       = {http://doi.acm.org/10.1145/1390832.1390840},
  doi       = {10.1145/1390832.1390840},
  timestamp = {Thu, 14 Aug 2008 08:00:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issta/TillmannH08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/VanoverbergheBHST08,
  author    = {Dries Vanoverberghe and
               Nikolaj Bj{\o}rner and
               Jonathan de Halleux and
               Wolfram Schulte and
               Nikolai Tillmann},
  title     = {Using Dynamic Symbolic Execution to Improve Deductive Verification},
  booktitle = {Model Checking Software, 15th International {SPIN} Workshop, Los Angeles,
               CA, USA, August 10-12, 2008, Proceedings},
  pages     = {9--25},
  year      = {2008},
  crossref  = {DBLP:conf/spin/2008},
  url       = {https://doi.org/10.1007/978-3-540-85114-1\_4},
  doi       = {10.1007/978-3-540-85114-1\_4},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/VanoverbergheBHST08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AnandGT08,
  author    = {Saswat Anand and
               Patrice Godefroid and
               Nikolai Tillmann},
  title     = {Demand-Driven Compositional Symbolic Execution},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               14th International Conference, {TACAS} 2008, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2008,
               Budapest, Hungary, March 29-April 6, 2008. Proceedings},
  pages     = {367--381},
  year      = {2008},
  crossref  = {DBLP:conf/tacas/2008},
  url       = {https://doi.org/10.1007/978-3-540-78800-3\_28},
  doi       = {10.1007/978-3-540-78800-3\_28},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/AnandGT08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/TillmannH08,
  author    = {Nikolai Tillmann and
               Jonathan de Halleux},
  title     = {Pex-White Box Test Generation for .NET},
  booktitle = {Tests and Proofs, Second International Conference, {TAP} 2008, Prato,
               Italy, April 9-11, 2008. Proceedings},
  pages     = {134--153},
  year      = {2008},
  crossref  = {DBLP:conf/tap/2008},
  url       = {https://doi.org/10.1007/978-3-540-79124-9\_10},
  doi       = {10.1007/978-3-540-79124-9\_10},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tap/TillmannH08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/HalleuxT08,
  author    = {Jonathan de Halleux and
               Nikolai Tillmann},
  title     = {Parameterized Unit Testing with Pex},
  booktitle = {Tests and Proofs, Second International Conference, {TAP} 2008, Prato,
               Italy, April 9-11, 2008. Proceedings},
  pages     = {171--181},
  year      = {2008},
  crossref  = {DBLP:conf/tap/2008},
  url       = {https://doi.org/10.1007/978-3-540-79124-9\_12},
  doi       = {10.1007/978-3-540-79124-9\_12},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tap/HalleuxT08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amost/KicillofGTB07,
  author    = {Nicolas Kicillof and
               Wolfgang Grieskamp and
               Nikolai Tillmann and
               V{\'{\i}}ctor A. Braberman},
  title     = {Achieving both model and code coverage with automated gray-box testing},
  booktitle = {Proceedings of the 3rd Workshop on Advances in Model Based Testing,
               {A-MOST} 2007, co-located with the {ISSTA} 2007 International Symposium
               on Software Testing and Analysis, London, United Kingdom, July 9-12},
  pages     = {1--11},
  year      = {2007},
  crossref  = {DBLP:conf/amost/2007},
  url       = {http://doi.acm.org/10.1145/1291535.1291536},
  doi       = {10.1145/1291535.1291536},
  timestamp = {Wed, 09 Jan 2008 08:15:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/amost/KicillofGTB07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/psse/TillmannHS07,
  author    = {Nikolai Tillmann and
               Jonathan de Halleux and
               Wolfram Schulte},
  title     = {Parameterized Unit Testing with Pex: Tutorial},
  booktitle = {Testing Techniques in Software Engineering, Second Pernambuco Summer
               School on Software Engineering, {PSSE} 2007, Recife, Brazil, December
               3-7, 2007, Revised Lectures},
  pages     = {141--202},
  year      = {2007},
  crossref  = {DBLP:conf/psse/2007},
  url       = {https://doi.org/10.1007/978-3-642-14335-9\_5},
  doi       = {10.1007/978-3-642-14335-9\_5},
  timestamp = {Thu, 15 Jun 2017 21:43:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/psse/TillmannHS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/GrieskampTS06,
  author    = {Wolfgang Grieskamp and
               Nikolai Tillmann and
               Wolfram Schulte},
  title     = {{XRT-} Exploring Runtime for .NET Architecture and Applications},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {144},
  number    = {3},
  pages     = {3--26},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.entcs.2006.01.002},
  doi       = {10.1016/j.entcs.2006.01.002},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/GrieskampTS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/GrieskampKT06,
  author    = {Wolfgang Grieskamp and
               Nicolas Kicillof and
               Nikolai Tillmann},
  title     = {Action Machines: a Framework for Encoding and Composing Partial Behaviors},
  journal   = {International Journal of Software Engineering and Knowledge Engineering},
  volume    = {16},
  number    = {5},
  pages     = {705--726},
  year      = {2006},
  url       = {https://doi.org/10.1142/S0218194006002963},
  doi       = {10.1142/S0218194006002963},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijseke/GrieskampKT06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/TillmannS06,
  author    = {Nikolai Tillmann and
               Wolfram Schulte},
  title     = {Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution},
  journal   = {{IEEE} Software},
  volume    = {23},
  number    = {4},
  pages     = {38--47},
  year      = {2006},
  url       = {https://doi.org/10.1109/MS.2006.117},
  doi       = {10.1109/MS.2006.117},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/software/TillmannS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/TillmannCS06,
  author    = {Nikolai Tillmann and
               Feng Chen and
               Wolfram Schulte},
  title     = {Discovering Likely Method Specifications},
  booktitle = {Formal Methods and Software Engineering, 8th International Conference
               on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
               1-3, 2006, Proceedings},
  pages     = {717--736},
  year      = {2006},
  crossref  = {DBLP:conf/icfem/2006},
  url       = {https://doi.org/10.1007/11901433\_39},
  doi       = {10.1007/11901433\_39},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/TillmannCS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/TillmannS06,
  author    = {Nikolai Tillmann and
               Wolfram Schulte},
  title     = {Mock-object generation with behavior},
  booktitle = {21st {IEEE/ACM} International Conference on Automated Software Engineering
               {(ASE} 2006), 18-22 September 2006, Tokyo, Japan},
  pages     = {365--368},
  year      = {2006},
  crossref  = {DBLP:conf/kbse/2006},
  url       = {https://doi.org/10.1109/ASE.2006.51},
  doi       = {10.1109/ASE.2006.51},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/TillmannS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GurevichT05,
  author    = {Yuri Gurevich and
               Nikolai Tillmann},
  title     = {Partial updates},
  journal   = {Theor. Comput. Sci.},
  volume    = {336},
  number    = {2-3},
  pages     = {311--342},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.tcs.2004.11.010},
  doi       = {10.1016/j.tcs.2004.11.010},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/GurevichT05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/PaivaTFV05,
  author    = {Ana C. R. Paiva and
               Nikolai Tillmann and
               Jo{\~{a}}o C. P. Faria and
               Raul F. A. M. Vidal},
  title     = {Modeling and Testing Hierarchical GUIs},
  booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
               {ASM} 2005, March 8-11, 2005, Paris, France},
  pages     = {329--344},
  year      = {2005},
  crossref  = {DBLP:conf/asm/2005},
  url       = {http://www.univ-paris12.fr/lacl/dima/asm05/AnaCRPaiva.ps},
  timestamp = {Mon, 16 May 2011 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asm/PaivaTFV05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/CampbellGNSTV05,
  author    = {Colin Campbell and
               Wolfgang Grieskamp and
               Lev Nachmanson and
               Wolfram Schulte and
               Nikolai Tillmann and
               Margus Veanes},
  title     = {Testing Concurrent Object-Oriented Systems with Spec Explorer},
  booktitle = {{FM} 2005: Formal Methods, International Symposium of Formal Methods
               Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
  pages     = {542--547},
  year      = {2005},
  crossref  = {DBLP:conf/fm/2005},
  url       = {https://doi.org/10.1007/11526841\_38},
  doi       = {10.1007/11526841\_38},
  timestamp = {Fri, 02 Jun 2017 20:50:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/CampbellGNSTV05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/PaivaFTV05,
  author    = {Ana C. R. Paiva and
               Jo{\~{a}}o C. P. Faria and
               Nikolai Tillmann and
               Raul F. A. M. Vidal},
  title     = {A Model-to-Implementation Mapping Tool for Automated Model-Based {GUI}
               Testing},
  booktitle = {Formal Methods and Software Engineering, 7th International Conference
               on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November
               1-4, 2005, Proceedings},
  pages     = {450--464},
  year      = {2005},
  crossref  = {DBLP:conf/icfem/2005},
  url       = {https://doi.org/10.1007/11576280\_31},
  doi       = {10.1007/11576280\_31},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/PaivaFTV05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/GrieskampTCSV05,
  author    = {Wolfgang Grieskamp and
               Nikolai Tillmann and
               Colin Campbell and
               Wolfram Schulte and
               Margus Veanes},
  title     = {Action Machines - Towards a Framework for Model Composition, Exploration
               and Conformance Testing Based on Symbolic Computation},
  booktitle = {Fifth International Conference on Quality Software {(QSIC} 2005),
               19-20 September 2005, Melbourne, Australia},
  pages     = {72--82},
  year      = {2005},
  crossref  = {DBLP:conf/qsic/2005},
  url       = {https://doi.org/10.1109/QSIC.2005.10},
  doi       = {10.1109/QSIC.2005.10},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qsic/GrieskampTCSV05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/TillmannS05,
  author    = {Nikolai Tillmann and
               Wolfram Schulte},
  title     = {Parameterized unit tests with unit meister},
  booktitle = {Proceedings of the 10th European Software Engineering Conference held
               jointly with 13th {ACM} {SIGSOFT} International Symposium on Foundations
               of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005},
  pages     = {241--244},
  year      = {2005},
  crossref  = {DBLP:conf/sigsoft/2005},
  url       = {http://doi.acm.org/10.1145/1081706.1081745},
  doi       = {10.1145/1081706.1081745},
  timestamp = {Wed, 01 Apr 2015 20:06:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/TillmannS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/TillmannS05a,
  author    = {Nikolai Tillmann and
               Wolfram Schulte},
  title     = {Parameterized unit tests},
  booktitle = {Proceedings of the 10th European Software Engineering Conference held
               jointly with 13th {ACM} {SIGSOFT} International Symposium on Foundations
               of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005},
  pages     = {253--262},
  year      = {2005},
  crossref  = {DBLP:conf/sigsoft/2005},
  url       = {http://doi.acm.org/10.1145/1081706.1081749},
  doi       = {10.1145/1081706.1081749},
  timestamp = {Wed, 01 Apr 2015 20:06:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/TillmannS05a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/VeanesCST05,
  author    = {Margus Veanes and
               Colin Campbell and
               Wolfram Schulte and
               Nikolai Tillmann},
  title     = {Online testing with model programs},
  booktitle = {Proceedings of the 10th European Software Engineering Conference held
               jointly with 13th {ACM} {SIGSOFT} International Symposium on Foundations
               of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005},
  pages     = {273--282},
  year      = {2005},
  crossref  = {DBLP:conf/sigsoft/2005},
  url       = {http://doi.acm.org/10.1145/1081706.1081751},
  doi       = {10.1145/1081706.1081751},
  timestamp = {Wed, 01 Apr 2015 20:06:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/VeanesCST05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/GrieskampTV04,
  author    = {Wolfgang Grieskamp and
               Nikolai Tillmann and
               Margus Veanes},
  title     = {Instrumenting scenarios in a model-driven development environment},
  journal   = {Information {\&} Software Technology},
  volume    = {46},
  number    = {15},
  pages     = {1027--1036},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.infsof.2004.07.007},
  doi       = {10.1016/j.infsof.2004.07.007},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/infsof/GrieskampTV04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/NachmansonVSTG04,
  author    = {Lev Nachmanson and
               Margus Veanes and
               Wolfram Schulte and
               Nikolai Tillmann and
               Wolfgang Grieskamp},
  title     = {Optimal strategies for testing nondeterministic systems},
  booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
               Testing and Analysis, {ISSTA} 2004, Boston, Massachusetts, USA, July
               11-14, 2004},
  pages     = {55--64},
  year      = {2004},
  crossref  = {DBLP:conf/issta/2004},
  url       = {http://doi.acm.org/10.1145/1007512.1007520},
  doi       = {10.1145/1007512.1007520},
  timestamp = {Fri, 03 Feb 2017 11:56:15 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issta/NachmansonVSTG04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/GurevichT03,
  author    = {Yuri Gurevich and
               Nikolai Tillmann},
  title     = {Partial Updates Exploration {II}},
  booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
               Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
  pages     = {57--86},
  year      = {2003},
  crossref  = {DBLP:conf/asm/2003},
  url       = {https://doi.org/10.1007/3-540-36498-6\_4},
  doi       = {10.1007/3-540-36498-6\_4},
  timestamp = {Thu, 01 Jun 2017 18:58:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asm/GurevichT03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BarnettST03,
  author    = {Michael Barnett and
               Wolfram Schulte and
               Nikolai Tillmann},
  title     = {Using AsmL for Runtime Verification},
  booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
               Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
  pages     = {407},
  year      = {2003},
  crossref  = {DBLP:conf/asm/2003},
  url       = {https://doi.org/10.1007/3-540-36498-6\_24},
  doi       = {10.1007/3-540-36498-6\_24},
  timestamp = {Thu, 01 Jun 2017 18:58:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asm/BarnettST03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/GrieskampNTV03,
  author    = {Wolfgang Grieskamp and
               Lev Nachmanson and
               Nikolai Tillmann and
               Margus Veanes},
  title     = {Test Case Generation from AsmL Specifications},
  booktitle = {Abstract State Machines, Advances in Theory and Practice, 10th International
               Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
  pages     = {413},
  year      = {2003},
  crossref  = {DBLP:conf/asm/2003},
  url       = {https://doi.org/10.1007/3-540-36498-6\_27},
  doi       = {10.1007/3-540-36498-6\_27},
  timestamp = {Thu, 01 Jun 2017 18:58:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asm/GrieskampNTV03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/BarnettGNSTV03,
  author    = {Michael Barnett and
               Wolfgang Grieskamp and
               Lev Nachmanson and
               Wolfram Schulte and
               Nikolai Tillmann and
               Margus Veanes},
  title     = {Towards a Tool Environment for Model-Based Testing with AsmL},
  booktitle = {Formal Approaches to Software Testing, Third International Workshop
               on Formal Approaches to Testing of Software, {FATES} 2003, Montreal,
               Quebec, Canada, October 6th, 2003},
  pages     = {252--266},
  year      = {2003},
  crossref  = {DBLP:conf/fates/2003},
  url       = {https://doi.org/10.1007/978-3-540-24617-6\_18},
  doi       = {10.1007/978-3-540-24617-6\_18},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fates/BarnettGNSTV03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/BarnettGSTV03,
  author    = {Michael Barnett and
               Wolfgang Grieskamp and
               Wolfram Schulte and
               Nikolai Tillmann and
               Margus Veanes},
  title     = {Validating Use-Cases with the AsmL Test Tool},
  booktitle = {3rd International Conference on Quality Software {(QSIC} 2003), 6-7
               November 2003, Dallas, TX, {USA}},
  pages     = {238--246},
  year      = {2003},
  crossref  = {DBLP:conf/qsic/2003},
  url       = {https://doi.org/10.1109/QSIC.2003.1319107},
  doi       = {10.1109/QSIC.2003.1319107},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qsic/BarnettGSTV03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/GurevichT01,
  author    = {Yuri Gurevich and
               Nikolai Tillmann},
  title     = {Partial Updates: Exploration},
  journal   = {J. {UCS}},
  volume    = {7},
  number    = {11},
  pages     = {917--951},
  year      = {2001},
  url       = {https://doi.org/10.3217/jucs-007-11-0917},
  doi       = {10.3217/jucs-007-11-0917},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jucs/GurevichT01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apaqs/GrieskampLST01,
  author    = {Wolfgang Grieskamp and
               Markus Lepper and
               Wolfram Schulte and
               Nikolai Tillmann},
  title     = {Testable Use Cases in the Abstract State Machine Language},
  booktitle = {2nd Asia-Pacific Conference on Quality Software {(APAQS} 2001), 10-11
               December 2001, Hong Kong, China, Proceedings},
  pages     = {167--172},
  year      = {2001},
  crossref  = {DBLP:conf/apaqs/2001},
  url       = {https://doi.org/10.1109/APAQS.2001.990016},
  doi       = {10.1109/APAQS.2001.990016},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apaqs/GrieskampLST01},
  bibsource = {dblp computer science bibliography, https://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    = {https://dblp.org/rec/bib/conf/icse/2016c},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hotsos/2015,
  editor    = {David M. Nicol},
  title     = {Proceedings of the 2015 Symposium and Bootcamp on the Science of Security,
               HotSoS 2015, Urbana, IL, USA, April 21-22, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2746194},
  isbn      = {978-1-4503-3376-4},
  timestamp = {Tue, 05 May 2015 15:27:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hotsos/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2015csise,
  title     = {2nd {IEEE/ACM} International Workshop on CrowdSourcing in Software
               Engineering, {CSI-SE} 2015, Florence, Italy, May 19, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7166142},
  isbn      = {978-1-4673-7040-0},
  timestamp = {Tue, 03 May 2016 16:22:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2015csise},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2015mobilesoft,
  editor    = {Aharon Abadi and
               Danny Dig and
               Yael Dubinsky},
  title     = {2nd {ACM} International Conference on Mobile Software Engineering
               and Systems, MOBILESoft 2015, Florence, Italy, May 16-17, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7277122},
  isbn      = {978-0-7695-5566-9},
  timestamp = {Tue, 03 May 2016 16:50:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2015mobilesoft},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2015-2,
  editor    = {Antonia Bertolino and
               Gerardo Canfora and
               Sebastian G. Elbaum},
  title     = {37th {IEEE/ACM} International Conference on Software Engineering,
               {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7174815},
  timestamp = {Tue, 03 May 2016 15:49:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2015-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2015chese,
  editor    = {Tao Xie and
               Alessandro Orso and
               Judith Bishop and
               Nikolai Tillmann},
  title     = {Proceedings of the 1st International Workshop on Code Hunt on Educational
               Software Engineering, CHESE@ISSTA 2015, Baltimore, MD, USA, July 14,
               2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://doi.acm.org/10.1145/2792404},
  doi       = {10.1145/2792404},
  isbn      = {978-1-4503-3711-3},
  timestamp = {Fri, 06 Oct 2017 17:24:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issta/2015chese},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cc/2014,
  editor    = {Albert Cohen},
  title     = {Compiler Construction - 23rd International Conference, {CC} 2014,
               Held as Part of the European Joint Conferences on Theory and Practice
               of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8409},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54807-9},
  doi       = {10.1007/978-3-642-54807-9},
  isbn      = {978-3-642-54806-2},
  timestamp = {Fri, 26 May 2017 00:49:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cc/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2014mobilesoft,
  editor    = {Tiziana Catarci and
               Aharon Abadi and
               Anthony I. Wasserman},
  title     = {Proceedings of the 1st International Conference on Mobile Software
               Engineering and Systems, MOBILESoft 2014, Hyderabad, India, June 2-3,
               2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2593902},
  isbn      = {978-1-4503-2878-4},
  timestamp = {Sun, 25 May 2014 19:22:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2014mobilesoft},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2014sbst,
  editor    = {Phil McMinn and
               Mark Harman},
  title     = {7th International Workshop on Search-Based Software Testing, {SBST}
               2014, Hyderabad, India, June 2, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2593833},
  isbn      = {978-1-4503-2852-4},
  timestamp = {Fri, 06 Jun 2014 19:06:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2014sbst},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2014,
  editor    = {Corina S. Pasareanu and
               Darko Marinov},
  title     = {International Symposium on Software Testing and Analysis, {ISSTA}
               '14, San Jose, CA, {USA} - July 21 - 26, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {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    = {https://dblp.org/rec/bib/conf/issta/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2014,
  editor    = {Ivica Crnkovic and
               Marsha Chechik and
               Paul Gr{\"{u}}nbacher},
  title     = {{ACM/IEEE} International Conference on Automated Software Engineering,
               {ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2642937},
  isbn      = {978-1-4503-3013-8},
  timestamp = {Wed, 29 Mar 2017 16:45:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lats/2014,
  editor    = {Mehran Sahami and
               Armando Fox and
               Marti A. Hearst and
               Michelene T. H. Chi},
  title     = {First {(2014)} {ACM} Conference on Learning @ Scale, L@S 2014, Atlanta,
               GA, USA, March 4-5, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2556325},
  isbn      = {978-1-4503-2669-8},
  timestamp = {Wed, 18 Jun 2014 12:56:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lats/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2014c,
  editor    = {Andrew P. Black},
  title     = {Conference on Systems, Programming, and Applications: Software for
               Humanity, {SPLASH} '14, Portland, OR, USA, October 20-24, 2014 - Companion
               Volume},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2660252},
  isbn      = {978-1-4503-3208-8},
  timestamp = {Thu, 16 Oct 2014 09:19:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2014c},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2013gas,
  editor    = {Kendra M. L. Cooper and
               Walt Scacchi and
               Alf Inge Wang},
  title     = {Proceedings of the 3rd International Workshop on Games and Software
               Engineering: Engineering Computer Games to Enable Positive, Progressive
               Change, {GAS} 2013, San Francisco, CA, USA, May 18, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6619588},
  isbn      = {978-1-4673-6263-4},
  timestamp = {Tue, 08 Aug 2017 18:54:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2013gas},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2013,
  editor    = {David Notkin and
               Betty H. C. Cheng and
               Klaus Pohl},
  title     = {35th International Conference on Software Engineering, {ICSE} '13,
               San Francisco, CA, USA, May 18-26, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6596173},
  isbn      = {978-1-4673-3076-3},
  timestamp = {Tue, 03 May 2016 16:08:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2013,
  editor    = {Ewen Denney and
               Tevfik Bultan and
               Andreas Zeller},
  title     = {2013 28th {IEEE/ACM} International Conference on Automated Software
               Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
               2013},
  publisher = {{IEEE}},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6684409},
  timestamp = {Wed, 29 Mar 2017 16:45:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/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    = {https://dblp.org/rec/bib/conf/pldi/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2013,
  editor    = {Margus Veanes and
               Luca Vigan{\`{o}}},
  title     = {Tests and Proofs - 7th International Conference, {TAP} 2013, Budapest,
               Hungary, June 16-20, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7942},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38916-0},
  doi       = {10.1007/978-3-642-38916-0},
  isbn      = {978-3-642-38915-3},
  timestamp = {Fri, 19 May 2017 01:25:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tap/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vl/2013,
  editor    = {Caitlin Kelleher and
               Margaret M. Burnett and
               Stefan Sauer},
  title     = {2013 {IEEE} Symposium on Visual Languages and Human Centric Computing,
               San Jose, CA, USA, September 15-19, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6631549},
  isbn      = {978-1-4799-0369-6},
  timestamp = {Mon, 04 Jan 2016 13:59:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vl/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csee/2012,
  editor    = {Daoxu Chen and
               Mike Barker and
               LiGuo Huang},
  title     = {25th {IEEE} Conference on Software Engineering Education and Training,
               CSEE{\&}T 2012, Nanjing, China, April 17-19, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6242776},
  isbn      = {978-1-4673-1592-0},
  timestamp = {Wed, 18 Nov 2015 15:17:54 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/csee/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2012user,
  editor    = {Andrew Begel and
               Caitlin Sadowski},
  title     = {Proceedings of the First International Workshop on User Evaluation
               for Software Engineering Researchers, {USER} '12, Zurich, Switzerland,
               June 5, 2012},
  publisher = {{IEEE}},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6219099},
  isbn      = {978-1-4673-1859-4},
  timestamp = {Fri, 07 Aug 2015 13:54:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2012user},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iticse/2012,
  editor    = {Tami Lapidot and
               Judith Gal{-}Ezer and
               Michael E. Caspersen and
               Orit Hazzan},
  title     = {Annual Conference on Innovation and Technology in Computer Science
               Education, ITiCSE '12, Haifa, Israel, July 3-5, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2325296},
  isbn      = {978-1-4503-1246-2},
  timestamp = {Mon, 09 Jul 2012 08:25:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iticse/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2012,
  editor    = {Michael Goedicke and
               Tim Menzies and
               Motoshi Saeki},
  title     = {{IEEE/ACM} International Conference on Automated Software Engineering,
               ASE'12, Essen, Germany, September 3-7, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2351676},
  isbn      = {978-1-4503-1204-2},
  timestamp = {Fri, 19 Oct 2012 17:49:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigcse/2012,
  editor    = {Laurie A. Smith King and
               David R. Musicant and
               Tracy Camp and
               Paul T. Tymann},
  title     = {Proceedings of the 43rd {ACM} technical symposium on Computer science
               education, {SIGCSE} 2012, Raleigh, NC, USA, February 29 - March 3,
               2012},
  publisher = {{ACM}},
  year      = {2012},
  isbn      = {978-1-4503-1098-7},
  timestamp = {Mon, 05 Mar 2012 08:17:41 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcse/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2012,
  editor    = {Will Tracz and
               Martin P. Robillard and
               Tevfik Bultan},
  title     = {20th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering
               (FSE-20), SIGSOFT/FSE'12, Cary, NC, {USA} - November 11 - 16, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2393596},
  isbn      = {978-1-4503-1614-9},
  timestamp = {Mon, 15 Jun 2015 19:00:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofsem/2012,
  editor    = {M{\'{a}}ria Bielikov{\'{a}} and
               Gerhard Friedrich and
               Georg Gottlob and
               Stefan Katzenbeisser and
               Gy{\"{o}}rgy Tur{\'{a}}n},
  title     = {{SOFSEM} 2012: Theory and Practice of Computer Science - 38th Conference
               on Current Trends in Theory and Practice of Computer Science, {\v{S}}pindler{\r{u}}v
               Ml{\'{y}}n, Czech Republic, January 21-27, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7147},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-27660-6},
  doi       = {10.1007/978-3-642-27660-6},
  isbn      = {978-3-642-27659-0},
  timestamp = {Tue, 23 May 2017 01:08:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sofsem/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csee/2011,
  editor    = {J. Barrie Thompson and
               Emily Oh Navarro and
               Dan Port},
  title     = {24th {IEEE-CS} Conference on Software Engineering Education and Training,
               CSEE{\&}T 2011, May 22-24, 2011, Waikiki, Honolulu, HI, USA, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5783969},
  isbn      = {978-1-4577-0348-5},
  timestamp = {Wed, 18 Nov 2015 15:17:55 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/csee/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2011,
  editor    = {Dimitra Giannakopoulou and
               Fernando Orejas},
  title     = {Fundamental Approaches to Software Engineering - 14th International
               Conference, {FASE} 2011, Held as Part of the Joint European Conferences
               on Theory and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken,
               Germany, March 26-April 3, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6603},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-19811-3},
  doi       = {10.1007/978-3-642-19811-3},
  isbn      = {978-3-642-19810-6},
  timestamp = {Thu, 15 Jun 2017 21:37:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2011,
  editor    = {Richard N. Taylor and
               Harald C. Gall and
               Nenad Medvidovic},
  title     = {Proceedings of the 33rd International Conference on Software Engineering,
               {ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0445-0},
  timestamp = {Wed, 01 Apr 2015 20:06:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2011,
  editor    = {Matthew B. Dwyer and
               Frank Tip},
  title     = {Proceedings of the 20th International Symposium on Software Testing
               and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  publisher = {{ACM}},
  year      = {2011},
  url       = {http://doi.acm.org/10.1145/2001420},
  doi       = {10.1145/2001420},
  isbn      = {978-1-4503-0562-4},
  timestamp = {Fri, 03 Feb 2017 11:58:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issta/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lcpc/2011,
  editor    = {Sanjay V. Rajopadhye and
               Michelle Mills Strout},
  title     = {Languages and Compilers for Parallel Computing, 24th International
               Workshop, {LCPC} 2011, Fort Collins, CO, USA, September 8-10, 2011.
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7146},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-36036-7},
  doi       = {10.1007/978-3-642-36036-7},
  isbn      = {978-3-642-36035-0},
  timestamp = {Wed, 17 May 2017 14:24:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lcpc/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2011onward,
  editor    = {Robert Hirschfeld and
               Eelco Visser},
  title     = {{ACM} Symposium on New Ideas in Programming and Reflections on Software,
               Onward! 2011, part of {SPLASH} '11, Portland, OR, USA, October 22-27,
               2011},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2048237},
  isbn      = {978-1-4503-0941-7},
  timestamp = {Thu, 20 Jun 2013 09:35:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2011onward},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2011,
  editor    = {Cristina Videira Lopes and
               Kathleen Fisher},
  title     = {Proceedings of the 26th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming, Systems, Languages, and Applications, {OOPSLA} 2011,
               part of {SPLASH} 2011, Portland, OR, USA, October 22 - 27, 2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0940-0},
  timestamp = {Tue, 25 Oct 2011 20:30:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/saicsit/2011,
  editor    = {Irwin Brown and
               Kosheek Sewchurran and
               Hussein Suleman},
  title     = {Proceedings of the 2011 Annual Conference of the South African Institute
               of Computer Scientists and Information Technologists, {SAICSIT} 2011,
               Cape Town, South Africa, October 3-5, 2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0878-6},
  timestamp = {Tue, 04 Oct 2016 19:05:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/saicsit/2011},
  bibsource = {dblp computer science bibliography, https://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    = {https://dblp.org/rec/bib/conf/icse/2010-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsm/2010,
  title     = {26th {IEEE} International Conference on Software Maintenance {(ICSM}
               2010), September 12-18, 2010, Timisoara, Romania},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5604771},
  isbn      = {978-1-4244-8630-4},
  timestamp = {Wed, 10 Jun 2015 16:53:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsm/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icst/2010,
  title     = {Third International Conference on Software Testing, Verification and
               Validation, {ICST} 2010, Paris, France, April 7-9, 2010},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5477032},
  isbn      = {978-0-7695-3990-4},
  timestamp = {Mon, 11 May 2015 16:37:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2010,
  editor    = {Charles Pecheur and
               Jamie Andrews and
               Elisabetta Di Nitto},
  title     = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
               Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  publisher = {{ACM}},
  year      = {2010},
  url       = {http://doi.acm.org/10.1145/1858996},
  doi       = {10.1145/1858996},
  isbn      = {978-1-4503-0116-9},
  timestamp = {Thu, 23 Jun 2016 15:53:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2010d,
  editor    = {Edmund M. Clarke and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th
               International Conference, LPAR-16, Dakar, Senegal, April 25-May 1,
               2010, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6355},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-17511-4},
  doi       = {10.1007/978-3-642-17511-4},
  isbn      = {978-3-642-17510-7},
  timestamp = {Tue, 23 May 2017 01:12:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2010d},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2010c,
  editor    = {William R. Cook and
               Siobh{\'{a}}n Clarke and
               Martin C. Rinard},
  title     = {Companion to the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming, Systems, Languages, and Applications, {SPLASH/OOPSLA}
               2010, October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-4503-0240-1},
  timestamp = {Wed, 27 Oct 2010 13:57:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2010c},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2010,
  editor    = {William R. Cook and
               Siobh{\'{a}}n Clarke and
               Martin C. Rinard},
  title     = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
               October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-4503-0203-6},
  timestamp = {Wed, 27 Oct 2010 13:44:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pts/2010,
  editor    = {Alexandre Petrenko and
               Adenilso da Silva Sim{\~{a}}o and
               Jos{\'{e}} Carlos Maldonado},
  title     = {Testing Software and Systems - 22nd {IFIP} {WG} 6.1 International
               Conference, {ICTSS} 2010, Natal, Brazil, November 8-10, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6435},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-16573-3},
  doi       = {10.1007/978-3-642-16573-3},
  isbn      = {978-3-642-16572-6},
  timestamp = {Tue, 23 May 2017 01:10:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pts/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2010foser,
  editor    = {Gruia{-}Catalin Roman and
               Kevin J. Sullivan},
  title     = {Proceedings of the Workshop on Future of Software Engineering Research,
               FoSER 2010, at the 18th {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
               7-11, 2010},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-4503-0427-6},
  timestamp = {Fri, 28 Jan 2011 07:43:06 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2010foser},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2010,
  editor    = {Gordon Fraser and
               Angelo Gargantini},
  title     = {Tests and Proofs, 4th International Conference, {TAP} 2010, M{\'{a}}laga,
               Spain, July 1-2, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6143},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13977-2},
  doi       = {10.1007/978-3-642-13977-2},
  isbn      = {978-3-642-13976-5},
  timestamp = {Fri, 19 May 2017 01:25:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tap/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tools/48-2010,
  editor    = {Jan Vitek},
  title     = {Objects, Models, Components, Patterns, 48th International Conference,
               {TOOLS} 2010, M{\'{a}}laga, Spain, June 28 - July 2, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6141},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13953-6},
  doi       = {10.1007/978-3-642-13953-6},
  isbn      = {978-3-642-13952-9},
  timestamp = {Tue, 23 May 2017 01:08:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tools/48-2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2010P10111,
  editor    = {Mark Harman and
               Henry Muccini and
               Wolfram Schulte and
               Tao Xie},
  title     = {Practical Software Testing: Tool Automation and Human Factors, 14.03.
               - 19.03.2010},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {10111},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year      = {2010},
  url       = {http://drops.dagstuhl.de/portals/10111/},
  timestamp = {Fri, 06 Oct 2017 17:24:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/2010P10111},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dsn/2009,
  title     = {Proceedings of the 2009 {IEEE/IFIP} International Conference on Dependable
               Systems and Networks, {DSN} 2009, Estoril, Lisbon, Portugal, June
               29 - July 2, 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5243642},
  isbn      = {978-1-4244-4422-9},
  timestamp = {Thu, 23 Jun 2016 15:53:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dsn/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2009,
  editor    = {Karin K. Breitman and
               Ana Cavalcanti},
  title     = {Formal Methods and Software Engineering, 11th International Conference
               on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil,
               December 9-12, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5885},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-10373-5},
  doi       = {10.1007/978-3-642-10373-5},
  isbn      = {978-3-642-10372-8},
  timestamp = {Sun, 21 May 2017 00:19:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2009ast,
  editor    = {Dimitris Dranidis and
               Stephen P. Masticola and
               Paul A. Strooper},
  title     = {Proceedings of the 4th International Workshop on Automation of Software
               Test, {AST} 2009, Vancouver, BC, Canada, May 18-19, 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5061534},
  isbn      = {978-1-4244-3711-5},
  timestamp = {Tue, 03 May 2016 15:55:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2009ast},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2009c,
  title     = {31st International Conference on Software Engineering, {ICSE} 2009,
               May 16-24, 2009, Vancouver, Canada, Companion Volume},
  publisher = {{IEEE}},
  year      = {2009},
  isbn      = {978-1-4244-3494-7},
  timestamp = {Tue, 16 Jun 2009 14:53:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2009c},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icst/2009w,
  title     = {Second International Conference on Software Testing Verification and
               Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops
               Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4976356},
  isbn      = {978-0-7695-3671-2},
  timestamp = {Mon, 11 May 2015 16:37:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/2009w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/itng/2009,
  editor    = {Shahram Latifi},
  title     = {Sixth International Conference on Information Technology: New Generations,
               {ITNG} 2009, Las Vegas, Nevada, USA, 27-29 April 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5070574},
  isbn      = {978-0-7695-3596-8},
  timestamp = {Thu, 21 Jun 2018 07:42:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/itng/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2009,
  title     = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
               Software Engineering, Auckland, New Zealand, November 16-20, 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5431684},
  isbn      = {978-0-7695-3891-4},
  timestamp = {Tue, 05 Apr 2016 18:02:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2009,
  editor    = {Hans van Vliet and
               Val{\'{e}}rie Issarny},
  title     = {Proceedings of the 7th joint meeting of the European Software Engineering
               Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
               of Software Engineering, 2009, Amsterdam, The Netherlands, August
               24-28, 2009},
  publisher = {{ACM}},
  year      = {2009},
  isbn      = {978-1-60558-001-2},
  timestamp = {Mon, 31 Aug 2009 14:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2009,
  editor    = {Stefan Kowalewski and
               Anna Philippou},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems,
               15th International Conference, {TACAS} 2009, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2009,
               York, UK, March 22-29, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5505},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00768-2},
  doi       = {10.1007/978-3-642-00768-2},
  isbn      = {978-3-642-00767-5},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fortest/2008,
  editor    = {Robert M. Hierons and
               Jonathan P. Bowen and
               Mark Harman},
  title     = {Formal Methods and Testing, An Outcome of the {FORTEST} Network, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4949},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78917-8},
  doi       = {10.1007/978-3-540-78917-8},
  isbn      = {978-3-540-78916-1},
  timestamp = {Thu, 15 Jun 2017 21:39:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fortest/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2008,
  editor    = {Wilhelm Sch{\"{a}}fer and
               Matthew B. Dwyer and
               Volker Gruhn},
  title     = {30th International Conference on Software Engineering {(ICSE} 2008),
               Leipzig, Germany, May 10-18, 2008},
  publisher = {{ACM}},
  year      = {2008},
  isbn      = {978-1-60558-079-1},
  timestamp = {Tue, 23 Sep 2008 09:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2008t,
  editor    = {Tevfik Bultan and
               Tao Xie},
  title     = {Proceedings of the 2008 Workshop on Testing, Analysis, and Verification
               of Web Services and Applications, held in conjunction with the {ACM}
               {SIGSOFT} International Symposium on Software Testing and Analysis
               {(ISSTA} 2008), {TAV-WEB} 2008, Seattle, Washington, USA, July 21,
               2008},
  publisher = {{ACM}},
  year      = {2008},
  isbn      = {978-1-60558-053-1},
  timestamp = {Thu, 14 Aug 2008 08:00:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issta/2008t},
  bibsource = {dblp computer science bibliography, https://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    = {https://dblp.org/rec/bib/conf/spin/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2008,
  editor    = {C. R. Ramakrishnan and
               Jakob Rehof},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems,
               14th International Conference, {TACAS} 2008, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2008,
               Budapest, Hungary, March 29-April 6, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4963},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78800-3},
  doi       = {10.1007/978-3-540-78800-3},
  isbn      = {978-3-540-78799-0},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2008,
  editor    = {Bernhard Beckert and
               Reiner H{\"{a}}hnle},
  title     = {Tests and Proofs, Second International Conference, {TAP} 2008, Prato,
               Italy, April 9-11, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4966},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-79124-9},
  doi       = {10.1007/978-3-540-79124-9},
  isbn      = {978-3-540-79123-2},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tap/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/amost/2007,
  title     = {Proceedings of the 3rd Workshop on Advances in Model Based Testing,
               {A-MOST} 2007, co-located with the {ISSTA} 2007 International Symposium
               on Software Testing and Analysis, London, United Kingdom, July 9-12},
  publisher = {{ACM}},
  year      = {2007},
  isbn      = {978-1-59593-850-3},
  timestamp = {Wed, 09 Jan 2008 08:15:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/amost/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/psse/2007,
  editor    = {Paulo Borba and
               Ana Cavalcanti and
               Augusto Sampaio and
               Jim Woodcock},
  title     = {Testing Techniques in Software Engineering, Second Pernambuco Summer
               School on Software Engineering, {PSSE} 2007, Recife, Brazil, December
               3-7, 2007, Revised Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {6153},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-14335-9},
  doi       = {10.1007/978-3-642-14335-9},
  isbn      = {978-3-642-14334-2},
  timestamp = {Thu, 15 Jun 2017 21:43:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/psse/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2006,
  editor    = {Zhiming Liu and
               Jifeng He},
  title     = {Formal Methods and Software Engineering, 8th International Conference
               on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
               1-3, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4260},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11901433},
  doi       = {10.1007/11901433},
  isbn      = {3-540-47460-9},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2006,
  title     = {21st {IEEE/ACM} International Conference on Automated Software Engineering
               {(ASE} 2006), 18-22 September 2006, Tokyo, Japan},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4019543},
  isbn      = {0-7695-2579-2},
  timestamp = {Thu, 13 Aug 2015 18:46:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asm/2005,
  title     = {Proceedings of the 12th International Workshop on Abstract State Machines,
               {ASM} 2005, March 8-11, 2005, Paris, France},
  year      = {2005},
  timestamp = {Thu, 26 Jul 2007 15:03:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asm/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2005,
  editor    = {John S. Fitzgerald and
               Ian J. Hayes and
               Andrzej Tarlecki},
  title     = {{FM} 2005: Formal Methods, International Symposium of Formal Methods
               Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3582},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b27882},
  doi       = {10.1007/b27882},
  isbn      = {3-540-27882-6},
  timestamp = {Fri, 02 Jun 2017 20:50:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2005,
  editor    = {Kung{-}Kiu Lau and
               Richard Banach},
  title     = {Formal Methods and Software Engineering, 7th International Conference
               on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November
               1-4, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3785},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11576280},
  doi       = {10.1007/11576280},
  isbn      = {3-540-29797-9},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qsic/2005,
  title     = {Fifth International Conference on Quality Software {(QSIC} 2005),
               19-20 September 2005, Melbourne, Australia},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10545},
  isbn      = {0-7695-2472-9},
  timestamp = {Thu, 19 Mar 2015 16:19:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/qsic/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2005,
  editor    = {Michel Wermelinger and
               Harald C. Gall},
  title     = {Proceedings of the 10th European Software Engineering Conference held
               jointly with 13th {ACM} {SIGSOFT} International Symposium on Foundations
               of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005},
  publisher = {{ACM}},
  year      = {2005},
  isbn      = {1-59593-014-0},
  timestamp = {Wed, 01 Apr 2015 20:06:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2004,
  editor    = {George S. Avrunin and
               Gregg Rothermel},
  title     = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
               Testing and Analysis, {ISSTA} 2004, Boston, Massachusetts, USA, July
               11-14, 2004},
  publisher = {{ACM}},
  year      = {2004},
  url       = {http://doi.acm.org/10.1145/1007512},
  doi       = {10.1145/1007512},
  isbn      = {1-58113-820-2},
  timestamp = {Fri, 03 Feb 2017 11:56:15 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issta/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asm/2003,
  editor    = {Egon B{\"{o}}rger and
               Angelo Gargantini and
               Elvinia Riccobene},
  title     = {Abstract State Machines, Advances in Theory and Practice, 10th International
               Workshop, {ASM} 2003, Taormina, Italy, March 3-7, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2589},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-36498-6},
  doi       = {10.1007/3-540-36498-6},
  isbn      = {3-540-00624-9},
  timestamp = {Thu, 01 Jun 2017 18:58:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asm/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fates/2003,
  editor    = {Alexandre Petrenko and
               Andreas Ulrich},
  title     = {Formal Approaches to Software Testing, Third International Workshop
               on Formal Approaches to Testing of Software, {FATES} 2003, Montreal,
               Quebec, Canada, October 6th, 2003},
  series    = {Lecture Notes in Computer Science},
  volume    = {2931},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b95400},
  doi       = {10.1007/b95400},
  isbn      = {3-540-20894-1},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fates/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qsic/2003,
  title     = {3rd International Conference on Quality Software {(QSIC} 2003), 6-7
               November 2003, Dallas, TX, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2003},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9215},
  isbn      = {0-7695-2015-4},
  timestamp = {Thu, 23 Jun 2016 15:53:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qsic/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apaqs/2001,
  title     = {2nd Asia-Pacific Conference on Quality Software {(APAQS} 2001), 10-11
               December 2001, Hong Kong, China, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7761},
  isbn      = {0-7695-1287-9},
  timestamp = {Thu, 19 Mar 2015 16:19:52 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apaqs/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier