@PhdThesis{PWeissleder2010,
  author   = {Stephan Wei{\ss}leder},
  title    = {Test Models and Coverage Criteria for Automatic Model-Based Test Generation with UML State Machines},
  year     = {2010},
  type     = {PhDReview},
  file     = {PhDReviewed/Weissleder2010 - Test Models and Coverage Criteria for Automatic Model Based Test Generation with UML State Machines.pdf:PDF},
  location = {Mathematisch-Naturwissenschaftlichen Fakult{\"a}t II, Humboldt-Universit{\"a}t zu Berlin}
}