Stem stubborn$ (all stems)
3 papers:
- ICSE-2014-YaoHJ #analysis #case study #equivalence #using
- A study of equivalent and stubborn mutation operators using human analysis of equivalence (XY, MH, YJ), pp. 919–930.
- CAV-1993-Valmari #on the fly #set #verification
- On-the-Fly Verification with Stubborn Sets (AV), pp. 397–408.
- CAV-1990-Valmari #explosion
- A Stubborn Attack On State Explosion (AV), pp. 156–165.