Mutation Testing with Hyperproperties (bibtex)
by Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher
Mutation Testing with HyperpropertiesAndreas Fellner, Mitra Tabaei Befrouei, Georg WeissenbacherSEFM, volume 11724 of Lecture Notes in Computer Science, pages 203–221, 2019, Springer.
Bibtex Entry:
  author    = {Andreas Fellner and Mitra Tabaei Befrouei and Georg Weissenbacher},
  title     = {Mutation Testing with Hyperproperties},
  booktitle = {{SEFM}},
  year      = {2019},
  volume    = {11724},
  series    = {Lecture Notes in Computer Science},
  pages     = {203--221},
  publisher = {Springer},
  doi       = {},
Powered by bibtexbrowser