@InProceedings{schlingloff_et_al:DagSemProc.08351.1,
  author =	{Schlingloff, Holger and Vos, Tanja E. J. and Wegener, Joachim},
  title =	{{08351 Abstracts Collection – Evolutionary Test Generation}},
  booktitle =	{Evolutionary Test Generation},
  pages =	{1--9},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{8351},
  editor =	{Holger Schlingloff and Tanja E. J. Vos and Joachim Wegener},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08351.1},
  URN =		{urn:nbn:de:0030-drops-20231},
  doi =		{10.4230/DagSemProc.08351.1},
  annote =	{Keywords: Software-testing, evolutionary algoritms, meta-heuristic search}
}
@InProceedings{schlingloff_et_al:DagSemProc.08351.2,
  author =	{Schlingloff, Holger and Vos, Tanja E. J. and Wegener, Joachim},
  title =	{{08351 Summary – Evolutionary Test Generation}},
  booktitle =	{Evolutionary Test Generation},
  pages =	{1--12},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{8351},
  editor =	{Holger Schlingloff and Tanja E. J. Vos and Joachim Wegener},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08351.2},
  URN =		{urn:nbn:de:0030-drops-20224},
  doi =		{10.4230/DagSemProc.08351.2},
  annote =	{Keywords: Software-testing, evolutionary algoritms, meta-heuristic search}
}
@InProceedings{mcminn:DagSemProc.08351.3,
  author =	{McMinn, Philip},
  title =	{{Co-testability Transformation}},
  booktitle =	{Evolutionary Test Generation},
  pages =	{1--1},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{8351},
  editor =	{Holger Schlingloff and Tanja E. J. Vos and Joachim Wegener},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08351.3},
  URN =		{urn:nbn:de:0030-drops-20131},
  doi =		{10.4230/DagSemProc.08351.3},
  annote =	{Keywords: Search-based testing, testability transformation}
}
@InProceedings{tettamanzi:DagSemProc.08351.4,
  author =	{Tettamanzi, Andrea G. B.},
  title =	{{Fuzzy Logic Based Objective Function Construction for Evolutionary Test Generation}},
  booktitle =	{Evolutionary Test Generation},
  pages =	{1--11},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{8351},
  editor =	{Holger Schlingloff and Tanja E. J. Vos and Joachim Wegener},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08351.4},
  URN =		{urn:nbn:de:0030-drops-20165},
  doi =		{10.4230/DagSemProc.08351.4},
  annote =	{Keywords: Functional testing, fuzzy logic, objective function}
}
@InProceedings{windisch:DagSemProc.08351.5,
  author =	{Windisch, Andreas},
  title =	{{Ideas on Signal Generation for Evolutionary Testing of Continuous Systems}},
  booktitle =	{Evolutionary Test Generation},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{8351},
  editor =	{Holger Schlingloff and Tanja E. J. Vos and Joachim Wegener},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08351.5},
  URN =		{urn:nbn:de:0030-drops-20118},
  doi =		{10.4230/DagSemProc.08351.5},
  annote =	{Keywords: Search-Based Testing, Optimization, Metaheuristic}
}
@InProceedings{drechsler_et_al:DagSemProc.08351.6,
  author =	{Drechsler, Rolf and Eggersgl\"{u}{\ss}, Stephan and Fey, G\"{o}rschwin and Tille, Daniel},
  title =	{{SAT-based Automatic Test Pattern Generation}},
  booktitle =	{Evolutionary Test Generation},
  pages =	{1--2},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{8351},
  editor =	{Holger Schlingloff and Tanja E. J. Vos and Joachim Wegener},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08351.6},
  URN =		{urn:nbn:de:0030-drops-20152},
  doi =		{10.4230/DagSemProc.08351.6},
  annote =	{Keywords: Circuit, ATPG, SAT, Boolean Satisfiability}
}
@InProceedings{baskiotis_et_al:DagSemProc.08351.7,
  author =	{Baskiotis, Nicolas and Sebag, Mich\`{e}le and Gaudel, Marie-Claude},
  title =	{{SoftwareTesting with Active Learning in a Graph}},
  booktitle =	{Evolutionary Test Generation},
  pages =	{1--12},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{8351},
  editor =	{Holger Schlingloff and Tanja E. J. Vos and Joachim Wegener},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08351.7},
  URN =		{urn:nbn:de:0030-drops-20149},
  doi =		{10.4230/DagSemProc.08351.7},
  annote =	{Keywords: Structural Statistical Software Testing, Active Learning, Control Flow Graph, Feaisble Paths, Parikh maps.}
}
@InProceedings{lindlar_et_al:DagSemProc.08351.8,
  author =	{Lindlar, Felix and Marrero P\'{e}rez, Abel},
  title =	{{Using evolutionary algorithms to select parameters from equivalence classes}},
  booktitle =	{Evolutionary Test Generation},
  pages =	{1--2},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{8351},
  editor =	{Holger Schlingloff and Tanja E. J. Vos and Joachim Wegener},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08351.8},
  URN =		{urn:nbn:de:0030-drops-20120},
  doi =		{10.4230/DagSemProc.08351.8},
  annote =	{Keywords: Equivalence classes, evolutionary testing, functional testing, automotive industry}
}