@PhdThesis{PCalame2008,
  author       = {Jens R. Calame},
  title        = {Testing Reactive Systems With Data -- Enumerative Methods and Constraint Solving},
  year         = {2008},
  type = {PhDReview},
  file         = {PhDReviewed/Calame2008 - Testing Reactive Systems with Data Enumerative Methods and Constraint Solving.pdf:PDF},
  location  = {Faculty of Electrical Engineering, Mathematics and Computer Science, University of Twente, The Netherlands}
}