Mutation Testing with Hyperproperties (bibtex)
by Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher
Reference:
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:
@InProceedings{DBLP:conf/sefm/FellnerBW19,
  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       = {https://doi.org/10.1007/978-3-030-30446-1_11},
}
Powered by bibtexbrowser