Home

Tao__Xie


Checking inside the black box: Regression fault exposure and localization based on value spectra differences

Exploiting synergy between testing and inferred partial specifications