Spider Lab Research Group
Spider Lab Research Group
News
People
Publications
Contact
Assertion Generation
(FSE 2026) Revealing Regressions: A Comparative Study of State-Capture Strategies in Validating Program Behavior
*A central challenge in software testing is deciding which parts of a program’s state to check as evidence of correct behavior to …
Hang Du
,
Vijay Krishna Palepu
,
James A. Jones
Cite
DOI
Cite
×