Structuring Verification Perspectives and Sharing Quality Information with a Test Requirement Model (TRM)
I led the abstract, problem formulation, experiment design, analysis plan, and manuscript writing. The conference presentation itself was delivered by a collaborating community member.
The study compared direct test generation from source code with a TRM-mediated approach, reporting 67.4% perspective coverage for source-only generation versus 100% with TRM. Mutation analysis showed a smaller difference, 93.6% vs. 95.2%, leading to the interpretation that TRM's value is not simply more detected faults, but a more stable minimum detection level.
SQiP program ↗
