Search papers, labs, and topics across Lattice.
School of Computer Science and Engineering, Macau University of Science and Technology
2
0
1
Supervised fine-tuning with domain-specific data can drastically enhance the reliability of LLM-generated Solidity smart contracts, outperforming general-purpose models.
MASTOR generates 10,022 semantic test oracles, achieving a 75.4% mutation score and outperforming traditional methods by over 30 percentage points.
