Search papers, labs, and topics across Lattice.
School of Computer Science and Engineering, Macau University of Science and Technology
1
0
1
MASTOR generates 10,022 semantic test oracles, achieving a 75.4% mutation score and outperforming traditional methods by over 30 percentage points.
