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},
  editor    = {Laura K. Dillon and
               Willem Visser and
               Laurie Williams},
  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},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2889160.2889204},
  doi       = {10.1145/2889160.2889204},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/LiXBXT16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/XieTL25,
  author    = {Tao Xie and
               Nikolai Tillmann and
               Pratap Lakshman},
  editor    = {Laura K. Dillon and
               Willem Visser and
               Laurie Williams},
  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},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2889160.2891056},
  doi       = {10.1145/2889160.2891056},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/XieTL25.bib},
  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, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/ase/XiaoTFHMX15.bib},
  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},
  editor    = {David M. Nicol},
  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},
  publisher = {{ACM}},
  year      = {2015},
  url       = {https://doi.org/10.1145/2746194.2746220},
  doi       = {10.1145/2746194.2746220},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/hotsos/XieBTH15.bib},
  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},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {https://doi.org/10.1109/CSI-SE.2015.10},
  doi       = {10.1109/CSI-SE.2015.10},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/XieBHTH15.bib},
  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},
  editor    = {Aharon Abadi and
               Danny Dig and
               Yael Dubinsky},
  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},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {https://doi.org/10.1109/MobileSoft.2015.20},
  doi       = {10.1109/MobileSoft.2015.20},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/BallBHMPT15.bib},
  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},
  editor    = {Antonia Bertolino and
               Gerardo Canfora and
               Sebastian G. Elbaum},
  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},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {https://doi.org/10.1109/ICSE.2015.172},
  doi       = {10.1109/ICSE.2015.172},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/BishopHXTH15.bib},
  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},
  editor    = {Tao Xie and
               Alessandro Orso and
               Judith Bishop 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},
  publisher = {{ACM}},
  year      = {2015},
  url       = {https://doi.org/10.1145/2792404.2792405},
  doi       = {10.1145/2792404.2792405},
  timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
  biburl    = {https://dblp.org/rec/conf/issta/HorspoolBHT15.bib},
  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       = {https://doi.org/10.1145/2792404},
  doi       = {10.1145/2792404},
  isbn      = {978-1-4503-3711-3},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/issta/2015chese.bib},
  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},
  editor    = {Albert Cohen},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {8409},
  pages     = {218--237},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54807-9\_13},
  doi       = {10.1007/978-3-642-54807-9\_13},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/conf/cc/AulerBHMT14.bib},
  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},
  editor    = {Tiziana Catarci and
               Aharon Abadi and
               Anthony I. Wasserman},
  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},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2593902.2593903},
  doi       = {10.1145/2593902.2593903},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/icse/TillmannMHBBB14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PuderTM14,
  author    = {Arno Puder and
               Nikolai Tillmann and
               Michal Moskal},
  editor    = {Tiziana Catarci and
               Aharon Abadi and
               Anthony I. Wasserman},
  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},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2593902.2593908},
  doi       = {10.1145/2593902.2593908},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/icse/PuderTM14.bib},
  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},
  editor    = {Phil McMinn and
               Mark Harman},
  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},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2593833.2593838},
  doi       = {10.1145/2593833.2593838},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/icse/TillmannBHPX14.bib},
  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},
  editor    = {Tiziana Catarci and
               Aharon Abadi and
               Anthony I. Wasserman},
  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},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2593902.2593925},
  doi       = {10.1145/2593902.2593925},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/icse/HiltonCDMBT14.bib},
  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},
  editor    = {Corina S. Pasareanu and
               Darko Marinov},
  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},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2610384.2628054},
  doi       = {10.1145/2610384.2628054},
  timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
  biburl    = {https://dblp.org/rec/conf/issta/TillmannHXB14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/TillmannHX14,
  author    = {Nikolai Tillmann and
               Jonathan de Halleux and
               Tao Xie},
  editor    = {Ivica Crnkovic and
               Marsha Chechik and
               Paul Gr{\"{u}}nbacher},
  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},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2642937.2642941},
  doi       = {10.1145/2642937.2642941},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/kbse/TillmannHX14.bib},
  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},
  editor    = {Mehran Sahami and
               Armando Fox and
               Marti A. Hearst and
               Michelene T. H. Chi},
  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},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2556325.2567870},
  doi       = {10.1145/2556325.2567870},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/lats/TillmannHXB14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BishopPT14,
  author    = {Judith Bishop and
               Arno Puder and
               Nikolai Tillmann},
  editor    = {Andrew P. Black},
  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},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2660252.2662136},
  doi       = {10.1145/2660252.2662136},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/oopsla/BishopPT14.bib},
  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/conf/icse/2014csise.bib},
  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 = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/2014.bib},
  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/books/daglib/0033774.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/XieTH13,
  author    = {Tao Xie and
               Nikolai Tillmann and
               Jonathan de Halleux},
  editor    = {Kendra M. L. Cooper and
               Walt Scacchi and
               Alf Inge Wang},
  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},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {https://doi.org/10.1109/GAS.2013.6632588},
  doi       = {10.1109/GAS.2013.6632588},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/XieTH13.bib},
  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},
  editor    = {David Notkin and
               Betty H. C. Cheng and
               Klaus Pohl},
  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},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {https://doi.org/10.1109/ICSE.2013.6606662},
  doi       = {10.1109/ICSE.2013.6606662},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/TillmannHXGB13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NguyenCT04,
  author    = {Tuan Anh Nguyen and
               Christoph Csallner and
               Nikolai Tillmann},
  editor    = {David Notkin and
               Betty H. C. Cheng and
               Klaus Pohl},
  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},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {https://doi.org/10.1109/ICSE.2013.6606675},
  doi       = {10.1109/ICSE.2013.6606675},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/NguyenCT04.bib},
  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},
  editor    = {Ewen Denney and
               Tevfik Bultan and
               Andreas Zeller},
  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},
  publisher = {{IEEE}},
  year      = {2013},
  url       = {https://doi.org/10.1109/ASE.2013.6693084},
  doi       = {10.1109/ASE.2013.6693084},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/kbse/XiaoLXT13.bib},
  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},
  editor    = {Ewen Denney and
               Tevfik Bultan and
               Andreas Zeller},
  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},
  publisher = {{IEEE}},
  year      = {2013},
  url       = {https://doi.org/10.1109/ASE.2013.6693144},
  doi       = {10.1109/ASE.2013.6693144},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/kbse/TillmannHXB13.bib},
  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},
  editor    = {Hans{-}Juergen Boehm and
               Cormac Flanagan},
  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},
  publisher = {{ACM}},
  year      = {2013},
  url       = {https://doi.org/10.1145/2491956.2462170},
  doi       = {10.1145/2491956.2462170},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/pldi/BurckhardtFHMMTK13.bib},
  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},
  editor    = {Margus Veanes and
               Luca Vigan{\`{o}}},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {7942},
  pages     = {152--167},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38916-0\_9},
  doi       = {10.1007/978-3-642-38916-0\_9},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/JamrozikFTH13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/LiXT13,
  author    = {Sihan Li and
               Tao Xie and
               Nikolai Tillmann},
  editor    = {Caitlin Kelleher and
               Margaret M. Burnett and
               Stefan Sauer},
  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},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {https://doi.org/10.1109/VLHCC.2013.6645242},
  doi       = {10.1109/VLHCC.2013.6645242},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/vl/LiXT13.bib},
  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 = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/BishopTPN13.bib},
  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 = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/software/ZhangMLXTH12.bib},
  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},
  editor    = {Daoxu Chen and
               Mike Barker and
               LiGuo Huang},
  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},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {https://doi.org/10.1109/CSEET.2012.11},
  doi       = {10.1109/CSEET.2012.11},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/csee/TillmannMHFX12.bib},
  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},
  editor    = {Daoxu Chen and
               Mike Barker and
               LiGuo Huang},
  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},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {https://doi.org/10.1109/CSEET.2012.13},
  doi       = {10.1109/CSEET.2012.13},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/csee/TillmannHXB12.bib},
  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},
  editor    = {Andrew Begel and
               Caitlin Sadowski},
  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},
  publisher = {{IEEE}},
  year      = {2012},
  url       = {https://doi.org/10.1109/USER.2012.6226586},
  doi       = {10.1109/USER.2012.6226586},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/NguyenRCT12.bib},
  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},
  editor    = {Tami Lapidot and
               Judith Gal{-}Ezer and
               Michael E. Caspersen and
               Orit Hazzan},
  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},
  publisher = {{ACM}},
  year      = {2012},
  url       = {https://doi.org/10.1145/2325296.2325336},
  doi       = {10.1145/2325296.2325336},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iticse/TillmannMHFBSX12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/TillmannB12,
  author    = {Nikolai Tillmann and
               Judith Bishop},
  editor    = {Tami Lapidot and
               Judith Gal{-}Ezer and
               Michael E. Caspersen and
               Orit Hazzan},
  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},
  publisher = {{ACM}},
  year      = {2012},
  url       = {https://doi.org/10.1145/2325296.2325420},
  doi       = {10.1145/2325296.2325420},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/iticse/TillmannB12.bib},
  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},
  editor    = {Michael Goedicke and
               Tim Menzies and
               Motoshi Saeki},
  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},
  publisher = {{ACM}},
  year      = {2012},
  url       = {https://doi.org/10.1145/2351676.2351689},
  doi       = {10.1145/2351676.2351689},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/kbse/XiaoTFHM12.bib},
  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},
  editor    = {Michael Goedicke and
               Tim Menzies and
               Motoshi Saeki},
  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},
  publisher = {{ACM}},
  year      = {2012},
  url       = {https://doi.org/10.1145/2351676.2351716},
  doi       = {10.1145/2351676.2351716},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/kbse/JamrozikFTH12.bib},
  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},
  editor    = {Laurie A. Smith King and
               David R. Musicant and
               Tracy Camp and
               Paul T. Tymann},
  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},
  publisher = {{ACM}},
  year      = {2012},
  url       = {https://doi.org/10.1145/2157136.2157340},
  doi       = {10.1145/2157136.2157340},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/sigcse/TillmannHXB12.bib},
  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},
  editor    = {Laurie A. Smith King and
               David R. Musicant and
               Tracy Camp and
               Paul T. Tymann},
  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},
  publisher = {{ACM}},
  year      = {2012},
  url       = {https://doi.org/10.1145/2157136.2157356},
  doi       = {10.1145/2157136.2157356},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/sigcse/TillmannMHFX12.bib},
  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},
  editor    = {Will Tracz and
               Martin P. Robillard and
               Tevfik Bultan},
  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},
  publisher = {{ACM}},
  year      = {2012},
  url       = {https://doi.org/10.1145/2393596.2393641},
  doi       = {10.1145/2393596.2393641},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/sigsoft/TillmannMHFB12.bib},
  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},
  editor    = {M{\'{a}}ria Bielikov{\'{a}} and
               Gerhard Friedrich and
               Georg Gottlob and
               Stefan Katzenbeisser and
               Gy{\"{o}}rgy Tur{\'{a}}n},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {7147},
  pages     = {542--553},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-27660-6\_44},
  doi       = {10.1007/978-3-642-27660-6\_44},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/conf/sofsem/VanoverbergheHTP12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/TillmannHX11,
  author    = {Nikolai Tillmann and
               Jonathan de Halleux and
               Tao Xie},
  editor    = {J. Barrie Thompson and
               Emily Oh Navarro and
               Dan Port},
  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},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {https://doi.org/10.1109/CSEET.2011.5876146},
  doi       = {10.1109/CSEET.2011.5876146},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/csee/TillmannHX11.bib},
  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},
  editor    = {Dimitra Giannakopoulou and
               Fernando Orejas},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {6603},
  pages     = {294--309},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-19811-3\_21},
  doi       = {10.1007/978-3-642-19811-3\_21},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/conf/fase/ThummalapentaMXTH11.bib},
  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},
  editor    = {Richard N. Taylor and
               Harald C. Gall and
               Nenad Medvidovic},
  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},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/1985793.1985876},
  doi       = {10.1145/1985793.1985876},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/icse/XiaoXTH11.bib},
  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},
  editor    = {Richard N. Taylor and
               Harald C. Gall and
               Nenad Medvidovic},
  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},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/1985793.1985971},
  doi       = {10.1145/1985793.1985971},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/icse/GeTXT11.bib},
  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},
  editor    = {Richard N. Taylor and
               Harald C. Gall and
               Nenad Medvidovic},
  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},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/1985793.1985976},
  doi       = {10.1145/1985793.1985976},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/icse/XiaoXTH11a.bib},
  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},
  editor    = {Richard N. Taylor and
               Harald C. Gall and
               Nenad Medvidovic},
  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},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/1985793.1985995},
  doi       = {10.1145/1985793.1985995},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/icse/CadarGKPSTV11.bib},
  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},
  editor    = {Matthew B. Dwyer and
               Frank Tip},
  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},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/2001420.2001422},
  doi       = {10.1145/2001420.2001422},
  timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
  biburl    = {https://dblp.org/rec/conf/issta/TanejaXTH11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/PhilippsenTB11,
  author    = {Michael Philippsen and
               Nikolai Tillmann and
               Daniel Brinkers},
  editor    = {Sanjay V. Rajopadhye and
               Michelle Mills Strout},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {7146},
  pages     = {46--60},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-36036-7\_4},
  doi       = {10.1007/978-3-642-36036-7\_4},
  timestamp = {Tue, 14 May 2019 10:00:47 +0200},
  biburl    = {https://dblp.org/rec/conf/lcpc/PhilippsenTB11.bib},
  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},
  editor    = {Robert Hirschfeld and
               Eelco Visser},
  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},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/2048237.2048245},
  doi       = {10.1145/2048237.2048245},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/oopsla/TillmannMHF11.bib},
  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},
  editor    = {Cristina Videira Lopes and
               Kathleen Fisher},
  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},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/2048066.2048083},
  doi       = {10.1145/2048066.2048083},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/oopsla/ThummalapentaXTHS11.bib},
  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},
  editor    = {Irwin Brown and
               Kosheek Sewchurran and
               Hussein Suleman},
  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},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/2072221.2072273},
  doi       = {10.1145/2072221.2072273},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/saicsit/BishopHTHSX11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TillmannHX10,
  author    = {Nikolai Tillmann and
               Jonathan de Halleux and
               Tao Xie},
  editor    = {Jeff Kramer and
               Judith Bishop and
               Premkumar T. Devanbu and
               Sebasti{\'{a}}n Uchitel},
  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},
  publisher = {{ACM}},
  year      = {2010},
  url       = {https://doi.org/10.1145/1810295.1810441},
  doi       = {10.1145/1810295.1810441},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/icse/TillmannHX10.bib},
  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},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {https://doi.org/10.1109/ICSM.2010.5609565},
  doi       = {10.1109/ICSM.2010.5609565},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/conf/icsm/PanditaXTH10.bib},
  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},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {https://doi.org/10.1109/ICSM.2010.5609672},
  doi       = {10.1109/ICSM.2010.5609672},
  timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl    = {https://dblp.org/rec/conf/icsm/ZhangXZTHM10.bib},
  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},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {https://doi.org/10.1109/ICST.2010.15},
  doi       = {10.1109/ICST.2010.15},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/icst/VeanesHT10.bib},
  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},
  editor    = {Charles Pecheur and
               Jamie Andrews and
               Elisabetta Di Nitto},
  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},
  publisher = {{ACM}},
  year      = {2010},
  url       = {https://doi.org/10.1145/1858996.1859019},
  doi       = {10.1145/1858996.1859019},
  timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
  biburl    = {https://dblp.org/rec/conf/kbse/TanejaLMXT10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/VeanesTH10,
  author    = {Margus Veanes and
               Nikolai Tillmann and
               Jonathan de Halleux},
  editor    = {Edmund M. Clarke and
               Andrei Voronkov},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {6355},
  pages     = {425--446},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-17511-4\_24},
  doi       = {10.1007/978-3-642-17511-4\_24},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/conf/lpar/VeanesTH10.bib},
  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},
  editor    = {William R. Cook and
               Siobh{\'{a}}n Clarke and
               Martin C. Rinard},
  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},
  publisher = {{ACM}},
  year      = {2010},
  url       = {https://doi.org/10.1145/1869542.1869570},
  doi       = {10.1145/1869542.1869570},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/oopsla/XieHTS10.bib},
  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},
  editor    = {William R. Cook and
               Siobh{\'{a}}n Clarke and
               Martin C. Rinard},
  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},
  publisher = {{ACM}},
  year      = {2010},
  url       = {https://doi.org/10.1145/1869459.1869517},
  doi       = {10.1145/1869459.1869517},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/oopsla/BebenitaBFLSTV10.bib},
  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},
  editor    = {Alexandre Petrenko and
               Adenilso da Silva Sim{\~{a}}o and
               Jos{\'{e}} Carlos Maldonado},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {6435},
  pages     = {142--157},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-16573-3\_11},
  doi       = {10.1007/978-3-642-16573-3\_11},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/pts/LakhotiaTHH10.bib},
  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},
  editor    = {Gruia{-}Catalin Roman and
               Kevin J. Sullivan},
  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},
  publisher = {{ACM}},
  year      = {2010},
  url       = {https://doi.org/10.1145/1882362.1882444},
  doi       = {10.1145/1882362.1882444},
  timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/sigsoft/WhalenGMPTV10.bib},
  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},
  editor    = {Gruia{-}Catalin Roman and
               Kevin J. Sullivan},
  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},
  publisher = {{ACM}},
  year      = {2010},
  url       = {https://doi.org/10.1145/1882362.1882447},
  doi       = {10.1145/1882362.1882447},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/sigsoft/XieTHS10.bib},
  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},
  editor    = {Gordon Fraser and
               Angelo Gargantini},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {6143},
  pages     = {77--93},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13977-2\_8},
  doi       = {10.1007/978-3-642-13977-2\_8},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/ThummalapentaHTW10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/HalleuxT10,
  author    = {Jonathan de Halleux and
               Nikolai Tillmann},
  editor    = {Jan Vitek},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {6141},
  pages     = {253--270},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13953-6\_14},
  doi       = {10.1007/978-3-642-13953-6\_14},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/conf/tools/HalleuxT10.bib},
  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 = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/rv/2010.bib},
  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},
  editor    = {Mark Harman and
               Henry Muccini and
               Wolfram Schulte and
               Tao Xie},
  title     = {{FITE} - Future Integrated Testing Environment},
  booktitle = {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/opus/volltexte/2010/2619/},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/dagstuhl/GodefroidMPTVW10.bib},
  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},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/DSN.2009.5270315},
  doi       = {10.1109/DSN.2009.5270315},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/dsn/XieTHS09.bib},
  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},
  editor    = {Karin K. Breitman and
               Ana Cavalcanti},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {5885},
  pages     = {49--68},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-10373-5\_3},
  doi       = {10.1007/978-3-642-10373-5\_3},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/icfem/VeanesGHT09.bib},
  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},
  editor    = {Dimitris Dranidis and
               Stephen P. Masticola and
               Paul A. Strooper},
  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},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/IWAST.2009.5069054},
  doi       = {10.1109/IWAST.2009.5069054},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/MarriXTHS09.bib},
  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},
  publisher = {{IEEE}},
  year      = {2009},
  url       = {https://doi.org/10.1109/ICSE-COMPANION.2009.5071009},
  doi       = {10.1109/ICSE-COMPANION.2009.5071009},
  timestamp = {Tue, 12 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/icse/TanejaXTHS09.bib},
  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},
  publisher = {{IEEE}},
  year      = {2009},
  url       = {https://doi.org/10.1109/ICSE-COMPANION.2009.5071032},
  doi       = {10.1109/ICSE-COMPANION.2009.5071032},
  timestamp = {Tue, 12 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/icse/BarnettFHLT09.bib},
  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},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/ICSTW.2009.43},
  doi       = {10.1109/ICSTW.2009.43},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/icst/XieTHS09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itng/KongTH09,
  author    = {Soonho Kong and
               Nikolai Tillmann and
               Jonathan de Halleux},
  editor    = {Shahram Latifi},
  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},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/ITNG.2009.80},
  doi       = {10.1109/ITNG.2009.80},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/conf/itng/KongTH09.bib},
  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},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/ASE.2009.67},
  doi       = {10.1109/ASE.2009.67},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/kbse/LiXTHS09.bib},
  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},
  editor    = {Hans van Vliet and
               Val{\'{e}}rie Issarny},
  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},
  publisher = {{ACM}},
  year      = {2009},
  url       = {https://doi.org/10.1145/1595696.1595725},
  doi       = {10.1145/1595696.1595725},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/sigsoft/ThummalapentaXTHS09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/VanoverbergheTP09,
  author    = {Dries Vanoverberghe and
               Nikolai Tillmann and
               Frank Piessens},
  editor    = {Stefan Kowalewski and
               Anna Philippou},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {5505},
  pages     = {277--291},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00768-2\_25},
  doi       = {10.1007/978-3-642-00768-2\_25},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/tacas/VanoverbergheTP09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BjornerTV09,
  author    = {Nikolaj Bj{\o}rner and
               Nikolai Tillmann and
               Andrei Voronkov},
  editor    = {Stefan Kowalewski and
               Anna Philippou},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {5505},
  pages     = {307--321},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00768-2\_27},
  doi       = {10.1007/978-3-642-00768-2\_27},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/tacas/BjornerTV09.bib},
  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/journals/software/GodefroidHNRSTL08.bib},
  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},
  editor    = {Robert M. Hierons and
               Jonathan P. Bowen and
               Mark Harman},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {4949},
  pages     = {39--76},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78917-8\_2},
  doi       = {10.1007/978-3-540-78917-8\_2},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/fortest/VeanesCGSTN08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CsallnerTS08,
  author    = {Christoph Csallner and
               Nikolai Tillmann and
               Yannis Smaragdakis},
  editor    = {Wilhelm Sch{\"{a}}fer and
               Matthew B. Dwyer and
               Volker Gruhn},
  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},
  publisher = {{ACM}},
  year      = {2008},
  url       = {https://doi.org/10.1145/1368088.1368127},
  doi       = {10.1145/1368088.1368127},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/icse/CsallnerTS08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/TillmannH08,
  author    = {Nikolai Tillmann and
               Jonathan de Halleux},
  editor    = {Tevfik Bultan and
               Tao Xie},
  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},
  publisher = {{ACM}},
  year      = {2008},
  url       = {https://doi.org/10.1145/1390832.1390840},
  doi       = {10.1145/1390832.1390840},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/issta/TillmannH08.bib},
  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},
  editor    = {Klaus Havelund and
               Rupak Majumdar and
               Jens Palsberg},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {5156},
  pages     = {9--25},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-85114-1\_4},
  doi       = {10.1007/978-3-540-85114-1\_4},
  timestamp = {Tue, 14 May 2019 10:00:36 +0200},
  biburl    = {https://dblp.org/rec/conf/spin/VanoverbergheBHST08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AnandGT08,
  author    = {Saswat Anand and
               Patrice Godefroid and
               Nikolai Tillmann},
  editor    = {C. R. Ramakrishnan and
               Jakob Rehof},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {4963},
  pages     = {367--381},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78800-3\_28},
  doi       = {10.1007/978-3-540-78800-3\_28},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/tacas/AnandGT08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/TillmannH08,
  author    = {Nikolai Tillmann and
               Jonathan de Halleux},
  editor    = {Bernhard Beckert and
               Reiner H{\"{a}}hnle},
  title     = {Pex-White Box Test Generation for .NET},
  booktitle = {Tests and Proofs, Second International Conference, {TAP} 2008, Prato,
               Italy, April 9-11, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4966},
  pages     = {134--153},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-79124-9\_10},
  doi       = {10.1007/978-3-540-79124-9\_10},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/TillmannH08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/HalleuxT08,
  author    = {Jonathan de Halleux and
               Nikolai Tillmann},
  editor    = {Bernhard Beckert and
               Reiner H{\"{a}}hnle},
  title     = {Parameterized Unit Testing with Pex},
  booktitle = {Tests and Proofs, Second International Conference, {TAP} 2008, Prato,
               Italy, April 9-11, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4966},
  pages     = {171--181},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-79124-9\_12},
  doi       = {10.1007/978-3-540-79124-9\_12},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/conf/tap/HalleuxT08.bib},
  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},
  publisher = {{ACM}},
  year      = {2007},
  url       = {https://doi.org/10.1145/1291535.1291536},
  doi       = {10.1145/1291535.1291536},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/amost/KicillofGTB07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/psse/TillmannHS07,
  author    = {Nikolai Tillmann and
               Jonathan de Halleux and
               Wolfram Schulte},
  editor    = {Paulo Borba and
               Ana Cavalcanti and
               Augusto Sampaio and
               Jim Woodcock},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {6153},
  pages     = {141--202},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-642-14335-9\_5},
  doi       = {10.1007/978-3-642-14335-9\_5},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/psse/TillmannHS07.bib},
  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   = {Electron. 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 = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/entcs/GrieskampTS06.bib},
  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/journals/ijseke/GrieskampKT06.bib},
  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/journals/software/TillmannS06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/TillmannCS06,
  author    = {Nikolai Tillmann and
               Feng Chen and
               Wolfram Schulte},
  editor    = {Zhiming Liu and
               Jifeng He},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {4260},
  pages     = {717--736},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11901433\_39},
  doi       = {10.1007/11901433\_39},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/icfem/TillmannCS06.bib},
  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},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {https://doi.org/10.1109/ASE.2006.51},
  doi       = {10.1109/ASE.2006.51},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/kbse/TillmannS06.bib},
  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/journals/tcs/GurevichT05.bib},
  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},
  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/conf/asm/PaivaTFV05.bib},
  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},
  editor    = {John S. Fitzgerald and
               Ian J. Hayes and
               Andrzej Tarlecki},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {3582},
  pages     = {542--547},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11526841\_38},
  doi       = {10.1007/11526841\_38},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/conf/fm/CampbellGNSTV05.bib},
  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},
  editor    = {Kung{-}Kiu Lau and
               Richard Banach},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {3785},
  pages     = {450--464},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11576280\_31},
  doi       = {10.1007/11576280\_31},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/icfem/PaivaFTV05.bib},
  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},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {https://doi.org/10.1109/QSIC.2005.10},
  doi       = {10.1109/QSIC.2005.10},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/conf/qsic/GrieskampTCSV05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/TillmannS05,
  author    = {Nikolai Tillmann and
               Wolfram Schulte},
  editor    = {Michel Wermelinger and
               Harald C. Gall},
  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},
  publisher = {{ACM}},
  year      = {2005},
  url       = {https://doi.org/10.1145/1081706.1081745},
  doi       = {10.1145/1081706.1081745},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/sigsoft/TillmannS05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/TillmannS05a,
  author    = {Nikolai Tillmann and
               Wolfram Schulte},
  editor    = {Michel Wermelinger and
               Harald C. Gall},
  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},
  publisher = {{ACM}},
  year      = {2005},
  url       = {https://doi.org/10.1145/1081706.1081749},
  doi       = {10.1145/1081706.1081749},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/sigsoft/TillmannS05a.bib},
  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},
  editor    = {Michel Wermelinger and
               Harald C. Gall},
  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},
  publisher = {{ACM}},
  year      = {2005},
  url       = {https://doi.org/10.1145/1081706.1081751},
  doi       = {10.1145/1081706.1081751},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/sigsoft/VeanesCST05.bib},
  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   = {Inf. Softw. Technol.},
  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 = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/infsof/GrieskampTV04.bib},
  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},
  editor    = {George S. Avrunin and
               Gregg Rothermel},
  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},
  publisher = {{ACM}},
  year      = {2004},
  url       = {https://doi.org/10.1145/1007512.1007520},
  doi       = {10.1145/1007512.1007520},
  timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
  biburl    = {https://dblp.org/rec/conf/issta/NachmansonVSTG04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/GurevichT03,
  author    = {Yuri Gurevich and
               Nikolai Tillmann},
  editor    = {Egon B{\"{o}}rger and
               Angelo Gargantini and
               Elvinia Riccobene},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {2589},
  pages     = {57--86},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-36498-6\_4},
  doi       = {10.1007/3-540-36498-6\_4},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/asm/GurevichT03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/BarnettST03,
  author    = {Michael Barnett and
               Wolfram Schulte and
               Nikolai Tillmann},
  editor    = {Egon B{\"{o}}rger and
               Angelo Gargantini and
               Elvinia Riccobene},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {2589},
  pages     = {407},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-36498-6\_24},
  doi       = {10.1007/3-540-36498-6\_24},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/asm/BarnettST03.bib},
  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},
  editor    = {Egon B{\"{o}}rger and
               Angelo Gargantini and
               Elvinia Riccobene},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {2589},
  pages     = {413},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-36498-6\_27},
  doi       = {10.1007/3-540-36498-6\_27},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/asm/GrieskampNTV03.bib},
  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},
  editor    = {Alexandre Petrenko and
               Andreas Ulrich},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {2931},
  pages     = {252--266},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/978-3-540-24617-6\_18},
  doi       = {10.1007/978-3-540-24617-6\_18},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/fates/BarnettGNSTV03.bib},
  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},
  publisher = {{IEEE} Computer Society},
  year      = {2003},
  url       = {https://doi.org/10.1109/QSIC.2003.1319107},
  doi       = {10.1109/QSIC.2003.1319107},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/conf/qsic/BarnettGSTV03.bib},
  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/journals/jucs/GurevichT01.bib},
  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},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {https://doi.org/10.1109/APAQS.2001.990016},
  doi       = {10.1109/APAQS.2001.990016},
  timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl    = {https://dblp.org/rec/conf/apaqs/GrieskampLST01.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics