1. On failures and faults;B Randell;12th Int. Formal Methods Europe Symposium, FME'03, LNCS 2805,2003
2. Test oracle strategies for model-based testing;N Li;IEEE Transactions on Software Engineering,2017
3. Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization;X Wang;Int. Conf. on Software Engineering, ICSE'09,2009