1. Statistical Methods in Medical Research;Armitage,1994
2. Using dependence graphs as a support to document programs;Balmas,2002
3. High Integrity Software: The SPARK Approach to Safety and Security;Barnes,2003
4. Program and interface slicing for reverse engineering;Beck,1993
5. Semantics guided regression test cost reduction;Binkley;IEEE Transactions on Software Engineering,1997