Kunpeng E

Towards More Realistic Assertion Generation under Mixed-Assertion Scenario

Unit testing is essential for software quality assurance, where a test case typically consists of a test prefix and an oracle, expressed as assertions. In practice, crafting high-quality assertions is non-trivial and time-consuming, as it requires developers to reason carefully about program states and expected behavio...