1 paper
W. Spencer Smith, Jingyi Lin
Research software engineers can use Assurance Cases (ACs) to guide Verification and Validation (VnV) efforts. An AC is a structured argument that a property like correctness holds.…