Hierarchical Test Generation Using Precomputed Tests for Modules.

Brian T. Murray, John P. Hayes

Browse the full ITC paper archive.