Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Automating Regression Verification

Reviewed Paper In Proceedings
Author(s):Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer, and Mattias Ulbrich
In:Multikonferenz Software Engineering und Management 2015: Fachtagung Software Engineering (SE 2015)
Publisher:LNI
Year:2015
Keywords: IMPROVE

BibTeX

@InProceedings{FelsingGrebingKlebanov2015,
  author = {Dennis Felsing and Sarah Grebing and Vladimir Klebanov and 
            Philipp R{\"u}mmer and Mattias Ulbrich},
  title = {Automating Regression Verification},
  booktitle = {Multikonferenz Software Engineering und Management 2015:
               Fachtagung Software Engineering (SE 2015)},
  publisher = {LNI},
  month = mar,
  year = {2015},
  keywords = {IMPROVE}
}