MutDafny uses 40 mutation operators on 794 real-world Dafny programs to detect weak specifications, manually confirming five such cases at a rate of one per 241 lines.
InProceedings of the Twelfth European Conference on Computer Systems(Belgrade, Serbia)(EuroSys ’17)
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
representative citing papers
The paper discusses potential frameworks for data consortia in which informed users pool data for their own and society's benefit.
citing papers explorer
-
MutDafny: A Mutation-Based Approach to Assess Dafny Specifications
MutDafny uses 40 mutation operators on 794 real-world Dafny programs to detect weak specifications, manually confirming five such cases at a rate of one per 241 lines.
-
Data Consortia
The paper discusses potential frameworks for data consortia in which informed users pool data for their own and society's benefit.