1. Arcuri A It does matter how you normalise the branch distance in search based software testing 205 214
2. An evaluation of random testing;Duran;IEEE Transactions on Software Engineering (TSE),1984
3. Arcuri A Iqbal MZ Briand L Formal analysis of the effectiveness and predictability of random testing 219 229
4. Symbolic execution and program testing;King;Communications of the ACM,1976