Static and Dynamic Verification of Relational Properties on Self-composed C Code

@inproceedings{blatterKGPP18,
  author    = {Lionel Blatter and
               Nikolai Kosmatov and
               Pascale Le Gall and
               Virgile Prevosto and
               Guillaume Petiot},
  editor    = {Catherine Dubois and
               Burkhart Wolff},
  title     = {Static and Dynamic Verification of Relational Properties
               on Self-composed {C} Code},
  booktitle = {12th International Conference on Tests and Proofs ({TAP} 2018) held
               as part of {STAF} 2018: Software Technologies - Applications and
               Foundations},
  venue     = {Toulouse, France},
  eventdate = {2018-06-27/2018-06-29},
  series    = {Lecture Notes in Computer Science},
  volume    = {10889},
  pages     = {44--62},
  publisher = {Springer},
  year      = {2018},
  month     = jun,
  doi       = {10.1007/978-3-319-92994-1\_3}
}