1. Basic concepts and taxonomy of dependable and secure computing;Avizienis;IEEE Trans. Dependable Secur. Comput.,2004
2. The oracle problem in software testing: a survey;Barr;IEEE Trans. Softw. Eng.,2015
3. Unit test virtualization with VMVM;Bell,2014
4. Efficient dependency detection for safe Java test acceleration;Bell,2015
5. Software testing research: achievements, challenges, dreams;Bertolino,2007