%0 Journal Article %1 journals/sosym/FellnerBW21 %A Fellner, Andreas %A Befrouei, Mitra Tabaei %A Weissenbacher, Georg %D 2021 %J Softw. Syst. Model. %K dblp %N 2 %P 405-427 %T Mutation testing with hyperproperties. %U http://dblp.uni-trier.de/db/journals/sosym/sosym20.html#FellnerBW21 %V 20

@article{journals/sosym/FellnerBW21, added-at = {2021-05-14T00:00:00.000+0200}, author = {Fellner, Andreas and Befrouei, Mitra Tabaei and Weissenbacher, Georg}, biburl = {https://www.bibsonomy.org/bibtex/2d29196fcece13afa6b23f159906e1dc6/dblp}, ee = {https://doi.org/10.1007/s10270-020-00850-1}, interhash = {c6b0fd7f82d1a9ff1d6e2e0f6b9ad7c7}, intrahash = {d29196fcece13afa6b23f159906e1dc6}, journal = {Softw. Syst. Model.}, keywords = {dblp}, number = 2, pages = {405-427}, timestamp = {2024-04-08T12:54:51.000+0200}, title = {Mutation testing with hyperproperties.}, url = {http://dblp.uni-trier.de/db/journals/sosym/sosym20.html#FellnerBW21}, volume = 20, year = 2021 }