Automating Regression Verification

@inproceedings{FGKRU15,
  author    = {Dennis Felsing and
               Sarah Grebing and
               Vladimir Klebanov and
               Philipp R{\"{u}}mmer and
               Mattias Ulbrich},
  editor    = {Uwe A{\ss}mann and
               Birgit Demuth and
               Thorsten Spitta and
               Georg P{\"{u}}schel and
               Ronny Kaiser},
  title     = {Automating Regression Verification},
  booktitle = {LNI Software Engineering {\&} Management, Multikonferenz der
               GI-Fachbereiche Softwaretechnik {(SWT)} und Wirtschaftsinformatik
               (WI), {FA} WI-MAW (SE {\&} SWM 2015)},
  series    = {{LNI}},
  volume    = {239},
  pages     = {75--76},
  publisher = {{GI}},
  year      = {2015},
  venue     = {Dresden, Germany},
  month     = mar,
  eventdate = {2015-03-17/2015-03-20}
}