A New Software Testing Approach Based on Domain Analysis of Specifications and Programs.

Ruilian Zhao, Michael R. Lyu, Yinghua Min

Browse the full ISSRE paper archive.