Regression verification for programmable logic controller software

@MastersThesis{WeiglThesis2015,
  author   = {Alexander Sebastian Weigl},
  school   = {Karlsruhe Institute of Technology},
  title    = {Regression Verification for Programmable Logic Controller Software},
  year     = {2015},
  month    = {1},
  type     = {Master's thesis},
  ids      = {masterthesis},
  keywords = {IMPROVE},
}```