Tags

Fault behavior
fault-localization
test diversity
program analysis
software analysis
data-flow
summarization