@article{PISA2000,
  added-at = {2012-02-04T20:54:37.000+0100},
  author = {Stanat and Artelt and Baumert and Klieme and Neubrand and Prenzel and Schiefele and Schneider and Schümer and Tillmann and Weiß},
  biburl = {http://www.bibsonomy.org/bibtex/20773ece0bc0b35322da74b1cab10fb0a/antje},
  interhash = {f6effca924f7c3a5c98d1e583747d8b7},
  intrahash = {0773ece0bc0b35322da74b1cab10fb0a},
  keywords = {PISA},
  title = {PISA 2000 -- Die Studie im Überblick. Grundlagen, Methoden und Ergebnisse},
  url = {/brokenurl#www.mpib-berlin.mpg.de/Pisa/PISA_im_Ueberblick.pdf},
  year = 2003
}

@inproceedings{conf/icse/CadarGKPSTV11,
  added-at = {2012-01-28T00:00:00.000+0100},
  author = {Cadar, Cristian and Godefroid, Patrice and Khurshid, Sarfraz and Pasareanu, Corina S. and Sen, Koushik and Tillmann, Nikolai and Visser, Willem},
  biburl = {http://www.bibsonomy.org/bibtex/257540ec499dfd0da9a8a977367a53164/dblp},
  booktitle = {ICSE},
  crossref = {conf/icse/2011},
  editor = {Taylor, Richard N. and Gall, Harald and Medvidovic, Nenad},
  ee = {http://doi.acm.org/10.1145/1985793.1985995},
  interhash = {5bf1fe423f9af2bd1d36a707ffe6759a},
  intrahash = {57540ec499dfd0da9a8a977367a53164},
  isbn = {978-1-4503-0445-0},
  keywords = {dblp},
  pages = {1066-1071},
  publisher = {ACM},
  title = {Symbolic execution for software testing in practice: preliminary assessment.},
  url = {http://dblp.uni-trier.de/db/conf/icse/icse2011.html#CadarGKPSTV11},
  year = 2011
}

@inproceedings{conf/icse/XiaoXTH11,
  added-at = {2012-01-28T00:00:00.000+0100},
  author = {Xiao, Xusheng and Xie, Tao and Tillmann, Nikolai and de Halleux, Jonathan},
  biburl = {http://www.bibsonomy.org/bibtex/20834a0f249592249b95ec7071616d54e/dblp},
  booktitle = {ICSE},
  crossref = {conf/icse/2011},
  editor = {Taylor, Richard N. and Gall, Harald and Medvidovic, Nenad},
  ee = {http://doi.acm.org/10.1145/1985793.1985876},
  interhash = {82e168128da8fabdc7c5f74225647829},
  intrahash = {0834a0f249592249b95ec7071616d54e},
  isbn = {978-1-4503-0445-0},
  keywords = {dblp},
  pages = {611-620},
  publisher = {ACM},
  title = {Precise identification of problems for structural test generation.},
  url = {http://dblp.uni-trier.de/db/conf/icse/icse2011.html#XiaoXTH11},
  year = 2011
}

@inproceedings{conf/icse/GeTXT11,
  added-at = {2012-01-28T00:00:00.000+0100},
  author = {Ge, Xi and Taneja, Kunal and Xie, Tao and Tillmann, Nikolai},
  biburl = {http://www.bibsonomy.org/bibtex/2f611e2bc4f233bcfdce0382f118f68d7/dblp},
  booktitle = {ICSE},
  crossref = {conf/icse/2011},
  editor = {Taylor, Richard N. and Gall, Harald and Medvidovic, Nenad},
  ee = {http://doi.acm.org/10.1145/1985793.1985971},
  interhash = {939e429cc48f1d23aaba26c8af15c5ca},
  intrahash = {f611e2bc4f233bcfdce0382f118f68d7},
  isbn = {978-1-4503-0445-0},
  keywords = {dblp},
  pages = {992-994},
  publisher = {ACM},
  title = {DyTa: dynamic symbolic execution guided with static verification results.},
  url = {http://dblp.uni-trier.de/db/conf/icse/icse2011.html#GeTXT11},
  year = 2011
}

@inproceedings{conf/icse/XiaoXTH11a,
  added-at = {2012-01-28T00:00:00.000+0100},
  author = {Xiao, Xusheng and Xie, Tao and Tillmann, Nikolai and de Halleux, Jonathan},
  biburl = {http://www.bibsonomy.org/bibtex/250777ba1e649fd3c8d7c708f28be9538/dblp},
  booktitle = {ICSE},
  crossref = {conf/icse/2011},
  editor = {Taylor, Richard N. and Gall, Harald and Medvidovic, Nenad},
  ee = {http://doi.acm.org/10.1145/1985793.1985976},
  interhash = {8d7b7e55d19e677c521993458f68c34c},
  intrahash = {50777ba1e649fd3c8d7c708f28be9538},
  isbn = {978-1-4503-0445-0},
  keywords = {dblp},
  pages = {1004-1006},
  publisher = {ACM},
  title = {Covana: precise identification of problems in pex.},
  url = {http://dblp.uni-trier.de/db/conf/icse/icse2011.html#XiaoXTH11a},
  year = 2011
}

@inproceedings{conf/sofsem/VanoverbergheHTP12,
  added-at = {2012-01-17T00:00:00.000+0100},
  author = {Vanoverberghe, Dries and de Halleux, Jonathan and Tillmann, Nikolai and Piessens, Frank},
  biburl = {http://www.bibsonomy.org/bibtex/289d094fa296ed83fa0930dc284c18b38/dblp},
  booktitle = {SOFSEM},
  crossref = {conf/sofsem/2012},
  editor = {Bieliková, Mária and Friedrich, Gerhard and Gottlob, Georg and Katzenbeisser, Stefan and Turán, György},
  ee = {http://dx.doi.org/10.1007/978-3-642-27660-6_44},
  interhash = {dad8e640d89ef5aa19f50836cdb5c719},
  intrahash = {89d094fa296ed83fa0930dc284c18b38},
  isbn = {978-3-642-27659-0},
  keywords = {dblp},
  pages = {542-553},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {State Coverage: Software Validation Metrics beyond Code Coverage.},
  url = {http://dblp.uni-trier.de/db/conf/sofsem/sofsem2012.html#VanoverbergheHTP12},
  volume = 7147,
  year = 2012
}

@inproceedings{conf/haskell/RendelO10,
  added-at = {2012-01-13T00:00:00.000+0100},
  author = {Rendel, Tillmann and Ostermann, Klaus},
  biburl = {http://www.bibsonomy.org/bibtex/222788a3d08ec1f8b5ca9f65fcb621bd4/dblp},
  booktitle = {Haskell},
  crossref = {conf/haskell/2010},
  editor = {Gibbons, Jeremy},
  ee = {http://doi.acm.org/10.1145/1863523.1863525},
  interhash = {5b4749b60a6b8e2d515387000fa6fbdf},
  intrahash = {22788a3d08ec1f8b5ca9f65fcb621bd4},
  isbn = {978-1-4503-0252-4},
  keywords = {dblp},
  pages = {1-12},
  publisher = {ACM},
  title = {Invertible syntax descriptions: unifying parsing and pretty printing.},
  url = {http://dblp.uni-trier.de/db/conf/haskell/haskell2010.html#RendelO10},
  year = 2010
}

@book{tillmann2008identittsspielraum,
  added-at = {2012-01-11T09:23:37.000+0100},
  address = {Weinheim und München},
  author = {Tillmann, Angela},
  biburl = {http://www.bibsonomy.org/bibtex/2b7ecd2bcbda7af78d6b988ffcba1f662/profess},
  interhash = {f39ae6527cf4037389cd6f86d573f5c4},
  intrahash = {b7ecd2bcbda7af78d6b988ffcba1f662},
  keywords = {Identität InformellesLernen Internet},
  publisher = {Juventa},
  title = {Identitätsspielraum Internet: Lernprozesse und Selbstbildungspraktiken von Mädchen und jungen Frauen in der virtuellen Welt },
  year = 2008
}

@inproceedings{conf/acl/TillmannVNZ97,
  added-at = {2011-12-23T00:00:00.000+0100},
  author = {Tillmann, Christoph and Vogel, Stephan and Ney, Hermann and Zubiaga, A.},
  biburl = {http://www.bibsonomy.org/bibtex/23db6b10b2a64c4789fb064663a8ab949/dblp},
  booktitle = {ACL},
  crossref = {conf/acl/1997},
  editor = {Cohen, Philip R. and Wahlster, Wolfgang},
  ee = {http://aclweb.org/anthology-new/P/P97/},
  interhash = {8d672ce06e43986e10869269d5b2b474},
  intrahash = {3db6b10b2a64c4789fb064663a8ab949},
  keywords = {dblp},
  pages = {289-296},
  publisher = {Morgan Kaufmann Publishers / ACL},
  title = {A DP based Search Using Monotone Alignments in Statistical Translation.},
  url = {http://dblp.uni-trier.de/db/conf/acl/acl97.html#TillmannVNZ97},
  year = 1997
}

@inproceedings{conf/acl/CollinsHRT99,
  added-at = {2011-12-23T00:00:00.000+0100},
  author = {Collins, Michael and Hajic, Jan and Ramshaw, Lance A. and Tillmann, Christoph},
  biburl = {http://www.bibsonomy.org/bibtex/2d2292be31d8da615aced93e4ff505a19/dblp},
  booktitle = {ACL},
  crossref = {conf/acl/1999},
  editor = {Dale, Robert and Church, Kenneth Ward},
  ee = {http://www.aclweb.org/anthology/P99-1065},
  interhash = {71b6e8e063a99cf6718d5277aaebc82b},
  intrahash = {d2292be31d8da615aced93e4ff505a19},
  isbn = {1-55860-609-2},
  keywords = {dblp},
  publisher = {ACL},
  title = {A Statistical Parser for Czech.},
  url = {http://dblp.uni-trier.de/db/conf/acl/acl1999.html#CollinsHRT99},
  year = 1999
}

@inproceedings{conf/interspeech/TillmannH11,
  added-at = {2011-12-21T00:00:00.000+0100},
  author = {Tillmann, Christoph and Hewavitharana, Sanjika},
  biburl = {http://www.bibsonomy.org/bibtex/2e41be75d09b045ad27985ecdb2f0bf82/dblp},
  booktitle = {INTERSPEECH},
  crossref = {conf/interspeech/2011},
  interhash = {2b4ad9b1616a67ac88ca12c4ca58dbbe},
  intrahash = {e41be75d09b045ad27985ecdb2f0bf82},
  keywords = {dblp},
  pages = {2093-2096},
  publisher = {ISCA},
  title = {An Efficient Unified Extraction Algorithm for Bilingual Data.},
  url = {http://dblp.uni-trier.de/db/conf/interspeech/interspeech2011.html#TillmannH11},
  year = 2011
}

@article{journals/jocg/ApfelbaumBFMPUZ11,
  added-at = {2011-12-20T00:00:00.000+0100},
  author = {Apfelbaum, Roel and Ben-Dan, Itay and Felsner, Stefan and Miltzow, Tillmann and Pinchasi, Rom and Ueckerdt, Torsten and Ziv, Ran},
  biburl = {http://www.bibsonomy.org/bibtex/25b85e0000ea436c8ebc04f97149b1547/dblp},
  ee = {http://jocg.org/index.php/jocg/article/view/53},
  interhash = {d716a6e474535b23ca8367cb9846e32f},
  intrahash = {5b85e0000ea436c8ebc04f97149b1547},
  journal = {JoCG},
  keywords = {dblp},
  number = 1,
  pages = {128-143},
  title = {Points with Large Quadrant Depth.},
  url = {http://dblp.uni-trier.de/db/journals/jocg/jocg2.html#ApfelbaumBFMPUZ11},
  volume = 2,
  year = 2011
}

@inproceedings{conf/dsn/XieTHS09,
  added-at = {2011-12-20T00:00:00.000+0100},
  author = {Xie, Tao and Tillmann, Nikolai and de Halleux, Jonathan and Schulte, Wolfram},
  biburl = {http://www.bibsonomy.org/bibtex/2a003332538e4d07225287e564e334576/dblp},
  booktitle = {DSN},
  crossref = {conf/dsn/2009},
  ee = {http://doi.ieeecomputersociety.org/10.1109/DSN.2009.5270315},
  interhash = {7bc7e967a95e08aa9ce2e3b4bed4f642},
  intrahash = {a003332538e4d07225287e564e334576},
  keywords = {dblp},
  pages = {359-368},
  publisher = {IEEE},
  title = {Fitness-guided path exploration in dynamic symbolic execution.},
  url = {http://dblp.uni-trier.de/db/conf/dsn/dsn2009.html#XieTHS09},
  year = 2009
}

@inproceedings{conf/gpce/ErdwegKRKOV11,
  added-at = {2011-12-19T00:00:00.000+0100},
  author = {Erdweg, Sebastian and Kats, Lennart C. L. and Rendel, Tillmann and Kästner, Christian and Ostermann, Klaus and Visser, Eelco},
  biburl = {http://www.bibsonomy.org/bibtex/26e4fb7a82c86e619d95f74d7f92c3cc3/dblp},
  booktitle = {GPCE},
  crossref = {conf/gpce/2011},
  editor = {Denney, Ewen and Schultz, Ulrik Pagh},
  ee = {http://doi.acm.org/10.1145/2047862.2047891},
  interhash = {d5e0a4cf02b1f8aa03b83848b978a96d},
  intrahash = {6e4fb7a82c86e619d95f74d7f92c3cc3},
  isbn = {978-1-4503-0689-8},
  keywords = {dblp},
  pages = {167-176},
  publisher = {ACM},
  title = {Growing a language environment with editor libraries.},
  url = {http://dblp.uni-trier.de/db/conf/gpce/gpce2011.html#ErdwegKRKOV11},
  year = 2011
}

@inproceedings{conf/oopsla/ErdwegRKO11,
  added-at = {2011-12-19T00:00:00.000+0100},
  author = {Erdweg, Sebastian and Rendel, Tillmann and Kästner, Christian and Ostermann, Klaus},
  biburl = {http://www.bibsonomy.org/bibtex/20126f64e81e041787e31b7d031eba277/dblp},
  booktitle = {OOPSLA},
  crossref = {conf/oopsla/2011},
  editor = {Lopes, Cristina Videira and Fisher, Kathleen},
  ee = {http://doi.acm.org/10.1145/2048066.2048099},
  interhash = {4e1ea1b1da1476a2aef1e4b5ec456c9c},
  intrahash = {0126f64e81e041787e31b7d031eba277},
  isbn = {978-1-4503-0940-0},
  keywords = {dblp},
  pages = {391-406},
  publisher = {ACM},
  title = {SugarJ: library-based syntactic language extensibility.},
  url = {http://dblp.uni-trier.de/db/conf/oopsla/oopsla2011.html#ErdwegRKO11},
  year = 2011
}

@inproceedings{conf/oopsla/KastnerGREOB11,
  added-at = {2011-12-19T00:00:00.000+0100},
  author = {Kästner, Christian and Giarrusso, Paolo G. and Rendel, Tillmann and Erdweg, Sebastian and Ostermann, Klaus and Berger, Thorsten},
  biburl = {http://www.bibsonomy.org/bibtex/2b3c7734d22c23003753b3beb899dd6d1/dblp},
  booktitle = {OOPSLA},
  crossref = {conf/oopsla/2011},
  editor = {Lopes, Cristina Videira and Fisher, Kathleen},
  ee = {http://doi.acm.org/10.1145/2048066.2048128},
  interhash = {cfffdd90ee83ffe1223f4d1137dcd77b},
  intrahash = {b3c7734d22c23003753b3beb899dd6d1},
  isbn = {978-1-4503-0940-0},
  keywords = {dblp},
  pages = {805-824},
  publisher = {ACM},
  title = {Variability-aware parsing in the presence of lexical macros and conditional compilation.},
  url = {http://dblp.uni-trier.de/db/conf/oopsla/oopsla2011.html#KastnerGREOB11},
  year = 2011
}

@inproceedings{conf/oopsla/ErdwegKRKOV11,
  added-at = {2011-12-19T00:00:00.000+0100},
  author = {Erdweg, Sebastian and Kats, Lennart C. L. and Rendel, Tillmann and Kästner, Christian and Ostermann, Klaus and Visser, Eelco},
  biburl = {http://www.bibsonomy.org/bibtex/2bd0cc8271f89280a4beaf6573529ccff/dblp},
  booktitle = {OOPSLA Companion},
  crossref = {conf/oopsla/2011c},
  editor = {Lopes, Cristina Videira and Fisher, Kathleen},
  ee = {http://doi.acm.org/10.1145/2048147.2048156},
  interhash = {5a6559ec5c93b4e3fb4acd9ed674765e},
  intrahash = {bd0cc8271f89280a4beaf6573529ccff},
  isbn = {978-1-4503-0942-4},
  keywords = {dblp},
  pages = {17-18},
  publisher = {ACM},
  title = {Library-based model-driven software development with SugarJ.},
  url = {http://dblp.uni-trier.de/db/conf/oopsla/oopsla2011c.html#ErdwegKRKOV11},
  year = 2011
}

@inproceedings{conf/oopsla/ErdwegKRKOV11a,
  added-at = {2011-12-19T00:00:00.000+0100},
  author = {Erdweg, Sebastian and Kats, Lennart C. L. and Rendel, Tillmann and Kästner, Christian and Ostermann, Klaus and Visser, Eelco},
  biburl = {http://www.bibsonomy.org/bibtex/2b78245857fcb28999c17f04b9b1f5816/dblp},
  booktitle = {OOPSLA Companion},
  crossref = {conf/oopsla/2011c},
  editor = {Lopes, Cristina Videira and Fisher, Kathleen},
  ee = {http://doi.acm.org/10.1145/2048147.2048199},
  interhash = {f4178e10cd37f5c984ccaf14d5b7f8b2},
  intrahash = {b78245857fcb28999c17f04b9b1f5816},
  isbn = {978-1-4503-0942-4},
  keywords = {dblp},
  pages = {187-188},
  publisher = {ACM},
  title = {SugarJ: library-based language extensibility.},
  url = {http://dblp.uni-trier.de/db/conf/oopsla/oopsla2011c.html#ErdwegKRKOV11a},
  year = 2011
}

@article{journals/corr/abs-1110-3211,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Miltzow, Tillmann},
  biburl = {http://www.bibsonomy.org/bibtex/2db2aedf1238039d0a8da2a8913d08996/dblp},
  ee = {http://arxiv.org/abs/1110.3211},
  interhash = {b9a163fedb213c68f67f817dfc6e9ec0},
  intrahash = {db2aedf1238039d0a8da2a8913d08996},
  journal = {CoRR},
  keywords = {dblp},
  title = {Tron, a combinatorial Game on abstract Graphs},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1110.html#abs-1110-3211},
  volume = {abs/1110.3211},
  year = 2011
}

@inproceedings{conf/saicsit/BishopHTHSX11,
  added-at = {2011-12-02T00:00:00.000+0100},
  author = {Bishop, Judith and de Halleux, Jonathan and Tillmann, Nikolai and Horspool, R. Nigel and Syme, Don and Xie, Tao},
  biburl = {http://www.bibsonomy.org/bibtex/212967d143a233d13d1181d24b19ee1a4/dblp},
  booktitle = {SAICSIT Conf.},
  crossref = {conf/saicsit/2011},
  editor = {Brown, Irwin and Sewchurran, Kosheek and Suleman, Hussein},
  ee = {http://doi.acm.org/10.1145/2072221.2072273},
  interhash = {d5e5a5b5bc8133ba7e012c5b5081e9a2},
  intrahash = {12967d143a233d13d1181d24b19ee1a4},
  isbn = {978-1-4503-0878-6},
  keywords = {dblp},
  pages = {338-340},
  publisher = {ACM},
  title = {Browser-based software for technology transfer.},
  url = {http://dblp.uni-trier.de/db/conf/saicsit/saicsit2011.html#BishopHTHSX11},
  year = 2011
}