Control flow graphs and code coverage
Data flow analysis techniques for test data selection